Although it is possible to include non-alphabetic symbols by temporarily
switching to a special font, e.g. the Adobe Symbol font, the preferred method
is now to choose UTF-8 encoding and treat the symbol like any other character.
Alternatively you can specify the unicode entry point for the desired symbol
as an escape sequence in enhanced text mode.
See encoding (p. ), unicode (p.
), locale (p.
), and escape sequences (p.
).