% TR10Fonts.tex of January 9, 1984 5:22 pm --- Stolfi % Font definitions using Times Roman 10 point for text and % Computer Modern Roman 10 point (mag. 1.1) for math. % TO FIX: % check arrow fonts! % MAGNIFICATION \chpar12_1000 % Don't magnify output \def\magnify{\error} % You shouldn't magnify when using T10Fonts % TEXT FONTS % Standard size text \font c=TimesRoman at 10truebp \font s=TimesRomanb at 10truebp \font i=TimesRomani at 10truebp \font w=TimesRomanbi at 10truebp \font v=CMTT at 11pt \font V=CMB at 11pt % for program keywords \font R=Arrows at 10truebp % for arrows \font M=Math at 10truebp % Alto math font % Small text (footnotes, etc) \font p=TimesRoman at 8truebp \font o=TimesRomani at 8truebp \font t=TimesRomanb at 8truebp \font Z=TimesRomanbi at 8truebp \font h=CMTT8 at 8.8pt \font Y=CMB8 at 8.8 pt % for keywords in progs \font S=Arrows at 8truebp % for arrows \font N=Math at 8truebp % Alto math font % MATH FONTS - normal style % Standard size \font a=CMR10 at 11pt \font g=CMI10 at 11pt \font u=CMSy10 at 11pt % Small size \font e=CMR8 at 8.8pt \font k=CMI8 at 8.8pt \font y=CMSy8 at 8.8pt % MATH FONTS - script style % Standard size \font d=CMR7 at 7.7pt \font j=CMI7 at 7.7pt \font x=CMSy7 at 7.7pt % Small size \font D=CMR6 at 6.6pt \font J=CMI6 at 6.6pt \font X=CMSy6 at 6.6pt % MATH FONTS - scriptscript style % Standard and small size \font f=CMR5 at 5.5pt \font l=CMI5 at 5.5pt \font z=CMSy5 at 5.5pt % EXTENSION FONT % for both standard and small size % (The two should be different, but Dover has only 10 point CMathX) \font @=CMathX at 11pt \font [=CMR10 at 11pt % for not-so-big parenthesis % MISCELLANEOUS FONTS % \font O=Helveticab at 12truebp % for section titles \font G=TimesRoman at 12truebp % to fake math in chapter and paper title \font A=TimesRomani at 12truebp % to fake math in section titles \font H=Helveticab at 10truebp % for subsection titles \font U=Fleur at 28truebp % Ornamental flowers % RELATIVIZED FONTS % (get the right size depending on context). % This file defines the \bi (bold italic) intentional look, % but not \sl (slanted). Emphasis (\em) is the same as bold face. % Standard size \def\standardsize{\parindent \stdparindent pt \def\rm{\:c\def\mainfont{\:c}} % Roman \def\it{\:i\def\mainfont{\:i}} % Italic \def\bf{\:s\def\mainfont{\:s}} % Bold \def\bi{\:w\def\mainfont{\:w}} % Bold italic \def\fx{\:v\def\mainfont{\:v}} % Typewriter font \def\kw{\:V\def\mainfont{\:V}} % Program keyword font \def\cmr{\:a} % Computer modern roman \def\mal{\:M} % Alto math font \def\arfont{\:R } \mathrm adf \mathit gjl \mathsy uxz \mathex @ \def\biglp{\mathopen {\vcenter{\hbox{\:@\char'000}}}} \def\bigrp{\mathclose{\vcenter{\hbox{\:@\char'001}}}} \def\bigglp{\mathopen {\vcenter{\hbox{\:@\char'022}}}} \def\biggrp{\mathclose{\vcenter{\hbox{\:@\char'023}}}} \def\biggglp{\mathopen {\vcenter{\hbox{\:@\char'040}}}} \def\bigggrp{\mathclose{\vcenter{\hbox{\:@\char'041}}}} \rm \baselineskip \stdbaselineskip ex \lineskip \thelineskip ex \parskip \theparskip ex plus0.2ex \dispskip \stdbaselineskip ex plus3pt minus5pt \dispaskip 0pt plus3pt \dispbskip 0.3ex plus3pt minus2pt } % Smaller (8 point) % Usage: {\small ...}, {\small\hbox par{...}}, etc % (\hbox par{\small ...} will get wrong \baselineskip & c.) \def\small{\parindent \smallparindent pt \def\rm{\:p\def\mainfont{\:p}} \def\it{\:o\def\mainfont{\:o}} \def\bf{\:t\def\mainfont{\:t}} \def\bi{\:Z\def\mainfont{\:Z}} \def\fx{\:h\def\mainfont{\:h}} \def\kw{\:Y\def\mainfont{\:Y}} \def\cmr{\:e} \def\mal{\:N} \def\arfont{\:S } \mathrm eDf \mathit kJl \mathsy yXz \mathex @ \def\biglp{\mathopen {\vcenter{\hbox{\:[(}}}} \def\bigrp{\mathclose{\vcenter{\hbox{\:[)}}}} \def\bigglp{\mathopen {\vcenter{\hbox{\:@\char'020}}}} \def\biggrp{\mathclose{\vcenter{\hbox{\:@\char'021}}}} \def\biggglp{\mathopen {\vcenter{\hbox{\:@\char'022}}}} \def\bigggrp{\mathclose{\vcenter{\hbox{\:@\char'023}}}} \rm \baselineskip \smallbaselineskip ex \lineskip \thelineskip ex \parskip \theparskip ex plus0.2ex \dispskip \smallbaselineskip ex plus3pt minus5pt \dispaskip 0pt plus3pt \dispbskip 0.3ex plus3pt minus2pt } \def\em{\bf } % for emphasis % SPECIAL FONTS % (not relativized) \def\secfont{\:O\def\mainfont{\:O}} % font for section titles \def\subsecfont{\:H\def\mainfont{\:H}} % font for subsection titles % SPECIAL CHARACTERS FROM TEXT FONTS % \def\txpound{\hbox{\char'043}} % pound sign (#) \def\txdollar{\hbox{\char'044}} % dollar sign ($) \def\txpercent{\hbox{\char'045}} % percent sign (%) \def\txatsign{\hbox{\char'100}} % "at" sign (@) \def\txrslash{\hbox{\char'134}} % reverse slash (\) \def\txvbar{\hbox{\char'174}} % vertical bar (|) \def\txlbrace{\hbox{\char'173}} % left brace \def\txrbrace{\hbox{\char'175}} % right brace \def\txup{\hbox{\char'136}} % up arrow \def\txgets{\hbox{\char'137}} % assignment arrow \def\flower{\hbox{\:U B}} % upright lotus flower % MISC. PARAMETERS \maxdepth 2pt \topbaseline 10pt Ê.˜J˜7J˜w˜ J˜—šœ˜J˜%J˜A—šœ˜˜J˜€Jšœ›˜›—˜J˜|JšœĦ˜Ħ——šœ˜˜J˜E—˜ J˜E——šœ˜˜J˜E—˜J˜E——šœ%˜%˜J˜E——šœ˜šœj˜jJ˜L——šœ˜šœ˜J˜ÀJ˜7J˜/——šœ˜Jšœ.˜.J˜…˜J˜—˜‹J˜ùJ˜——šœ˜šœ˜J˜‚——šœ'˜'šœ˜JšœŜ˜ŜJ˜1——šœ˜Jšœ ˜ —J˜—…—0d