\catcode`\~=11     % ~ is defined to be a letter

\def\eat#1\endeat{}

\message{fonts,}

%roman : 9 fonts
\font\eighteenrm=cmr18
\font\twelverm=cmr12     
\font\elevenrm=cmr10 at 11pt
\font\tenrm=cmr10   
\font\preloaded=amr10
\font\ninerm=cmr9   
\font\eightrm=cmr8  
\font\sevenrm=cmr7  
\font\sixrm=cmr6    
\font\fiverm=cmr5   

%math italic: 9 fonts
\font\fifteeni=cmi10 at 15pt % was sixteeni but that doesn't exist--ARK
\font\twelvei=cmi10 at 12pt
\font\eleveni=cmi10 at 11pt
\font\teni=cmi10 % math italic
\font\ninei=cmi9
\font\eighti=cmi8
\font\seveni=cmi7
\font\sixi=cmi6
\font\fivei=cmi5   

%math symbols: 9 fonts
\font\fifteensy=amsy10 at 15pt % was eighteensy--ARK
\font\twelvesy=amsy10 at 12pt
\font\elevensy=amsy10 at 11pt
\font\tensy=amsy10 
\font\ninesy=amsy9 % --ARK
\font\eightsy=amsy8 % --ARK
\font\sevensy=amsy7
\font\sixsy=amsy6 % --ARK
\font\fivesy=amsy5 

% math extension 
\font\tenex=amathx 

% sans serif    5 fonts (9 pt unavailable)
\font\fifteenss=cmss10 at 15pt % was eighteen: 8 at 18.4 -- ARK
\font\twelvess=cmss12    
\font\elevenss=cmss10 at 11pt
\font\tenss=cmss10 
\font\niness=cmss9 %available on DOVER--ARK
\font\eightss=cmss8                  

% slanted sans serif  3 fonts (12 and 11 pt unavailable)
%\font\twelvesss=cmsss12  % not available
%\font\elevensss=cmsss11  % not available
\font\tensss=cmsss 
\font\ninesss=cmsss9
\font\eightsss=cmsss8    
\font\preloaded=amsss8

\font\preloaded=cmssb % sans serif bold
\font\preloaded=cmss9b
\font\preloaded=cmss8b
\font\preloaded=amssb
\font\preloaded=amssb at 13pt

% boldface extended   5 fonts  (7pt not available)
\font\twelvebf=cmb12
\font\elevenbf=cmb10 at 11pt
\font\tenbf=cmb10 
\font\ninebf=cmb9
\font\eightbf=cmb8
\font\sevenbf=cmb7  %available on Dover --ARK
\font\preloaded=cmb6

% typewriter : 5 fonts
\font\twelvett=cmtt at 12pt
\font\eleventt=cmtt at 11pt
\font\tentt=cmtt 
\font\ninett=cmtt9
\font\eighttt=cmtt8     
\font\preloaded=ambx10
\font\preloaded=amtt
\font\preloaded=cmst % slanted typewriter

% slanted roman : 5 fonts
\font\twelvesl=cms10 at 12pt
\font\elevensl=cms10 at 11pt
\font\tensl=cms10 
\font\ninesl=cms9
\font\eightsl=cms8      

% text italic : 6 fonts  (missing 18pt)
\font\twelveit=cmti12
\font\elevenit=cmti10 at 11pt
\font\tenit=cmti10 
\font\nineit=cmti9
\font\eightit=cmti8
\font\sevenit=cmti7

%\message{more fonts,}
\font\preloaded=cmu10 % unslanted text italic
\font\preloaded=cmbti % bold text italic
\font\preloaded=cmbsy % bold math symbols

% caps and small caps : 4 fonts
\font\twelvesc=cmcsc at 12pt
\font\elevensc=cmcsc at 11pt
\font\tensc=cmcsc 
\font\ninesc=cmcsc9      %40

% line fonts : 2 fonts	% we don't have these -- ARK
%\font\tenln=line10
%\font\tenlnw=linew10  %42

% other preloaded fonts from PLAIN.TEX[TEX,SYS]
\font\preloaded=cmr7 at 21pt % for titles
\font\preloaded=cmtt at 15pt
\font\preloaded=cmr7 at 14pt
\font\preloaded=manfnt % METAFONT logo and dragon curve and special symbols
\font\preloaded=cmdunh % Dunhill style
\font\preloaded=stan70 % Stanford seal
\eat	% we won't preload these
\font\preloaded=timesroman at 10bp % times roman
\font\preloaded=timesroman at 9.090909bp % times roman, \magnify{1100}
\font\preloaded=timesroman at 8bp
\font\preloaded=timesromani at 10bp % times italic
\font\preloaded=timesromani at 9.090909bp % times italic
\font\preloaded=timesromani at 8bp
\font\preloaded=timesromanb at 10bp % times roman bold
\font\preloaded=timesromanb at 9.090909bp % times roman bold
\font\preloaded=helvetica at 10bp % helvetica
\font\preloaded=helvetica at 9.090909bp % helvetica for \magnify{1100}
\font\preloaded=helvetica at 8bp
\font\preloaded=helveticai at 10bp % helvetica slanted
\font\preloaded=helveticai at 9.090909bp % helvetica italic
\font\preloaded=helveticai at 8bp
\font\preloaded=helveticab at 10bp % helvetica bold
\font\preloaded=helveticab at 9.090909bp % helvetica boldface
\endeat		% start preloading again

\let\preloaded=\undefined % preloaded fonts should be declared anew

% Definition of type sizes
\def\eighteenpoint{\errmessage{! Eighteen point not supported at Stanford yet.}}
\eat	{ % to match closing brace at end
\def\rm{\fam0\eighteenrm}%
\textfont0=\eighteenrm \scriptfont0=\twelverm \scriptscriptfont0=\tenrm
\textfont1=\sixteeni \scriptfont1=\twelvei \scriptscriptfont1=\teni
\textfont2=\eighteensy \scriptfont2=\twelvesy \scriptscriptfont2=\tensy
\textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
\def\it{\fam4\sixteeni}% 18pt italic not available
\textfont4=\sixteeni \scriptfont4=\twelveit
\def\sc{\~nofonterror}%
\def\sl{\~nofonterror}%
\def\bf{\~nofonterror}%
\def\tt{\~nofonterror}%
\def\sf{\fam8\eighteenss}%
\textfont8=\eighteenss
\baselineskip 24pt%
\abovedisplayskip 24pt plus 3pt minus 10pt%
\belowdisplayskip 24pt plus 3pt minus 10pt%
\abovedisplayshortskip 0pt plus 3pt%
\belowdisplayshortskip 8pt plus 3pt minus 5pt%
\setbox\strutbox=\hbox{\vrule height18pt depth6pt width0pt}%
\rm}
\endeat

\def\twelvepoint{\def\rm{\fam0\twelverm}%
\textfont0=\twelverm \scriptfont0=\eightrm \scriptscriptfont0=\sixrm
\textfont1=\twelvei \scriptfont1=\eighti \scriptscriptfont1=\sixi
\textfont2=\twelvesy \scriptfont2=\eightsy \scriptscriptfont2=\sixsy
\textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
\def\it{\fam4\twelveit}%
\textfont4=\twelveit \scriptfont4=\eightit
\def\sl{\fam5\twelvesl}%
\textfont5=\twelvesl \scriptfont5=\eightsl
\def\bf{\fam6\twelvebf}%
\textfont6=\twelvebf \scriptfont6=\eightbf
\def\tt{\fam7\twelvett}%
\textfont7=\twelvett 
\def\sf{\fam8\twelvess}%
\textfont8=\twelvess
\baselineskip 14pt%
\def\sc{\fam9\twelvesc}%
\textfont9=\twelvesc
\abovedisplayskip 14pt plus 3pt minus 10pt%
\belowdisplayskip 14pt plus 3pt minus 10pt%
\abovedisplayshortskip 0pt plus 3pt%
\belowdisplayshortskip 8pt plus 3pt minus 5pt%
\setbox\strutbox=\hbox{\vrule height10pt depth4pt width0pt}%
\rm}

\def\elevenpoint{\def\rm{\fam0\elevenrm}%
\textfont0=\elevenrm \scriptfont0=\eightrm \scriptscriptfont0=\sixrm
\textfont1=\eleveni \scriptfont1=\eighti \scriptscriptfont1=\sixi
\textfont2=\elevensy \scriptfont2=\eightsy \scriptscriptfont2=\sixsy
\textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
\def\it{\fam4\elevenit}%
\textfont4=\elevenit \scriptfont4=\eightit
\def\sl{\fam5\elevensl}%
\textfont5=\elevensl \scriptfont5=\eightsl
\def\bf{\fam6\elevenbf}%
\textfont6=\elevenbf \scriptfont6=\eightbf
\def\tt{\fam7\eleventt}%
\textfont7=\eleventt
\def\sf{\fam8\elevenss}%
\textfont8=\elevenss
\def\sc{\fam9\elevensc}%
\textfont9=\elevensc
\baselineskip 13pt%
\let\sc=\eightrm
\abovedisplayskip 13pt plus 3pt minus 9pt%
\belowdisplayskip 13pt plus 3pt minus 9pt%
\abovedisplayshortskip 0pt plus 3pt%
\belowdisplayshortskip 7pt plus 3pt minus 4pt%
\setbox\strutbox=\hbox{\vrule height9.5pt depth3.5pt width0pt}%
\rm}

\def\tenpoint{\def\rm{\fam0\tenrm}%
\textfont0=\tenrm \scriptfont0=\sevenrm \scriptscriptfont0=\fiverm
\textfont1=\teni \scriptfont1=\seveni \scriptscriptfont1=\fivei
\textfont2=\tensy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy
\textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
\def\it{\fam4\tenit}%
\textfont4=\tenit \scriptfont4=\sevenit
\def\sl{\fam5\tensl}%
\textfont5=\tensl 
\def\bf{\fam6\tenbf}%
\textfont6=\tenbf 
\def\tt{\fam7\tentt}%
\textfont7=\tentt
\def\sf{\fam8\tenss}%
\textfont8=\tenss
\def\sc{\fam9\tensc}%
\textfont9=\tensc
\baselineskip 12pt%
\let\sc=\eightrm
\abovedisplayskip 12pt plus 3pt minus 9pt%
\belowdisplayskip 12pt plus 3pt minus 9pt%
\abovedisplayshortskip 0pt plus 3pt%
\belowdisplayshortskip 7pt plus 3pt minus 4pt%
\setbox\strutbox=\hbox{\vrule height8.5pt depth3.5pt width0pt}%
\rm}

\def\ninepoint{\def\rm{\fam0\ninerm}%
\textfont0=\ninerm \scriptfont0=\sixrm \scriptscriptfont0=\fiverm
\textfont1=\ninei \scriptfont1=\sixi \scriptscriptfont1=\fivei
\textfont2=\ninesy \scriptfont2=\sixsy \scriptscriptfont2=\fivesy
\textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
\def\it{\fam4\nineit}%
\textfont4=\nineit
\def\sl{\fam5\ninesl}%
\textfont5=\ninesl
\def\bf{\fam6\ninebf}%
\textfont6=\ninebf
\def\tt{\fam7\ninett}%
\textfont7=\ninett
\def\sf{\~nofonterror}% temporarily unavailable
\def\sc{\fam9\ninesc}%
\textfont9=\ninesc
\baselineskip 11pt%
\abovedisplayskip 11pt plus 3pt minus 8pt%
\belowdisplayskip 11pt plus 3pt minus 8pt%
\abovedisplayshortskip 0pt plus 3pt%
\belowdisplayshortskip 5pt plus 3pt minus 4pt%
\setbox\strutbox=\hbox{\vrule height8pt depth3pt width0pt}%
\rm}

\def\eightpoint{\def\rm{\fam0\eightrm}%
\textfont0=\eightrm \scriptfont0=\sixrm \scriptscriptfont0=\fiverm
\textfont1=\eighti \scriptfont1=\sixi \scriptscriptfont1=\fivei
\textfont2=\eightsy \scriptfont2=\sixsy \scriptscriptfont2=\fivesy
\textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
\def\it{\fam4\eightit}%
\textfont4=\eightit
\def\sl{\fam5\eightsl}%
\textfont5=\eightsl
\def\bf{\fam6\eightbf}%
\textfont6=\eightbf
\def\tt{\fam7\eighttt}%
\textfont7=\eighttt
\def\sf{\fam8\eightss}%
\textfont8=\eightss
\def\sc{\~nofonterror}
\baselineskip 9pt%
\abovedisplayskip 9pt plus 2pt minus 6pt%
\belowdisplayskip 9pt plus 2pt minus 6pt%
\abovedisplayshortskip 0pt plus 2pt%
\belowdisplayshortskip 5pt plus 2pt minus 5pt%
\setbox\strutbox=\hbox{\vrule height7pt depth2pt width0pt}%
\rm}

\def\sevenpoint{\def\rm{\fam0\sevenrm}%
\textfont0=\sevenrm \scriptfont0=\sixrm \scriptscriptfont0=\fiverm
\textfont1=\seveni \scriptfont1=\sixi \scriptscriptfont1=\fivei
\textfont2=\sevensy \scriptfont2=\sixsy \scriptscriptfont2=\fivesy
\textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
\def\it{\fam4\sevenit}%
\textfont4=\sevenit
\def\sl{\~nofonterror}%
\def\bf{\~nofonterror}% % not available now
\def\tt{\~nofonterror}%
\def\sf{\~nofonterror}%
\def\sc{\~nofonterror}%
\baselineskip 8pt%
\abovedisplayskip 8pt plus 2pt minus 5pt%
\belowdisplayskip 8pt plus 2pt minus 5pt%
\abovedisplayshortskip 0pt plus 2pt%
\belowdisplayshortskip 4pt plus 2pt minus 5pt%
\setbox\strutbox=\hbox{\vrule height6.5pt depth1.5pt width0pt}%
\rm}

\def\~nofonterror{\errmessage{LATEX ERROR: Font not available}}

% Definitions of math operators added by LaTeX

\def\~nosymbolerror{\errmessage{LATEX ERROR: This symbol not available}}
\def\amalg{\~nosymbolerror}% Not yet available
\def\mapstochar{\~nosymbolerror}% Not yet available
\def\coprod{\~nosymbolerror}% Not yet available
\mathchardef\Box"026E
\mathchardef\Diamond"0277
\mathchardef\Leadsto"223F
\mathchardef\Dotbox"226F
\def\lhd{\mathbin{< \hbox to -.48em{} \hbox{\vrule width .065em height .6em}
         \hbox to .2em{}}}
\def\rhd{\mathbin{ \hbox to .3em{}\hbox{\vrule width .065em height .6em} 
         \hbox to -.48em{} >}}
\def\unlhd{\mathbin{\leq \hbox to -.48em{} \hbox
           {\vrule width .065em height .66em depth -.08em}\hbox to .2em{}}}
\def\unrhd{\mathbin{ \hbox to .3em{}\hbox
    {\vrule width .065em height .66em depth -.08em} \hbox to -.48em{} \geq}}
%\def\larrow=\leftarrow
%\def\arrow=\rightarrow
\mathchardef\implies"321B
\mathchardef\and"225E
%\def\forall defined by PLAIN
%\def\exists defined by PLAIN
\mathchardef\lneg"023A
%\def\neq defined by PLAIN
%\def\leq defined by PLAIN
%\def\eqv defined by PLAIN
%\def\geq defined by PLAIN
\mathchardef\Not"0218