blob: ec2ca3e98132d00d2a962f197b96671ec937d661 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
|
% 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
}
|
