diff options
author | Staszek Wawrykiewicz <staw@gust.org.pl> | 2007-01-14 19:38:06 +0000 |
---|---|---|
committer | Staszek Wawrykiewicz <staw@gust.org.pl> | 2007-01-14 19:38:06 +0000 |
commit | c6716c453c9eba23e5cffa6be76cc53576d313b6 (patch) | |
tree | 19f959f04916f67eb91eca7c7561bb84a47c7729 /Master/texmf-dist/tex/plain/antt/antt-math.tex | |
parent | 6811625d683833a23a20faceefdd043b5835cd82 (diff) |
antt 2.08
git-svn-id: svn://tug.org/texlive/trunk@3473 c570f23f-e606-0410-a88d-b1316a301751
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, 0 insertions, 271 deletions
diff --git a/Master/texmf-dist/tex/plain/antt/antt-math.tex b/Master/texmf-dist/tex/plain/antt/antt-math.tex deleted file mode 100644 index 5f6575dd1cb..00000000000 --- a/Master/texmf-dist/tex/plain/antt/antt-math.tex +++ /dev/null @@ -1,271 +0,0 @@ -\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 |