% TR8Fonts.tex of January 9, 1984 5:22 pm --- Stolfi % Font definitions using Times Roman 8 point for text and % Computer Modern Roman 8 point (mag. 1.1) for math. % TO FIX: % fix arrows!!! % MAGNIFICATION \chpar12_1000 % Don't magnify output \def\magnify{\error} % You shouldn't magnify when using T8Fonts % TEXT FONTS % Standard size text \font c=TimesRoman at 8truebp \font s=TimesRomanb at 8truebp \font i=TimesRomani at 8truebp \font w=TimesRomanbi at 8truebp \font v=CMTT8 at 8.8pt % fixed-pitch font for programs \font V=CMB8 at 8.8pt % for program keywords \font R=Arrows at 10truebp % for arrows \font M=Math at 8 truebp % Alto math font % Small text (footnotes, etc) \font p=TimesRoman at 6truebp \font o=TimesRomani at 6truebp \font t=TimesRomanb at 6truebp \font Z=TimesRomanbi at 6truebp \font h=Gacha at 6 truebp % for progs (should be CMTT6 at 6.6pt) \font Y=CMB6 at 6.6 pt % for keywords in progs \font S=ArrowsTwo at 18truebp % for arrows \font N=Math at 6truebp % Alto math font % MATH FONTS - normal style % Standard size \font a=CMR8 at 8.8pt \font g=CMI8 at 8.8pt \font u=CMSy8 at 8.8pt % Small size \font e=CMR6 at 6.6pt \font k=CMI6 at 6.6pt \font y=CMSy6 at 6.6pt % MATH FONTS - script style % Standard size \font d=CMR6 at 6.6pt \font j=CMI6 at 6.6pt \font x=CMSy6 at 6.6pt % Small size \font D=CMR5 at 5.5pt \font J=CMI5 at 5.5pt \font X=CMSy5 at 5.5pt % MATH FONTS - scriptscript style % Standard and small size \font f=CMR5 at 5pt % should be CMR4 at 4.4, etc. \font l=CMI5 at 5pt \font z=CMSy5 at 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 10truebp % for section titles \font G=TimesRoman at 10truebp % to fake math in chapter and paper title \font A=TimesRomani at 10truebp % to fake math in section titles \font H=Helveticab at 8 truebp % 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{\:[(}}}} \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 \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{\:a (}}}} \def\bigrp{\mathclose{\vcenter{\hbox{\:a )}}}} \def\bigglp{\mathopen {\vcenter{\hbox{\:@\char'000}}}} \def\biggrp{\mathclose{\vcenter{\hbox{\:@\char'001}}}} \def\biggglp{\mathopen {\vcenter{\hbox{\:@\char'020}}}} \def\bigggrp{\mathclose{\vcenter{\hbox{\:@\char'021}}}} \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 8pt Ê³˜Jšœ6˜6Jšœu˜ušœ ˜ Jšœ˜—šœ˜Jšœ%˜%Jšœ@˜@—šœ˜šœ˜Jšœ|˜|JšœÁ˜Á—šœ˜Jšœ|˜|JšœĠ˜Ġ——šœ˜šœ˜JšœE˜E—šœ ˜ JšœE˜E——šœ˜šœ˜JšœE˜E—šœ˜JšœE˜E——šœ%˜%šœ˜Jšœ^˜^——šœ˜šœj˜jJšœL˜L——šœ˜šœ˜JšœÀ˜ÀJšœ7˜7Jšœ/˜/——šœ˜Jšœ.˜.Jšœ…˜…šœ˜Jšœ€˜€—šœ‹˜‹Jšœû˜ûJšœ˜——šœ˜šœ˜Jšœ‚˜‚——šœ'˜'šœ˜JšœŜ˜ŜJšœ1˜1——šœ˜Jšœ˜—J˜—…—ˆA