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