diff options
Diffstat (limited to 'Master/texmf-dist/tex/plain/antt/antt-math.tex')
-rw-r--r-- | Master/texmf-dist/tex/plain/antt/antt-math.tex | 271 |
1 files changed, 271 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/plain/antt/antt-math.tex b/Master/texmf-dist/tex/plain/antt/antt-math.tex new file mode 100644 index 00000000000..5f6575dd1cb --- /dev/null +++ b/Master/texmf-dist/tex/plain/antt/antt-math.tex @@ -0,0 +1,271 @@ +\catcode`@=11 +% roman text +\font\seventeenrm= rm-anttr at17.28pt +\font\fourteenrm= rm-anttr at14.4pt +\font\twelverm= rm-anttr at12pt +\font\elevenrm= rm-anttr at11pt +\font\tenrm= rm-anttr +\font\ninerm= rm-anttr at9pt +\font\eightrm= rm-anttr at8pt +\font\sevenrm= rm-anttr at7pt +\font\sixrm= rm-anttr at6pt +\font\fiverm= rm-anttr at5pt +% math italic +\font\seventeeni= mi-anttri at17.28pt +\font\fourteeni= mi-anttri at14.4pt +\font\twelvei= mi-anttri at12pt +\font\eleveni= mi-anttri at11pt +\font\teni= mi-anttri +\font\ninei= mi-anttri at9pt +\font\eighti= mi-anttri at8pt +\font\seveni= mi-anttri at7pt +\font\sixi= mi-anttri at6pt +\font\fivei= mi-anttri at5pt +% math symbols +\font\seventeensy= sy-anttrz at17.28pt +\font\fourteensy= sy-anttrz at14.4pt +\font\twelvesy= sy-anttrz at12pt +\font\elevensy= sy-anttrz at11pt +\font\tensy= sy-anttrz +\font\ninesy= sy-anttrz at9pt +\font\eightsy= sy-anttrz at8pt +\font\sevensy= sy-anttrz at7pt +\font\sixsy= sy-anttrz at6pt +\font\fivesy= sy-anttrz at5pt +% math extension +\font\seventeenex= ex-anttr at17.28pt +\font\fourteenex= ex-anttr at14.4pt +\font\twelveex= ex-anttr at12pt +\font\elevenex= ex-anttr at11pt +\font\tenex= ex-anttr +\font\nineex= ex-anttr at9pt +\font\eightex= ex-anttr at8pt +\font\sevenex= ex-anttr at7pt +\font\sixex= ex-anttr at6pt +\font\fiveex= ex-anttr at5pt +% boldface +\font\seventeenbf= qx-anttb at17.28pt +\font\fourteenbf= qx-anttb at14.4pt +\font\twelvebf= qx-anttb at12pt +\font\elevenbf= qx-anttb at11pt +\font\tenbf= qx-anttb +\font\ninebf= qx-anttb at9pt +\font\eightbf= qx-anttb at8pt +\font\sevenbf= qx-anttb at7pt +\font\sixbf= qx-anttb at6pt +\font\fivebf= qx-anttb at5pt +% typewriter +\font\seventeentt= qx-lmtt12 at17.28pt +\font\fourteentt= qx-lmtt12 at14.4pt +\font\twelvett= qx-lmtt12 +\font\eleventt= qx-lmtt10 at11pt +\font\tentt= qx-lmtt10 +\font\ninett= qx-lmtt9 +\font\eighttt= qx-lmtt8 +\font\seventt= qx-lmtt8 at7pt +\font\sixtt= qx-lmtt8 at6pt +\font\fivett= qx-lmtt8 at5pt +% text italic +\font\seventeenit= qx-anttri at17.28pt +\font\fourteenit= qx-anttri at14.4pt +\font\twelveit= qx-anttri at12pt +\font\elevenit= qx-anttri at11pt +\font\tenit= qx-anttri +\font\nineit= qx-anttri at9pt +\font\eightit= qx-anttri at8pt +\font\sevenit= qx-anttri at7pt +\font\sixit= qx-anttri at6pt +\font\fiveit= qx-anttri at5pt +% +\skewchar\seventeeni='177 \skewchar\fourteeni='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\seventeensy='60 \skewchar\fourteensy='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 +% +\let\usereightpointmacro=\relax +\def\eightpoint{\let\pointsize=\eightpoint + \textfont0=\eightrm \scriptfont0=\sixrm \scriptscriptfont0=\fiverm + \def\rm{\fam\z@\eightrm}% + \textfont1=\eighti \scriptfont1=\sixi \scriptscriptfont1=\fivei + \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\eighti}% + \textfont2=\eightsy \scriptfont2=\sixsy \scriptscriptfont2=\fivesy + \def\cal{\fam\tw@}% + \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex + \textfont\itfam=\eightit + \def\it{\fam\itfam\eightit}% + \textfont\bffam=\eightbf \scriptfont\bffam=\sixbf + \scriptscriptfont\bffam=\fivebf + \def\bf{\fam\bffam\eightbf}% + \textfont\ttfam=\eighttt \def\tt{\fam\ttfam\eighttt}% + \def\big##1{{\hbox{$\left##1\vbox to8.5\p@{}\right.\n@space$}}}% + \def\Big##1{{\hbox{$\left##1\vbox to11.5\p@{}\right.\n@space$}}}% + \def\bigg##1{{\hbox{$\left##1\vbox to14.5\p@{}\right.\n@space$}}}% + \def\Bigg##1{{\hbox{$\left##1\vbox to17.5\p@{}\right.\n@space$}}}% + \setnormalsp@cing \usereightpointmacro} +% +\let\userninepointmacro=\relax +\def\ninepoint{\let\pointsize=\ninepoint + \textfont0=\ninerm \scriptfont0=\sevenrm \scriptscriptfont0=\fiverm + \def\rm{\fam\z@\ninerm}% + \textfont1=\ninei \scriptfont1=\seveni \scriptscriptfont1=\fivei + \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\ninei}% + \textfont2=\ninesy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy + \def\cal{\fam\tw@}% + \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex + \textfont\itfam=\nineit + \def\it{\fam\itfam\nineit}% + \textfont\bffam=\ninebf \scriptfont\bffam=\sevenbf + \scriptscriptfont\bffam=\fivebf + \def\bf{\fam\bffam\ninebf}% + \textfont\ttfam=\ninett \def\tt{\fam\ttfam\ninett}% + \def\big##1{{\hbox{$\left##1\vbox to8.5\p@{}\right.\n@space$}}}% + \def\Big##1{{\hbox{$\left##1\vbox to11.5\p@{}\right.\n@space$}}}% + \def\bigg##1{{\hbox{$\left##1\vbox to14.5\p@{}\right.\n@space$}}}% + \def\Bigg##1{{\hbox{$\left##1\vbox to17.5\p@{}\right.\n@space$}}}% + \setnormalsp@cing \userninepointmacro} +% +\let\usertenpointmacro=\relax +\def\tenpoint{\let\pointsize=\tenpoint + \textfont0=\tenrm \scriptfont0=\sevenrm \scriptscriptfont0=\fiverm + \def\rm{\fam\z@\tenrm}% + \textfont1=\teni \scriptfont1=\seveni \scriptscriptfont1=\fivei + \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\teni}% + \textfont2=\tensy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy + \def\cal{\fam\tw@}% + \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex + \textfont\itfam=\tenit + \def\it{\fam\itfam\tenit}% + \textfont\bffam=\tenbf \scriptfont\bffam=\sevenbf + \scriptscriptfont\bffam=\fivebf + \def\bf{\fam\bffam\tenbf}% + \textfont\ttfam=\tentt \def\tt{\fam\ttfam\tentt}% + \def\big##1{{\hbox{$\left##1\vbox to8.5\p@{}\right.\n@space$}}}% + \def\Big##1{{\hbox{$\left##1\vbox to11.5\p@{}\right.\n@space$}}}% + \def\bigg##1{{\hbox{$\left##1\vbox to14.5\p@{}\right.\n@space$}}}% + \def\Bigg##1{{\hbox{$\left##1\vbox to17.5\p@{}\right.\n@space$}}}% + \setnormalsp@cing \usertenpointmacro} +% +\let\userelevenpointmacro=\relax +\def\elevenpoint{\let\pointsize=\elevenpoint + \textfont0=\elevenrm \scriptfont0=\eightrm \scriptscriptfont0=\fiverm + \def\rm{\fam\z@\elevenrm}% + \textfont1=\eleveni \scriptfont1=\eighti \scriptscriptfont1=\fivei + \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\eleveni}% + \textfont2=\elevensy \scriptfont2=\eightsy \scriptscriptfont2=\fivesy + \def\cal{\fam\tw@}% + \textfont3=\elevenex \scriptfont3=\elevenex \scriptscriptfont3=\elevenex% + \textfont\itfam=\elevenit + \def\it{\fam\itfam\elevenit}% + \textfont\bffam=\elevenbf \scriptfont\bffam=\eightbf + \scriptscriptfont\bffam=\fivebf + \def\bf{\fam\bffam\elevenbf}% + \textfont\ttfam=\eleventt \def\tt{\fam\ttfam\eleventt}% + \def\big##1{{\hbox{$\left##1\vbox to9.3\p@{}\right.\n@space$}}}% + \def\Big##1{{\hbox{$\left##1\vbox to12.6\p@{}\right.\n@space$}}}% + \def\bigg##1{{\hbox{$\left##1\vbox to16\p@{}\right.\n@space$}}}% + \def\Bigg##1{{\hbox{$\left##1\vbox to19.2\p@{}\right.\n@space$}}}% + \setnormalsp@cing \userelevenpointmacro} +% +\let\usertwelvepointmacro=\relax +\def\twelvepoint{\let\pointsize=\twelvepoint + \textfont0=\twelverm \scriptfont0=\ninerm \scriptscriptfont0=\sixrm + \def\rm{\fam\z@\twelverm}% + \textfont1=\twelvei \scriptfont1=\ninei \scriptscriptfont1=\sixi + \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\twelvei}% + \textfont2=\twelvesy \scriptfont2=\ninesy \scriptscriptfont2=\sixsy + \def\cal{\fam\tw@}% + \textfont3=\twelveex \scriptfont3=\twelveex \scriptscriptfont3=\twelveex% + \textfont\itfam=\twelveit + \def\it{\fam\itfam\twelveit}% + \textfont\bffam=\twelvebf \scriptfont\bffam=\ninebf + \scriptscriptfont\bffam=\sixbf + \def\bf{\fam\bffam\twelvebf}% + \textfont\ttfam=\twelvett \def\tt{\fam\ttfam\twelvett}% + \def\big##1{{\hbox{$\left##1\vbox to10.2\p@{}\right.\n@space$}}}% + \def\Big##1{{\hbox{$\left##1\vbox to13.8\p@{}\right.\n@space$}}}% + \def\bigg##1{{\hbox{$\left##1\vbox to17.4\p@{}\right.\n@space$}}}% + \def\Bigg##1{{\hbox{$\left##1\vbox to21\p@{}\right.\n@space$}}}% + \setnormalsp@cing \usertwelvepointmacro} +% +\let\userfourteenpointmacro=\relax +\def\fourteenpoint{\let\pointsize=\fourteenpoint + \textfont0=\fourteenrm \scriptfont0=\tenrm \scriptscriptfont0=\sevenrm + \def\rm{\fam\z@\fourteenrm}% + \textfont1=\fourteeni \scriptfont1=\teni \scriptscriptfont1=\seveni + \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\fourteeni}% + \textfont2=\fourteensy \scriptfont2=\tensy \scriptscriptfont2=\sevensy + \def\cal{\fam\tw@}% + \textfont3=\fourteenex \scriptfont3=\fourteenex \scriptscriptfont3=\fourteenex% + \textfont\itfam=\fourteenit + \def\it{\fam\itfam\fourteenit}% + \textfont\bffam=\fourteenbf \scriptfont\bffam=\tenbf + \scriptscriptfont\bffam=\sixbf + \def\bf{\fam\bffam\fourteenbf}% + \textfont\ttfam=\fourteentt \def\tt{\fam\ttfam\fourteentt}% + \def\big##1{{\hbox{$\left##1\vbox to11.9\p@{}\right.\n@space$}}}% + \def\Big##1{{\hbox{$\left##1\vbox to16.1\p@{}\right.\n@space$}}}% + \def\bigg##1{{\hbox{$\left##1\vbox to20.3\p@{}\right.\n@space$}}}% + \def\Bigg##1{{\hbox{$\left##1\vbox to24.5\p@{}\right.\n@space$}}}% + \setnormalsp@cing \userfourteenpointmacro} +% +\newcount\antttext \antttext=10 +\let\userseventeenpointmacro=\relax +\def\seventeenpoint{\let\pointsize=\seventeenpoint + \textfont0=\seventeenrm \scriptfont0=\twelverm \scriptscriptfont0=\ninerm + \textfont1=\seventeeni \scriptfont1=\twelvei \scriptscriptfont1=\ninei + \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\seventeeni}% + \textfont2=\seventeensy \scriptfont2=\twelvesy \scriptscriptfont2=\ninesy + \def\cal{\fam\tw@}% + \textfont3=\seventeenex \scriptfont3=\seventeenex \scriptscriptfont3=\seventeenex% + \textfont\itfam=\seventeenit + \textfont\bffam=\seventeenbf \scriptfont\bffam=\twelvebf + \scriptscriptfont\bffam=\ninebf + \textfont\ttfam=\seventeentt + \def\rm{\fam\z@\seventeenrm}% + \def\bf{\fam\bffam\seventeenbf}% + \def\it{\fam\itfam\seventeenit}% + \def\tt{\fam\ttfam\seventeentt}% + \def\big##1{{\hbox{$\left##1\vbox to15.3\p@{}\right.\n@space$}}}% + \def\Big##1{{\hbox{$\left##1\vbox to20.7\p@{}\right.\n@space$}}}% + \def\bigg##1{{\hbox{$\left##1\vbox to26.1\p@{}\right.\n@space$}}}% + \def\Bigg##1{{\hbox{$\left##1\vbox to31.5\p@{}\right.\n@space$}}}% + \setnormalsp@cing \userseventeenpointmacro} +% +\newtoks\baselinefactor \baselinefactor={1.2} +\def\setnormalsp@cing{% + \rm % set the em properly + \normalbaselineskip=\the\baselinefactor em\relax + \normalbaselines + \abovedisplayskip=1.2em plus .3em minus .9em% + \abovedisplayshortskip=0em plus .3em% + \belowdisplayskip=1.2em plus .3em minus .9em% + \belowdisplayshortskip=.7em plus .3em minus .4em% + \setbox\strutbox=\hbox{\vrule height .7\baselineskip + depth .3\baselineskip width\z@}} +% +\mathchardef\equalleft="32CD +\mathchardef\equalright="32CC +\mathchardef\equalc="32CB +\mathchardef\Rightarrow="32D1 +\mathchardef\Leftarrowj="32D0 +\mathchardef\minusleft="32C9 +\mathchardef\minusright="32CA +\mathchardef\minusc="32C8 +\mathchardef\rightarrow="32CF +\mathchardef\leftarrow="32CE +\def\Longrightarrow{\equalleft\joinrel\Rightarrow} +\def\Longleftarrow{\Leftarrowj\joinrel\equalright} +\def\longrightarrow{\minusright\joinrel\rightarrow} +\def\longleftarrow{\leftarrow\joinrel\minusleft} +\def\rightarrowfill{$\m@th\minusright\mkern-7mu% + \cleaders\hbox{$\mkern-2mu\minusc\mkern-2mu$}\hfill + \mkern-7mu\mathord\rightarrow$} +\def\leftarrowfill{$\m@th\mathord\leftarrow\mkern-7mu% + \cleaders\hbox{$\mkern-2mu\minusc\mkern-2mu$}\hfill + \mkern-7mu\minusleft$} +\catcode`@=11 +\endinput |