Inserting Standard Symbol

Choose Insert  Symbol  Standard. The dialog window Standard Symbols in Language <language> appears.

Select the desired standard symbol.

If you want to use the formatting options for standard symbols, choose Options. Fill in the respective fields and choose Continue.

Select Choose.

The system inserts the standard symbol.