antt2.08 again

git-svn-id: svn://tug.org/texlive/trunk@3476 c570f23f-e606-0410-a88d-b1316a301751

3 files changed, 616 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
diff --git a/Master/texmf-dist/tex/plain/antt/ofs-8x.tex b/Master/texmf-dist/tex/plain/antt/ofs-8x.tex
new file mode 100644
index 00000000000..9020181ad4f
--- /dev/null
+++ b/Master/texmf-dist/tex/plain/antt/ofs-8x.tex
@@ -0,0 +1,231 @@
+% Encoding definition of fonts by Storm Type Foundry
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% May 2004                                Petr Olsak
+
+% This file declares "expert encoding" of AntykwaTorunska.
+
+% See stormtex.html and ofsdoc.tex manuals for more details.
+
+\protectreading ofs-8x.tex % This is part of OFS package
+
+\characterdef \minusalt   8x   1
+\characterdef \plusalt   8x   2
+\characterdef \equalalt   8x   3
+\characterdef \dividealt   8x   4
+\characterdef \multiplyalt   8x   5
+\characterdef \plusminusalt   8x   6
+\characterdef \minusplusalt   8x   7
+\characterdef \lessalt   8x   8
+\characterdef \greateralt   8x   9
+\characterdef \greaterequalaltpl   8x   10
+\characterdef \lessequalaltpl   8x   11
+\characterdef \textminusplus   8x   12
+\characterdef \textless   8x   13
+\characterdef \textgreater   8x   14
+\characterdef \textlessequal   8x   15
+\characterdef \textgreaterequal   8x   16
+\characterdef \lessequalalt   8x   17
+\characterdef \greaterequalalt   8x   18
+\characterdef \dotlessisuperior   8x   19
+\characterdef \onehalf   8x   20
+\characterdef \onequarter   8x   21
+\characterdef \onethird   8x   22
+\characterdef \oneeighth   8x   23
+\characterdef \threeeighths   8x   24
+\characterdef \fiveeighths   8x   25
+\characterdef \seveneighths   8x   26
+\characterdef \threequarters   8x   27
+\characterdef \twothirds   8x   28
+\characterdef \ligfj   8x   29
+\characterdef \ligffj   8x   30
+\characterdef \ligst   8x   33
+\characterdef \ligct   8x   34
+\characterdef \ligTh   8x   35
+\characterdef \dollarsuperior   8x   36
+\characterdef \parenleftsuperior   8x   40
+\characterdef \parenrightsuperior   8x   41
+\characterdef \commasuperior   8x   44
+\characterdef \hyphensuperior   8x   45
+\characterdef \periodsuperior   8x   46
+\characterdef \fraction   8x   47
+\characterdef \zerosuperior   8x   48
+\characterdef \onesuperior   8x   49
+\characterdef \twosuperior   8x   50
+\characterdef \threesuperior   8x   51
+\characterdef \foursuperior   8x   52
+\characterdef \fivesuperior   8x   53
+\characterdef \sixsuperior   8x   54
+\characterdef \sevensuperior   8x   55
+\characterdef \eightsuperior   8x   56
+\characterdef \ninesuperior   8x   57
+\characterdef \sterlingsuperior   8x   91
+\characterdef \yensuperior   8x   92
+\characterdef \dotaccentsuperior   8x   95
+\characterdef \asuperior   8x   97
+\characterdef \bsuperior   8x   98
+\characterdef \csuperior   8x   99
+\characterdef \dsuperior   8x   100
+\characterdef \esuperior   8x   101
+\characterdef \fsuperior   8x   102
+\characterdef \hsuperior   8x   104
+\characterdef \isuperior   8x   105
+\characterdef \lsuperior   8x   108
+\characterdef \msuperior   8x   109
+\characterdef \nsuperior   8x   110
+\characterdef \osuperior   8x   111
+\characterdef \rsuperior   8x   114
+\characterdef \ssuperior   8x   115
+\characterdef \tsuperior   8x   116
+\characterdef \centsuperior   8x   124
+\characterdef \florinsuperior   8x   125
+\characterdef \euro           8x   128
+\characterdef \eurosuperior   8x   129
+\characterdef \zeronumr   8x   130
+\characterdef \onenumr   8x   131
+\characterdef \twonumr   8x   132
+\characterdef \threenumr   8x   133
+\characterdef \fournumr   8x   134
+\characterdef \fivenumr   8x   135
+\characterdef \sixnumr   8x   136
+\characterdef \sevennumr   8x   137
+\characterdef \eightnumr   8x   138
+\characterdef \ninenumr   8x   139
+\characterdef \zerodnom   8x   140
+\characterdef \onednom   8x   141
+\characterdef \twodnom   8x   142
+\characterdef \threednom   8x   143
+\characterdef \fourdnom   8x   144
+\characterdef \fivednom   8x   145
+\characterdef \sixdnom   8x   146
+\characterdef \sevendnom   8x   147
+\characterdef \eightdnom   8x   148
+\characterdef \ninednom   8x   149
+\characterdef \zeroinferior   8x   150
+\characterdef \oneinferior   8x   151
+\characterdef \twoinferior   8x   152
+\characterdef \threeinferior   8x   153
+\characterdef \fourinferior   8x   154
+\characterdef \fiveinferior   8x   155
+\characterdef \sixinferior   8x   156
+\characterdef \seveninferior   8x   157
+\characterdef \eightinferior   8x   158
+\characterdef \nineinferior   8x   159
+\characterdef \equivasymptotic   8x   160
+\characterdef \equivalence   8x   161
+\characterdef \precedes   8x   162
+\characterdef \precedesequal   8x   163
+\characterdef \lessmuch   8x   164
+\characterdef \greatermuch   8x   165
+\characterdef \follows   8x   166
+\characterdef \followsequal   8x   167
+\characterdef \element   8x   168
+\characterdef \owner   8x   169
+\characterdef \propersubset   8x   170
+\characterdef \reflexsubset   8x   171
+\characterdef \propersuperset   8x   172
+\characterdef \reflexsuperset   8x   173
+\characterdef \arrowsouthwest   8x   174
+\characterdef \arrowsoutheast   8x   175
+\characterdef \arrownorthwest   8x   176
+\characterdef \arrownortheast   8x   177
+\characterdef \arrowleft   8x   178
+\characterdef \arrowright   8x   179
+\characterdef \arrowboth   8x   180
+\characterdef \arrowup   8x   181
+\characterdef \arrowdown   8x   182
+\characterdef \arrowdblleft   8x   183
+\characterdef \arrowdblright   8x   184
+\characterdef \arrowdblup   8x   185
+\characterdef \arrowdbldown   8x   186
+\characterdef \arrowdblboth   8x   187
+\characterdef \arrowlefttophalf   8x   188
+\characterdef \arrowrighttophalf   8x   189
+\characterdef \arrowleftbothalf   8x   190
+\characterdef \arrowrightbothalf   8x   191
+\characterdef \similar   8x   192
+\characterdef \asymptoticallyequal   8x   193
+\characterdef \union   8x   194
+\characterdef \intersection   8x   195
+\characterdef \unionmulti   8x   196
+\characterdef \unionsq   8x   197
+\characterdef \intersectionsq   8x   198
+\characterdef \subsetsqequal   8x   199
+\characterdef \supersetsqequal   8x   200
+\characterdef \openbullet   8x   201
+\characterdef \circleminus   8x   202
+\characterdef \circleplus   8x   203
+\characterdef \circledivide   8x   204
+\characterdef \circlemultiply   8x   205
+\characterdef \circledot   8x   206
+\characterdef \circlecopyrt   8x   207
+\characterdef \diamondmath   8x   208
+\characterdef \asteriskmath   8x   209
+\characterdef \latticetop   8x   210
+\characterdef \perpendicular   8x   211
+\characterdef \turnstileleft   8x   212
+\characterdef \turnstileright   8x   213
+\characterdef \floorleft   8x   214
+\characterdef \floorright   8x   215
+\characterdef \ceilingleft   8x   216
+\characterdef \ceilingright   8x   217
+\characterdef \textlangle   8x   218
+\characterdef \textrangle   8x   219
+\characterdef \dblverticalbar   8x   220
+\characterdef \arrowupdndbl   8x   221
+\characterdef \arrowupdn   8x   222
+\characterdef \universal   8x   223
+\characterdef \existential   8x   224
+\characterdef \wreathproduct   8x   225
+\characterdef \club   8x   226
+\characterdef \spade   8x   227
+\characterdef \heart   8x   228
+\characterdef \diamond   8x   229
+\characterdef \logicaland   8x   230
+\characterdef \logicalor   8x   231
+\characterdef \triangle   8x   232
+\characterdef \triangleinv   8x   233
+\characterdef \triangleright   8x   234
+\characterdef \triangleleft   8x   235
+\characterdef \proportional   8x   236
+\characterdef \arrowhookleft   8x   237
+\characterdef \arrowhookright   8x   238
+\characterdef \flat   8x   239
+\characterdef \vector   8x   240
+\characterdef \tie   8x   241
+\characterdef \nabla   8x   242
+\characterdef \dollarinferior   8x   243
+\characterdef \euroinferior   8x   244
+\characterdef \sterlinginferior   8x   245
+\characterdef \yeninferior   8x   246
+\characterdef \centinferior   8x   247
+\characterdef \parenleftinferior   8x   248
+\characterdef \periodinferior   8x   249
+\characterdef \hypheninferior   8x   250
+\characterdef \commainferior   8x   251
+\characterdef \parenrightinferior   8x   252
+\characterdef \trademark   8x   253
+\characterdef \estimated   8x   254
+
+\modifydef 8z:antt; {%
+   \characterdef \degree      8z  176
+   \characterdef \euro        8z  134
+   \characterdef \trademark   8z  136
+   \characterdef \copyright   8z  137
+   \characterdef \registered  8z  138
+   \characterdef \flq         8z  142
+   \characterdef \frq         8z  143
+   \characterdef \clq         8z  154
+   \characterdef \crq         8z  155
+   \characterdef \longs       8z  149
+   \characterdef \florin      8z  151
+   \accentdel  \c T      8z  222
+   \accentdel  \c t      8z  189   
+}
+
+
+
+
+
+
+
+
diff --git a/Master/texmf-dist/tex/plain/antt/pantyk.tex b/Master/texmf-dist/tex/plain/antt/pantyk.tex
new file mode 100644
index 00000000000..6779777b5bc
--- /dev/null
+++ b/Master/texmf-dist/tex/plain/antt/pantyk.tex
@@ -0,0 +1,114 @@
+% The file pantyk.tex (C) Petr Olsak, May 2004
+% Polish Antykwa ... OFS declaration file
+
+% After "\input pantyk", you can use
+%
+% \showfonts    ... to show the loaded fontfamilies on terminal
+% \fontusage    ... to show the usage of new TeX macros on terminal
+
+\ifx \ofsdeclarefamily\undefined    \input ofs      \fi
+\protectreading pantyk.tex % This is part of OFS package
+
+\ofsputfamlist {^^Jpantyk.tex:}
+
+\ofsdeclarefamily [AntykwaTorunska] {% --------------- AntykwaTorunska
+   \loadtextfam (Regular)    \nowackienc-anttr;%
+                (Bold)       \nowackienc-anttb;%
+                (Italic)     \nowackienc-anttri;%
+                (BoldItalic) \nowackienc-anttbi;8x;%
+   \newvariant0 \lr (Light)         \nowackienc-anttl;8x;%
+   \newvariant1 \li (LightItalic)   \nowackienc-anttli;8x;%
+   \newvariant2 \mr (Medium)        \nowackienc-anttm;8x;%
+   \newvariant3 \mi (MediumItalic)  \nowackienc-anttmi;8x;%
+   \modifyenc 8z:antt;%
+   \def\TeX{T\kern-.08em\lower.3333ex\hbox{E}\kern-0.09emX}%
+}
+\registerenc: 8t  \registerenc: 8z  \registerenc: 7k  \registerenc: 6w
+\registerenc: 8a
+
+\ofsdeclarefamily [AntykwaTorunskaCaps] {% ------- AntykwaTorunskaCaps
+   \loadtextfam (Regular)    \nowackienc-anttrcap;%
+                (Bold)       \nowackienc-anttbcap;%
+                (Italic)     \nowackienc-anttricap;%
+                (BoldItalic) \nowackienc-anttbicap;8x;%
+   \newvariant0 \lr (Light)         \nowackienc-anttlcap;8x;%
+   \newvariant1 \li (LightItalic)   \nowackienc-anttlicap;8x;%
+   \newvariant2 \mr (Medium)        \nowackienc-anttmcap;8x;%
+   \newvariant3 \mi (MediumItalic)  \nowackienc-anttmicap;8x;%
+   \modifyenc 8z:antt;%
+   \def\TeX{T\kern-.08em\lower.3333ex\hbox{E}\kern-0.09emX}%
+}
+\registerenc: 8t  \registerenc: 8z  \registerenc: 7k  \registerenc: 6w
+\registerenc: 8a
+
+\ofsdeclarefamily [AntykwaTorunskaCond] {% ------- AntykwaTorunskaCond
+   \loadtextfam (Regular)    \nowackienc-anttcr;%
+                (Bold)       \nowackienc-anttcb;%
+                (Italic)     \nowackienc-anttcri;%
+                (BoldItalic) \nowackienc-anttcbi;8x;%
+   \newvariant0 \lr (Light)         \nowackienc-anttcl;8x;%
+   \newvariant1 \li (LightItalic)   \nowackienc-anttcli;8x;%
+   \newvariant2 \mr (Medium)        \nowackienc-anttcm;8x;%
+   \newvariant3 \mi (MediumItalic)  \nowackienc-anttcmi;8x;%
+   \modifyenc 8z:antt;%
+   \def\TeX{T\kern-.08em\lower.3333ex\hbox{E}\kern-0.09emX}%
+}
+\registerenc: 8t  \registerenc: 8z  \registerenc: 7k  \registerenc: 6w
+\registerenc: 8a
+
+\ofsdeclarefamily [AntykwaTorunskaCondCaps] {% ---- AntykwaTorunskaCondCaps
+   \loadtextfam (Regular)    \nowackienc-anttcrcap;%
+                (Bold)       \nowackienc-anttcbcap;%
+                (Italic)     \nowackienc-anttcricap;%
+                (BoldItalic) \nowackienc-anttcbicap;8x;%
+   \newvariant0 \lr (Light)         \nowackienc-anttclcap;8x;%
+   \newvariant1 \li (LightItalic)   \nowackienc-anttclicap;8x;%
+   \newvariant2 \mr (Medium)        \nowackienc-anttcmcap;8x;%
+   \newvariant3 \mi (MediumItalic)  \nowackienc-anttcmicap;8x;%
+   \modifyenc 8z:antt;%
+   \def\TeX{T\kern-.08em\lower.3333ex\hbox{E}\kern-0.09emX}%
+}
+\registerenc: 8t  \registerenc: 8z  \registerenc: 7k  \registerenc: 6w
+\registerenc: 8a
+
+% Janusz Nowacki use a non standard tfm names. We need
+% to define a conversion table:
+
+\def\nowackienc{\csname nowacki:\fotenc\endcsname}
+\expandafter \def \csname nowacki:8t\endcsname {ec}
+\expandafter \def \csname nowacki:8z\endcsname {cs}
+\expandafter \def \csname nowacki:6w\endcsname {1251}
+\expandafter \def \csname nowacki:7k\endcsname {wncyr}
+\expandafter \def \csname nowacki:8a\endcsname {texansi}
+\expandafter \def \csname nowacki:8x\endcsname {exp}
+
+% The expert fonts are the same for Caps and Normal:
+
+\registertfm exp-anttrcap  - exp-anttr
+\registertfm exp-anttbcap  - exp-anttb
+\registertfm exp-anttricap - exp-anttri
+\registertfm exp-anttbicap - exp-anttbi
+\registertfm exp-anttlcap  - exp-anttl
+\registertfm exp-anttlicap - exp-anttli
+\registertfm exp-anttmcap  - exp-anttm
+\registertfm exp-anttmicap - exp-anttmi
+
+\registertfm exp-anttcrcap  - exp-anttcr
+\registertfm exp-anttcbcap  - exp-anttcb
+\registertfm exp-anttcricap - exp-anttcri
+\registertfm exp-anttcbicap - exp-anttcbi
+\registertfm exp-anttclcap  - exp-anttcl
+\registertfm exp-anttclicap - exp-anttcli
+\registertfm exp-anttcmcap  - exp-anttcm
+\registertfm exp-anttcmicap - exp-anttcmi
+
+\ofsdeclarefamily [AntykwaPoltawskiego] {% --------------- AntykwaPoltawskiego
+   \loadtextfam (Regular)    antpr;%
+                (Bold)       antpb;%
+                (Italic)     antpri;%
+                (BoldItalic) antpbi;;%
+   \def\TeX{T\kern-.08em\lower.3333ex\hbox{E}\kern-0.09emX}%
+}
+\registerenc: 8t \registerenc: 8z
+
+\endinput