SET FONT

The user may select the text font to be used for all subsequent graphics Roman text e.g. titles, labels, etc. The user is prompted for a number corresponding to each of the available fonts ³⁰.

(The command PUBLICATION QUALITY (Section 15.76, Page ) also (potentially) changes the text fonts to the type of font considered best for high quality output.)