Prev: code-in-text
Up: Shortcuts
Top: Top
0.2.7.2. Using different "fonts" in your text
[APRIL91: Be sure to see section See diff-fonts-in-text.]
The `\tr{<text>}' command sets `<text>' in typewriter font, with
no need for escape characters or anything -- provided the braces nest
properly.
The same trick using a "plain" (roman) font is
`\pl{<text>}', to produce <text>.