summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/plain/antt/antt-math.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/plain/antt/antt-math.tex')
-rw-r--r--Master/texmf-dist/tex/plain/antt/antt-math.tex271
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..6e5a214f37c
--- /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`@=12
+\endinput