Next: TeX-to-ASCII
Prev: automatic-cross-referencing
Up: Other-Glasgow-features
Top: Top
0.1.3.5. Shortcut notations
Within non-code parts of documents, code snippets may be included
between `at' signs; e.g., `@f x y = y@' -- appropriate formatting,
indexing, etc., will be done.
APRIL91 COMMENT: I need to clarify the proper use of these `@'s. I
also need to figure what to do when `@'s are not the right thing!
(I think Texinfo has an over-proliferation of commands for marking off
this and that in the text.) See section See code-in-text-formatting.
For the ordinary text to be shown in a typewriter font (much used in
user's guides, for example), you may use the `\tr{<text>}' command;
the only restriction on `<text>' is that braces must be balanced.
The same trick for "plain" (roman) font is `\pl{<text>}'.
[APRIL91: See section See diff-fonts-in-text for further thoughts
about fonts in your text.]
APRIL91: See also: section See BNF-grammars.