% 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=cmr18 \font\twelverm=amr10 scaled \magstep1 \font\elevenrm=cmr10 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\sixteeni=cmi10 at 16pt \font\twelvei=ami10 scaled \magstep1 \font\eleveni=ami10 scaled \magstephalf \font\teni=ami10 % math italic \font\ninei=ami9 \font\eighti=ami8 \font\seveni=ami7 \font\sixi=ami6 \font\fivei=ami5 %math symbols: 9 fonts % why can't these be AMSY? I've changed because of skewchar %%\font\eighteensy=lasy10 at 18pt \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 5 fonts (7pt not available) \font\twelvebf=ambx10 scaled \magstep1 \font\elevenbf=ambx10 scaled \magstephalf \font\tenbf=ambx10 \font\ninebf=ambx9 \font\eightbf=ambx8 \font\sevenbf=ambx7 \font\preloaded=ambx6 \font\fivebf=ambx5 % typewriter : 5 fonts \font\twelvett=amtt10 scaled \magstep1 \font\eleventt=amtt10 scaled \magstephalf \font\tentt=amtt10 \font\ninett=amtt9 \font\eighttt=amtt8 % slanted roman : 5 fonts \font\twelvesl=amsl10 scaled \magstep1 \font\elevensl=amsl10 scaled \magstephalf \font\tensl=amsl10 \font\ninesl=amsl9 \font\eightsl=amsl8 % text italic : 6 fonts (missing 18pt) \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=cmss8 at 18.4pt \font\twelvess=amss10 scaled \magstep1 \font\elevenss=amss10 scaled \magstephalf \font\tenss=amss10 % \font\niness=cmss9 %not available \font\eightss=amssq8 % actually quotation 8. % slanted sans serif 3 fonts (12 and 11 pt unavailable) % use italic instead %\font\twelvesss=cmsss12 % not available %\font\elevensss=cmsss11 % not available \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 %%\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} \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}} %%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 %%\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 % we probably need more than just these. \skewchar\teni='177 \skewchar\seveni='177 \skewchar\fivei='177 \skewchar\tensy='60 \skewchar\sevensy='60 \skewchar\fivesy='60