%%%%% \tenpoint and \eightpoint definitions extracted from amsppt.sty %% here supposes \loadeufm already done, cf below %% \itfam commented out \catcode`\@=11 \def\addto#1#2{\csname \expandafter\eat@\string#1@\endcsname \expandafter{\the\csname \expandafter\eat@\string#1@\endcsname#2}} \newdimen\bigsize@ \def\big@#1#2{{\hbox{$\left#2\vcenter to#1\bigsize@{}% \right.\nulldelimiterspace\z@\m@th$}}} \def\big{\big@\@ne} \def\Big{\big@{1.5}} \def\bigg{\big@\tw@} \def\Bigg{\big@{2.5}} %%%% the font list hitherto, for stntax checking \def\fontlist@{\\{\tenrm}\\{\sevenmr}% \\{\fivemr}\\{\tenit}\\{\teni}\\{\seveni}% \\{\fivei}\\{\tensy}\\{\sevensy}% \\{\fivesy}\\{\tenex}\\{\tenbf}\\{\tenmb}% \\{\sevenmb}\\{\fivemb}\\{\tensl}\\{\tentt}% } \message{more fonts,} \input 8-point.fts %% \font#1=#2 ->... adds to fontlist; note space. \font@\tensmc=cmcsc10 %\font@\sevenex=cmex7 % not cm/ps 10-92 %% non-AMSfonts substitute for previous line: \font@\sevenex=cmex10 scaled 833 %% for bitmaps; change for PS %%\font@\sevenit=cmti7 \font@\eightrm=\Eightrm{} %%%% beware! \font@ syntax terminated by a space \font@\eightmr=cmr8 \font@\sixmr=cmr6 \font@\eighti=cmmi8 \skewchar\eighti='177 \font@\sixi=cmmi6 \skewchar\sixi='177 \font@\eightsy=cmsy8 \skewchar\eightsy='60 \font@\sixsy=cmsy6 \skewchar\sixsy='60 %\font@\eightex=cmex8 % not cm/ps 10-92 %% non-AMSfonts substitute for previous line: \font@\eightex=cmex10 scaled 833 %% for bitmaps; change for PS \font@\eightbf=\Eightbf{} \font@\eightmb=cmbx8 \font@\eightmb=cmbx8 \font@\eightmb=cmbx8 \font@\sixmb=cmbx6 \font@\eightit=\Eightit{} \font@\eightsl=\Eightsl{} %\font@\eightsmc=cmcsc8 % not cm/ps 10-92 %% non-AMSfonts substitute for previous line: \font@\eightsmc=\Eightsmc{} %% for bitmaps; change for PS \font@\eighttt=\Eighttt{} %% Nine-point fonts are not needed but are included here, commented %% out, to make it easier for a user to add them if they are needed. %%\font@\ninerm=cmr9 %%\font@\ninei=cmmi9 \skewchar\ninei='177 %%\font@\ninesy=cmsy9 \skewchar\ninesy='60 %%\font@\nineex=cmex9 %%%%\font@\nineex=cmex10 at9pt % non-AMSfonts substitute %%\font@\ninebf=cmbx9 %%\font@\nineit=cmti9 %%\font@\ninesl=cmsl9 %%\font@\ninesmc=cmcsc9 %% %%\font@\ninemsa=msam9 %%\font@\ninemsb=msbm9 %%\font@\nineeufm=eufm9 %% To use amsppt.sty without AMSFonts, comment out the following %% two lines (and refer to the lines above that begin with double %% percent signs); to load extra math symbols only on demand (with %% \newsymbol) comment out the second line. %\loadeufm %%%%% %\message{symbol names}\UseAMSsymbols\message{,} %%%%% \newtoks\tenpoint@ \def\tenpoint{\normalbaselineskip12\p@ \abovedisplayskip12\p@ plus3\p@ minus9\p@ \belowdisplayskip\abovedisplayskip \abovedisplayshortskip\z@ plus3\p@ \belowdisplayshortskip7\p@ plus3\p@ minus4\p@ \textonlyfont@\rm\tenrm \textonlyfont@\it\tenit \textonlyfont@\sl\tensl \textonlyfont@\bf\tenbf \textonlyfont@\smc\tensmc \textonlyfont@\tt\tentt \ifsyntax@ \def\big##1{{\hbox{$\left##1\right.$}}}% \let\Big\big \let\bigg\big \let\Bigg\big \else \textfont\z@\tenmr \scriptfont\z@\sevenmr \scriptscriptfont\z@\fivemr \textfont\@ne\teni \scriptfont\@ne\seveni \scriptscriptfont\@ne\fivei \textfont\tw@\tensy \scriptfont\tw@\sevensy \scriptscriptfont\tw@\fivesy \textfont\thr@@\tenex \scriptfont\thr@@\sevenex \scriptscriptfont\thr@@\sevenex %\textfont\itfam\tenit \scriptfont\itfam\sevenit %\scriptscriptfont\itfam\sevenit \textfont\bffam\tenmb \scriptfont\bffam\sevenmb \scriptscriptfont\bffam\fivemb \setbox\strutbox\hbox{\vrule height8.5\p@ depth3.5\p@ width\z@}% \setbox\strutbox@\hbox{\lower.5\normallineskiplimit\vbox{% \kern-\normallineskiplimit\copy\strutbox}}% \setbox\z@\vbox{\hbox{$($}\kern\z@}\bigsize@1.2\ht\z@ \fi \normalbaselines\rm\dotsspace@1.5mu\ex@.2326ex\jot3\ex@ \the\tenpoint@} \newtoks\eightpoint@ \def\eightpoint{\normalbaselineskip10\p@ \abovedisplayskip10\p@ plus2.4\p@ minus7.2\p@ \belowdisplayskip\abovedisplayskip \abovedisplayshortskip\z@ plus2.4\p@ \belowdisplayshortskip5.6\p@ plus2.4\p@ minus3.2\p@ \textonlyfont@\rm\eightrm \textonlyfont@\it\eightit \textonlyfont@\sl\eightsl \textonlyfont@\bf\eightbf \textonlyfont@\smc\eightsmc \textonlyfont@\tt\eighttt \ifsyntax@\def\big##1{{\hbox{$\left##1\right.$}}}% \let\Big\big \let\bigg\big \let\Bigg\big \else \textfont\z@\eightmr \scriptfont\z@\sixmr \scriptscriptfont\z@\fivemr \textfont\@ne\eighti \scriptfont\@ne\sixi \scriptscriptfont\@ne\fivei \textfont\tw@\eightsy \scriptfont\tw@\sixsy \scriptscriptfont\tw@\fivesy \textfont\thr@@\eightex \scriptfont\thr@@\sevenex \scriptscriptfont\thr@@\sevenex %\textfont\itfam\eightit \scriptfont\itfam\sevenit %\scriptscriptfont\itfam\sevenit \textfont\bffam\eightmb \scriptfont\bffam\sixmb \scriptscriptfont\bffam\fivemb \setbox\strutbox\hbox{\vrule height7\p@ depth3\p@ width\z@}% \setbox\strutbox@\hbox{\raise.5\normallineskiplimit\vbox{% \kern-\normallineskiplimit\copy\strutbox}}% \setbox\z@\vbox{\hbox{$($}\kern\z@}\bigsize@1.2\ht\z@ \fi \normalbaselines\eightrm\dotsspace@1.5mu\ex@.2326ex\jot3\ex@ \the\eightpoint@} \ifx\undefined\msafam \else\font@\eightmsa=msam8 \font@\sixmsa=msam6 \ifsyntax@\else \addto\tenpoint{\textfont\msafam\tenmsa \scriptfont\msafam\sevenmsa \scriptscriptfont\msafam\fivemsa}% \addto\eightpoint{\textfont\msafam\eightmsa \scriptfont\msafam\sixmsa \scriptscriptfont\msafam\fivemsa}% \fi \fi \ifx\undefined\msbfam \else\font@\eightmsb=msbm8 \font@\sixmsb=msbm6 \ifsyntax@\else \addto\tenpoint{\textfont\msbfam\tenmsb \scriptfont\msbfam\sevenmsb \scriptscriptfont\msbfam\fivemsb}% \addto\eightpoint{\textfont\msbfam\eightmsb \scriptfont\msbfam\sixmsb \scriptscriptfont\msbfam\fivemsb}% \fi \fi \ifx\undefined\eufmfam \else \font@\eighteufm=eufm8 \font@\sixeufm=eufm6 \ifsyntax@\else \addto\tenpoint{\textfont\eufmfam\teneufm \scriptfont\eufmfam\seveneufm \scriptscriptfont\eufmfam\fiveeufm}% \addto\eightpoint{\textfont\eufmfam\eighteufm \scriptfont\eufmfam\sixeufm \scriptscriptfont\eufmfam\fiveeufm}% \fi \fi \ifx\undefined\eufbfam \else \font@\eighteufb=eufb8 \font@\sixeufb=eufb6 \ifsyntax@\else \addto\tenpoint{\textfont\eufbfam\teneufb \scriptfont\eufbfam\seveneufb \scriptscriptfont\eufbfam\fiveeufb}% \addto\eightpoint{\textfont\eufbfam\eighteufb \scriptfont\eufbfam\sixeufb \scriptscriptfont\eufbfam\fiveeufb}% \fi \fi \ifx\undefined\eusmfam \else \font@\eighteusm=eusm8 \font@\sixeusm=eusm6 \ifsyntax@\else \addto\tenpoint{\textfont\eusmfam\teneusm \scriptfont\eusmfam\seveneusm \scriptscriptfont\eusmfam\fiveeusm}% \addto\eightpoint{\textfont\eusmfam\eighteusm \scriptfont\eusmfam\sixeusm \scriptscriptfont\eusmfam\fiveeusm}% \fi \fi \ifx\undefined\eusbfam \else \font@\eighteusb=eusb8 \font@\sixeusb=eusb6 \ifsyntax@\else \addto\tenpoint{\textfont\eusbfam\teneusb \scriptfont\eusbfam\seveneusb \scriptscriptfont\eusbfam\fiveeusb}% \addto\eightpoint{\textfont\eusbfam\eighteusb \scriptfont\eusbfam\sixeusb \scriptscriptfont\eusbfam\fiveeusb}% \fi \fi \ifx\undefined\eurmfam \else \font@\eighteurm=eurm8 \font@\sixeurm=eurm6 \ifsyntax@\else \addto\tenpoint{\textfont\eurmfam\teneurm \scriptfont\eurmfam\seveneurm \scriptscriptfont\eurmfam\fiveeurm}% \addto\eightpoint{\textfont\eurmfam\eighteurm \scriptfont\eurmfam\sixeurm \scriptscriptfont\eurmfam\fiveeurm}% \fi \fi \ifx\undefined\eurbfam \else \font@\eighteurb=eurb8 \font@\sixeurb=eurb6 \ifsyntax@\else \addto\tenpoint{\textfont\eurbfam\teneurb \scriptfont\eurbfam\seveneurb \scriptscriptfont\eurbfam\fiveeurb}% \addto\eightpoint{\textfont\eurbfam\eighteurb \scriptfont\eurbfam\sixeurb \scriptscriptfont\eurbfam\fiveeurb}% \fi \fi \ifx\undefined\cmmibfam \else \font@\eightcmmib=cmmib8 \font@\sixcmmib=cmmib6 \ifsyntax@\else \addto\tenpoint{\textfont\cmmibfam\tencmmib \scriptfont\cmmibfam\sevencmmib \scriptscriptfont\cmmibfam\fivecmmib}% \addto\eightpoint{\textfont\cmmibfam\eightcmmib \scriptfont\cmmibfam\sixcmmib \scriptscriptfont\cmmibfam\fivecmmib}% \fi \fi \ifx\undefined\cmbsyfam \else \font@\eightcmbsy=cmbsy8 \font@\sixcmbsy=cmbsy6 \ifsyntax@\else \addto\tenpoint{\textfont\cmbsyfam\tencmbsy \scriptfont\cmbsyfam\sevencmbsy \scriptscriptfont\cmbsyfam\fivecmbsy}% \addto\eightpoint{\textfont\cmbsyfam\eightcmbsy \scriptfont\cmbsyfam\sixcmbsy \scriptscriptfont\cmbsyfam\fivecmbsy}% \fi \fi \catcode`\@=13