{$Font=name text}
where name is one of the following:
Note that formatting code strings are not case sensitive. There must be one-or-more blanks (or an equals sign ("=")) that will not display between the "FONT" and the font name. There must be one-or-more blank spaces that will not display between the font name and the text to be displayed in that font. Blank spaces following the first non-blank character in the text will display. Format code strings must begin and end in the same text string - they cannot span a line break. (See also Changing the Default Font.)
\TITLE Text Size Demo \TF A T This is {$FONT=Courier a different font} from {$FONT=TimesRoman this}.
The applet below runs this question file: