126.96.36.199 PreScript Commands
These commands required arguments.
Highlight lightly/strongly the given TEXT. Should be used only
for a couple of adjacent words.
The TEXT is given a special face. The TEXT may be removed if
option `--strip' is used.
TEXT should be considered as a definition, or an important point
in the structure of the whole text.
Write TEXT with string's face (e.g., in font Times).
Write TEXT with error's face (generally a very different face, so
that you see immediately).
TEXT is written in the PostScript symbol font. This feature is
not compatible with LaTeX. It is recommended, when possible, to
use the special keywords denoting symbols, which are compatible
with LaTeX (Note: Symbol).
Use TEXT as header (footer) for the current page. If several
headers or footers are defined on the same page, the last one is
taken into account.
Change dynamically the current encoding. After this command, the
text is printed using the encoding corresponding to KEY.
automatically generated by info2www version 188.8.131.52