In some texts these symbols are simply shown in bold type.
Where necessary, we have put the justifications in bold type.
