% Definitions for preloaded fonts \def\magstephalf{1095 } \def\magstep#1{\ifcase#1 \@m\or 1200\or 1440\or 1728\or 2074\or 2488\fi\relax} % Note: At present, "am" fonts are loaded instead of "cm" ones. % The "almost computer modern" typefaces will be replaced by % better fonts in the future; meanwhile we must use these. % Fonts assigned to \preloaded are not part of "plain TeX", % but they are preloaded so that other format packages can use them. % For example, if another set of macros says "\font\ninerm=cmr9", % TeX will not have to reload the font metric information for cmr9. \catcode`\@=11 % @ is defined to be a letter \message{fonts,} %roman : 9 fonts \font\eighteenrm=amr10 scaled \magstep3 \font\twelverm=amr10 scaled \magstep1 \font\elevenrm=amr10 scaled \magstephalf \font\tenrm=amr10 \font\ninerm=amr9 \font\eightrm=amr8 \font\sevenrm=amr7 \font\sixrm=amr6 \font\fiverm=amr5 %math italic: 9 fonts \font\eighteeni=ammi10 scaled \magstep3 \font\twelvei=ammi10 scaled \magstep1 \font\eleveni=ammi10 scaled \magstephalf \font\teni=ammi10 % math italic \font\ninei=ammi9 \font\eighti=ammi8 \font\seveni=ammi7 \font\sixi=ammi6 \font\fivei=ammi5 %math symbols: 9 fonts \font\eighteensy=amsy10 scaled \magstep3 \font\twelvesy=amsy10 scaled \magstep1 \font\elevensy=amsy10 scaled \magstephalf \font\tensy=amsy10 \font\ninesy=amsy9 \font\eightsy=amsy8 \font\sevensy=amsy7 \font\sixsy=amsy6 \font\fivesy=amsy5 % math extension \font\tenex=amex10 % boldface extended 9 fonts \font\eighteenbf=ambx10 scaled \magstep3 \font\twelvebf=ambx10 scaled \magstep1 \font\elevenbf=ambx10 scaled \magstephalf \font\tenbf=ambx10 \font\ninebf=ambx9 \font\eightbf=ambx8 \font\sevenbf=ambx7 \font\sixbf=ambx6 \font\fivebf=ambx5 % typewriter : 6 fonts \font\eighteentt=amtt10 scaled \magstep3 \font\twelvett=amtt10 scaled \magstep1 \font\eleventt=amtt10 scaled \magstephalf \font\tentt=amtt10 \font\ninett=amtt9 \font\eighttt=amtt8 % slanted roman : 6 fonts \font\eighteensl=amsl10 scaled \magstep3 \font\twelvesl=amsl10 scaled \magstep1 \font\elevensl=amsl10 scaled \magstephalf \font\tensl=amsl10 \font\ninesl=amsl9 \font\eightsl=amsl8 % text italic : 7 fonts \font\eighteenit=amti10 scaled \magstep3 \font\twelveit=amti10 scaled \magstep1 \font\elevenit=amti10 scaled \magstephalf \font\tenit=amti10 \font\nineit=amti9 \font\eightit=amti8 \font\sevenit=amti7 % sans serif 5 fonts (9 pt unavailable) %%\font\eighteenss=amss8 scaled \magstep3 % available soon \font\twelvess=amss10 scaled \magstep1 \font\elevenss=amss10 scaled \magstephalf \font\tenss=amss10 \font\niness=amssq8 scaled \magstephalf % actually about 8.8pt \font\eightss=amssq8 % actually quotation 8. % slanted sans serif 3 fonts (12 and 11 pt unavailable) % use italic instead \font\twelvesss=amssi10 scaled \magstep1 \font\elevensss=amssi10 scaled \magstephalf \font\tensss=amssi10 \font\ninesss=amssqi8 scaled \magstephalf % well, it's 8.8pt. \font\eightsss=amssqi8 % caps and small caps : 4 fonts \font\twelvesc=amcsc10 scaled \magstep1 \font\elevensc=amcsc10 scaled \magstephalf \font\tensc=amcsc10 %%\font\ninesc=cmcsc9 %doesn't exist % line fonts : 2 fonts \font\tenln=line10 \font\tenlnw=linew10 % Definition of type sizes \def\eighteenpoint{\def\rm{\fam0\eighteenrm}% \textfont0=\eighteenrm \scriptfont0=\twelverm \scriptscriptfont0=\tenrm \def\mit{\fam\@ne} \def\oldstyle{\fam\@ne\eighteeni} \textfont1=\eighteeni \scriptfont1=\twelvei \scriptscriptfont1=\teni \def\cal{\fam\tw@} \textfont2=\eighteensy \scriptfont2=\twelvesy \scriptscriptfont2=\tensy \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex \def\it{\fam4\eighteeni}% \textfont4=\eighteeni \scriptfont4=\twelvei \scriptscriptfont4=\teni \def\sl{\fam5\eighteensl}% \textfont5=\eighteensl \scriptfont5=\twelvesl \scriptscriptfont5=\tensl \def\bf{\fam6\eighteenbf}% \textfont6=\eighteenbf \scriptfont6=\twelvebf \scriptscriptfont6=\tenbf \def\tt{\fam7\eighteentt}% \textfont7=\eighteentt \def\sf{\@nofonterror}% \def\sc{\@nofonterror}% \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} \def\twelvepoint{\def\rm{\fam0\twelverm}% \textfont0=\twelverm \scriptfont0=\eightrm \scriptscriptfont0=\sixrm \def\mit{\fam\@ne} \def\oldstyle{\fam\@ne\twelvei} \textfont1=\twelvei \scriptfont1=\eighti \scriptscriptfont1=\sixi \def\cal{\fam\tw@} \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 \scriptscriptfont6=\sixbf \def\tt{\fam7\twelvett}% \textfont7=\twelvett \def\sf{\fam8\twelvess}% \textfont8=\twelvess \def\sc{\fam9\twelvesc}% \textfont9=\twelvesc \baselineskip 14pt% \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 \def\mit{\fam\@ne} \def\oldstyle{\fam\@ne\eleveni} \textfont1=\eleveni \scriptfont1=\eighti \scriptscriptfont1=\sixi \def\cal{\fam\tw@} \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 \scriptscriptfont6=\sixbf \def\tt{\fam7\eleventt}% \textfont7=\eleventt \def\sf{\fam8\elevenss}% \textfont8=\elevenss \def\sc{\fam9\elevensc}% \textfont9=\elevensc \baselineskip 13pt% \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 \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\teni}% \textfont1=\teni \scriptfont1=\seveni \scriptscriptfont1=\fivei \def\cal{\fam\tw@}% \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 \scriptfont6=\sevenbf \scriptscriptfont6=\fivebf \def\tt{\fam7\tentt}% \textfont7=\tentt \def\sf{\fam8\tenss}% \textfont8=\tenss \def\sc{\fam9\tensc}% \textfont9=\tensc \baselineskip 12pt% \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 \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\ninei}% \textfont1=\ninei \scriptfont1=\sixi \scriptscriptfont1=\fivei \def\cal{\fam\tw@}% \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 \scriptfont6=\sixbf \scriptscriptfont6=\fivebf \def\tt{\fam7\ninett}% \textfont7=\ninett \def\sf{\fam8\niness}% \textfont8=\niness \def\sc{\fam9\sixrm}% \textfont9=\sixrm % the best I can do \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 \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\eighti}% \textfont1=\eighti \scriptfont1=\sixi \scriptscriptfont1=\fivei \def\cal{\fam\tw@}% \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 \scriptfont6=\sixbf \scriptscriptfont6=\fivebf \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 \def\mit{\fam\@ne} \def\oldstyle{\fam\@ne\seveni} \textfont1=\seveni \scriptfont1=\sixi \scriptscriptfont1=\fivei \def\cal{\fam\tw@} \textfont2=\sevensy \scriptfont2=\sixsy \scriptscriptfont2=\fivesy \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex \def\it{\fam4\sevenit}% \textfont4=\sevenit \def\sl{\@nofonterror}% \def\bf{\fam6\sevenbf}% \textfont6=\sevenbf \scriptfont6=\sixbf \scriptscriptfont6=\fivebf \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}} %%Commented out since I'm not using LASY. %%% 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 \def\Box{\@nosymbolerror}% Not yet available \def\Diamond{\@nosymbolerror}% Not yet available \def\Leadsto{\@nosymbolerror}% Not yet available \def\Dotbox{\@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 % skew character definitions \skewchar\eighteeni='177 \skewchar\twelvei='177 \skewchar\eleveni='177 \skewchar\teni='177 \skewchar\ninei='177 \skewchar\eighti='177 \skewchar\seveni='177 \skewchar\sixi='177 \skewchar\fivei='177 \skewchar\eighteensy='60 \skewchar\twelvesy='60 \skewchar\elevensy='60 \skewchar\tensy='60 \skewchar\ninesy='60 \skewchar\eightsy='60 \skewchar\sevensy='60 \skewchar\sixsy='60 \skewchar\fivesy='60