set insertsymbolfontpi
set insertsymbolfontpi= { on | off}
If set to on (the default), when inserting symbols from the Symbol tab of the Insert Symbol dialog box, a _font PI (processing instruction) is inserted around the symbol character code if the inserted symbol is of a different font family than the font family at the current cursor location. The PI will be added if Arbortext Editor is unable to translate the requested character from the Symbol character set to Unicode.
If insertsymbolfontpi is set to off, the Unicode character value is inserted with no _font PI.
Related Topics