% 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� % 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