| /font defs: ---/,/end font defs ---/c\ |
| %-------------------- PostScript (long names) font defs: -----------------\ |
| \\font\\bbf=Times-Bold at 10pt\ |
| \\font\\vbbf=Times-Bold at 12pt\ |
| \\font\\smrm=Times-Roman at 6pt\ |
| \\font\\brm=Times-Roman at 10pt\ |
| \\font\\rm=Times-Roman at 8pt\ |
| \\font\\it=Times-Italic at 8pt\ |
| \\font\\tt=Courier at 8pt\ |
| % Used only for \copyright, replacing plain TeX macro.\ |
| \\font\\sym=Symbol at 7pt\ |
| \\def\\copyright{{\\sym\\char'323}}\ |
| %-------------------- end font defs --------------------------------- |
