% Encoding definition of expert encoding of AntykwaTorunska
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% May 2004                                       Petr Olsak

% 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   
}








