SourceBrowser

1if
 not
 modules
 then
 modules
 =
 {
 }
 end
 modules
 [
'
math-ttv
'
]
 =
 {
2    version
   =
 1
.
001
,
3    comment
   =
 "
traditional tex vectors, companion to math-vfu.lua
"
,
4    author
    =
 "
Hans Hagen, PRAGMA-ADE, Hasselt NL
"
,
5    copyright
 =
 "
PRAGMA ADE / ConTeXt Development Team
"
,
6    license
   =
 "
see context related readme files
"
,
7    dataonly
  =
 true
,
8}
9
10local
 vfmath
        =
 fonts
.
handlers
.
vf
.
math
11local
 setletters
    =
 vfmath
.
setletters
12local
 setdigits
     =
 vfmath
.
setdigits
13
14local
 mathencodings
 =
 fonts
.
encodings
.
math
15
16-- varphi is part of the alphabet, contrary to the other var*s'
17
18mathencodings
[
"
large-to-small
"
]
 =
 {
19    [
0x00028
]
 =
 0x00
,
 -- (
20    [
0x00029
]
 =
 0x01
,
 -- )
21    [
0x0005B
]
 =
 0x02
,
 -- [
22    [
0x0005D
]
 =
 0x03
,
 -- ]
23    [
0x0230A
]
 =
 0x04
,
 -- lfloor
24    [
0x0230B
]
 =
 0x05
,
 -- rfloor
25    [
0x02308
]
 =
 0x06
,
 -- lceil
26    [
0x02309
]
 =
 0x07
,
 -- rceil
27    [
0x0007B
]
 =
 0x08
,
 -- {
28    [
0x0007D
]
 =
 0x09
,
 -- }
29    [
0x027E8
]
 =
 0x0A
,
 -- <
30    [
0x027E9
]
 =
 0x0B
,
 -- >
31    [
0x0007C
]
 =
 0x0C
,
 -- |
32 -- [0x0]     = 0x0D, -- lVert rVert Vert
33 -- [0x0002F] = 0x0E, -- /
34    [
0x0005C
]
 =
 0x0F
,
 -- \
35 -- [0x0]     = 0x3A, -- lgroup
36 -- [0x0]     = 0x3B, -- rgroup
37 -- [0x0]     = 0x3C, -- arrowvert
38 -- [0x0]     = 0x3D, -- Arrowvert
39    [
0x02195
]
 =
 0x3F
,
 -- updownarrow
40 -- [0x0]     = 0x40, -- lmoustache
41 -- [0x0]     = 0x41, -- rmoustache
42    [
0x0221A
]
 =
 0x70
,
 -- sqrt
43    [
0x021D5
]
 =
 0x77
,
 -- Updownarrow
44    [
0x02191
]
 =
 0x78
,
 -- uparrow
45    [
0x02193
]
 =
 0x79
,
 -- downarrow
46    [
0x021D1
]
 =
 0x7E
,
 -- Uparrow
47    [
0x021D3
]
 =
 0x7F
,
 -- Downarrow
48    [
0x0220F
]
 =
 0x59
,
 -- prod
49    [
0x02210
]
 =
 0x61
,
 -- coprod
50    [
0x02211
]
 =
 0x58
,
 -- sum
51    [
0x0222B
]
 =
 0x5A
,
 -- intop
52    [
0x0222E
]
 =
 0x49
,
 -- ointop
53 -- [0xFE302] = 0x62, -- widehat
54 -- [0xFE303] = 0x65, -- widetilde
55    [
0x00302
]
 =
 0x62
,
 -- widehat
56    [
0x00303
]
 =
 0x65
,
 -- widetilde
57    [
0x022C0
]
 =
 0x5E
,
 -- bigwedge
58    [
0x022C1
]
 =
 0x5F
,
 -- bigvee
59    [
0x022C2
]
 =
 0x5C
,
 -- bigcap
60    [
0x022C3
]
 =
 0x5B
,
 -- bigcup
61    [
0x02044
]
 =
 0x0E
,
 -- /
62}
63
64-- Beware: these are (in cm/lm) below the baseline due to limitations
65-- in the tfm format bu the engien (combined with the mathclass) takes
66-- care of it. If we need them in textmode, we should make them virtual
67-- and move them up but we're in no hurry with that.
68
69mathencodings
[
"
tex-ex
"
]
 =
 {
70    [
0x0220F
]
 =
 0x51
,
 -- prod
71    [
0x02210
]
 =
 0x60
,
 -- coprod
72    [
0x02211
]
 =
 0x50
,
 -- sum
73    [
0x0222B
]
 =
 0x52
,
 -- intop
74    [
0x0222E
]
 =
 0x48
,
 -- ointop
75    [
0x022C0
]
 =
 0x56
,
 -- bigwedge
76    [
0x022C1
]
 =
 0x57
,
 -- bigvee
77    [
0x022C2
]
 =
 0x54
,
 -- bigcap
78    [
0x022C3
]
 =
 0x53
,
 -- bigcup
79    [
0x02A00
]
 =
 0x4A
,
 -- bigodot -- fixed BJ
80    [
0x02A01
]
 =
 0x4C
,
 -- bigoplus
81    [
0x02A02
]
 =
 0x4E
,
 -- bigotimes
82 -- [0x02A03] =     , -- bigudot --
83    [
0x02A04
]
 =
 0x55
,
 -- biguplus
84    [
0x02A06
]
 =
 0x46
,
 -- bigsqcup
85}
86
87-- only math stuff is needed, since we always use an lm or gyre
88-- font as main font
89
90mathencodings
[
"
tex-mr
"
]
 =
 {
91    [
0x00393
]
 =
 0x00
,
 -- Gamma
92    [
0x00394
]
 =
 0x01
,
 -- Delta
93    [
0x00398
]
 =
 0x02
,
 -- Theta
94    [
0x0039B
]
 =
 0x03
,
 -- Lambda
95    [
0x0039E
]
 =
 0x04
,
 -- Xi
96    [
0x003A0
]
 =
 0x05
,
 -- Pi
97    [
0x003A3
]
 =
 0x06
,
 -- Sigma
98    [
0x003A5
]
 =
 0x07
,
 -- Upsilon
99    [
0x003A6
]
 =
 0x08
,
 -- Phi
100    [
0x003A8
]
 =
 0x09
,
 -- Psi
101    [
0x003A9
]
 =
 0x0A
,
 -- Omega
102--  [0x00060] = 0x12, -- [math]grave
103--  [0x000B4] = 0x13, -- [math]acute
104--  [0x002C7] = 0x14, -- [math]check
105--  [0x002D8] = 0x15, -- [math]breve
106--  [0x000AF] = 0x16, -- [math]bar
107--  [0x00021] = 0x21, -- !
108--  [0x00028] = 0x28, -- (
109--  [0x00029] = 0x29, -- )
110--  [0x0002B] = 0x2B, -- +
111--  [0x0002F] = 0x2F, -- /
112--  [0x0003A] = 0x3A, -- :
113--  [0x02236] = 0x3A, -- colon
114--  [0x0003B] = 0x3B, -- ;
115--  [0x0003C] = 0x3C, -- <
116--  [0x0003D] = 0x3D, -- =
117--  [0x0003E] = 0x3E, -- >
118--  [0x0003F] = 0x3F, -- ?
119    [
0x00391
]
 =
 0x41
,
 -- Alpha
120    [
0x00392
]
 =
 0x42
,
 -- Beta
121    [
0x02145
]
 =
 0x44
,
122    [
0x00395
]
 =
 0x45
,
 -- Epsilon
123    [
0x00397
]
 =
 0x48
,
 -- Eta
124    [
0x00399
]
 =
 0x49
,
 -- Iota
125    [
0x0039A
]
 =
 0x4B
,
 -- Kappa
126    [
0x0039C
]
 =
 0x4D
,
 -- Mu
127    [
0x0039D
]
 =
 0x4E
,
 -- Nu
128    [
0x0039F
]
 =
 0x4F
,
 -- Omicron
129    [
0x003A1
]
 =
 0x52
,
 -- Rho
130    [
0x003A4
]
 =
 0x54
,
 -- Tau
131    [
0x003A7
]
 =
 0x58
,
 -- Chi
132    [
0x00396
]
 =
 0x5A
,
 -- Zeta
133--  [0x0005B] = 0x5B, -- [
134--  [0x0005D] = 0x5D, -- ]
135--  [0x0005E] = 0x5E, -- [math]hat -- the text one
136    [
0x00302
]
 =
 0x5E
,
 -- [math]hat -- the real math one
137--  [0x002D9] = 0x5F, -- [math]dot
138    [
0x02146
]
 =
 0x64
,
139    [
0x02147
]
 =
 0x65
,
140--  [0x002DC] = 0x7E, -- [math]tilde -- the text one
141    [
0x00303
]
 =
 0x7E
,
 -- [math]tilde -- the real one
142--  [0x000A8] = 0x7F, -- [math]ddot
143}
144
145mathencodings
[
"
tex-mr-missing
"
]
 =
 {
146    [
0x02236
]
 =
 0x3A
,
 -- colon
147}
148
149mathencodings
[
"
tex-mi
"
]
 =
 {
150    [
0x1D6E4
]
 =
 0x00
,
 -- Gamma
151    [
0x1D6E5
]
 =
 0x01
,
 -- Delta
152    [
0x1D6E9
]
 =
 0x02
,
 -- Theta
153    [
0x1D6F3
]
 =
 0x02
,
 -- varTheta (not present in TeX)
154    [
0x1D6EC
]
 =
 0x03
,
 -- Lambda
155    [
0x1D6EF
]
 =
 0x04
,
 -- Xi
156    [
0x1D6F1
]
 =
 0x05
,
 -- Pi
157    [
0x1D6F4
]
 =
 0x06
,
 -- Sigma
158    [
0x1D6F6
]
 =
 0x07
,
 -- Upsilon
159    [
0x1D6F7
]
 =
 0x08
,
 -- Phi
160    [
0x1D6F9
]
 =
 0x09
,
 -- Psi
161    [
0x1D6FA
]
 =
 0x0A
,
 -- Omega
162    [
0x1D6FC
]
 =
 0x0B
,
 -- alpha
163    [
0x1D6FD
]
 =
 0x0C
,
 -- beta
164    [
0x1D6FE
]
 =
 0x0D
,
 -- gamma
165    [
0x1D6FF
]
 =
 0x0E
,
 -- delta
166    [
0x1D716
]
 =
 0x0F
,
 -- epsilon TODO: 1D716
167    [
0x1D701
]
 =
 0x10
,
 -- zeta
168    [
0x1D702
]
 =
 0x11
,
 -- eta
169    [
0x1D703
]
 =
 0x12
,
 -- theta TODO: 1D703
170    [
0x1D704
]
 =
 0x13
,
 -- iota
171    [
0x1D705
]
 =
 0x14
,
 -- kappa
172    [
0x1D718
]
 =
 0x14
,
 -- varkappa, not in tex fonts
173    [
0x1D706
]
 =
 0x15
,
 -- lambda
174    [
0x1D707
]
 =
 0x16
,
 -- mu
175    [
0x1D708
]
 =
 0x17
,
 -- nu
176    [
0x1D709
]
 =
 0x18
,
 -- xi
177    [
0x1D70B
]
 =
 0x19
,
 -- pi
178    [
0x1D70C
]
 =
 0x1A
,
 -- rho
179    [
0x1D70E
]
 =
 0x1B
,
 -- sigma
180    [
0x1D70F
]
 =
 0x1C
,
 -- tau
181    [
0x1D710
]
 =
 0x1D
,
 -- upsilon
182    [
0x1D719
]
 =
 0x1E
,
 -- phi
183    [
0x1D712
]
 =
 0x1F
,
 -- chi
184    [
0x1D713
]
 =
 0x20
,
 -- psi
185    [
0x1D714
]
 =
 0x21
,
 -- omega
186    [
0x1D700
]
 =
 0x22
,
 -- varepsilon (the other way around)
187    [
0x1D717
]
 =
 0x23
,
 -- vartheta
188    [
0x1D71B
]
 =
 0x24
,
 -- varpi
189    [
0x1D71A
]
 =
 0x25
,
 -- varrho
190    [
0x1D70D
]
 =
 0x26
,
 -- varsigma
191    [
0x1D711
]
 =
 0x27
,
 -- varphi (the other way around)
192    [
0x021BC
]
 =
 0x28
,
 -- leftharpoonup
193    [
0x021BD
]
 =
 0x29
,
 -- leftharpoondown
194    [
0x021C0
]
 =
 0x2A
,
 -- rightharpoonup
195    [
0x021C1
]
 =
 0x2B
,
 -- rightharpoondown
196    [
0xFE322
]
 =
 0x2C
,
 -- lhook (hook for combining arrows)
197    [
0xFE323
]
 =
 0x2D
,
 -- rhook (hook for combining arrows)
198    [
0x025B7
]
 =
 0x2E
,
 -- triangleright : cf lmmath / BJ
199    [
0x025C1
]
 =
 0x2F
,
 -- triangleleft  : cf lmmath / BJ
200    [
0x022B3
]
 =
 0x2E
,
 -- triangleright : cf lmmath this a cramped triangles / BJ / see *
201    [
0x022B2
]
 =
 0x2F
,
 -- triangleleft  : cf lmmath this a cramped triangles / BJ / see *
202--  [0x00041] = 0x30, -- 0
203--  [0x00041] = 0x31, -- 1
204--  [0x00041] = 0x32, -- 2
205--  [0x00041] = 0x33, -- 3
206--  [0x00041] = 0x34, -- 4
207--  [0x00041] = 0x35, -- 5
208--  [0x00041] = 0x36, -- 6
209--  [0x00041] = 0x37, -- 7
210--  [0x00041] = 0x38, -- 8
211--  [0x00041] = 0x39, -- 9
212--~     [0x0002E] = 0x3A, -- .
213    [
0x0002C
]
 =
 0x3B
,
 -- ,
214    [
0x0003C
]
 =
 0x3C
,
 -- <
215--  [0x0002F] = 0x3D, -- /, slash, solidus
216    [
0x02044
]
 =
 0x3D
,
 -- / AM: Not sure
217    [
0x0003E
]
 =
 0x3E
,
 -- >
218    [
0x022C6
]
 =
 0x3F
,
 -- star
219    [
0x02202
]
 =
 0x40
,
 -- partial
220--
221    [
0x0266D
]
 =
 0x5B
,
 -- flat
222    [
0x0266E
]
 =
 0x5C
,
 -- natural
223    [
0x0266F
]
 =
 0x5D
,
 -- sharp
224    [
0x02323
]
 =
 0x5E
,
 -- smile
225    [
0x02322
]
 =
 0x5F
,
 -- frown
226    [
0x02113
]
 =
 0x60
,
 -- ell
227--
228    [
0x1D6A4
]
 =
 0x7B
,
 -- imath (TODO: also 0131)
229    [
0x1D6A5
]
 =
 0x7C
,
 -- jmath (TODO: also 0237)
230    [
0x02118
]
 =
 0x7D
,
 -- wp
231    [
0x020D7
]
 =
 0x7E
,
 -- vec (TODO: not sure)
232--              0x7F, -- (no idea what that could be)
233}
234
235mathencodings
[
"
tex-it
"
]
 =
 {
236--  [0x1D434] = 0x41, -- A
237    [
0x1D6E2
]
 =
 0x41
,
 -- Alpha
238--  [0x1D435] = 0x42, -- B
239    [
0x1D6E3
]
 =
 0x42
,
 -- Beta
240--  [0x1D436] = 0x43, -- C
241--  [0x1D437] = 0x44, -- D
242--  [0x1D438] = 0x45, -- E
243    [
0x1D6E6
]
 =
 0x45
,
 -- Epsilon
244--  [0x1D439] = 0x46, -- F
245--  [0x1D43A] = 0x47, -- G
246--  [0x1D43B] = 0x48, -- H
247    [
0x1D6E8
]
 =
 0x48
,
 -- Eta
248--  [0x1D43C] = 0x49, -- I
249    [
0x1D6EA
]
 =
 0x49
,
 -- Iota
250--  [0x1D43D] = 0x4A, -- J
251--  [0x1D43E] = 0x4B, -- K
252    [
0x1D6EB
]
 =
 0x4B
,
 -- Kappa
253--  [0x1D43F] = 0x4C, -- L
254--  [0x1D440] = 0x4D, -- M
255    [
0x1D6ED
]
 =
 0x4D
,
 -- Mu
256--  [0x1D441] = 0x4E, -- N
257    [
0x1D6EE
]
 =
 0x4E
,
 -- Nu
258--  [0x1D442] = 0x4F, -- O
259    [
0x1D6F0
]
 =
 0x4F
,
 -- Omicron
260--  [0x1D443] = 0x50, -- P
261    [
0x1D6F2
]
 =
 0x50
,
 -- Rho
262--  [0x1D444] = 0x51, -- Q
263--  [0x1D445] = 0x52, -- R
264--  [0x1D446] = 0x53, -- S
265--  [0x1D447] = 0x54, -- T
266    [
0x1D6F5
]
 =
 0x54
,
 -- Tau
267--  [0x1D448] = 0x55, -- U
268--  [0x1D449] = 0x56, -- V
269--  [0x1D44A] = 0x57, -- W
270--  [0x1D44B] = 0x58, -- X
271    [
0x1D6F8
]
 =
 0x58
,
 -- Chi
272--  [0x1D44C] = 0x59, -- Y
273--  [0x1D44D] = 0x5A, -- Z
274--
275--  [0x1D44E] = 0x61, -- a
276--  [0x1D44F] = 0x62, -- b
277--  [0x1D450] = 0x63, -- c
278--  [0x1D451] = 0x64, -- d
279--  [0x1D452] = 0x65, -- e
280--  [0x1D453] = 0x66, -- f
281--  [0x1D454] = 0x67, -- g
282--  [0x1D455] = 0x68, -- h
283    [
0x0210E
]
 =
 0x68
,
 -- Planck constant (h)
284--  [0x1D456] = 0x69, -- i
285--  [0x1D457] = 0x6A, -- j
286--  [0x1D458] = 0x6B, -- k
287--  [0x1D459] = 0x6C, -- l
288--  [0x1D45A] = 0x6D, -- m
289--  [0x1D45B] = 0x6E, -- n
290--  [0x1D45C] = 0x6F, -- o
291    [
0x1D70A
]
 =
 0x6F
,
 -- omicron
292--  [0x1D45D] = 0x70, -- p
293--  [0x1D45E] = 0x71, -- q
294--  [0x1D45F] = 0x72, -- r
295--  [0x1D460] = 0x73, -- s
296--  [0x1D461] = 0x74, -- t
297--  [0x1D462] = 0x75, -- u
298--  [0x1D463] = 0x76, -- v
299--  [0x1D464] = 0x77, -- w
300--  [0x1D465] = 0x78, -- x
301--  [0x1D466] = 0x79, -- y
302--  [0x1D467] = 0x7A, -- z
303}
304
305mathencodings
[
"
tex-ss
"
]
           =
 {
 }
306mathencodings
[
"
tex-tt
"
]
           =
 {
 }
307mathencodings
[
"
tex-bf
"
]
           =
 {
 }
308mathencodings
[
"
tex-bi
"
]
           =
 {
 }
309mathencodings
[
"
tex-fraktur
"
]
      =
 {
 }
310mathencodings
[
"
tex-fraktur-bold
"
]
 =
 {
 }
311
312mathencodings
[
"
tex-sy
"
]
 =
 {
313    [
0x0002D
]
 =
 0x00
,
 -- -
314    [
0x02212
]
 =
 0x00
,
 -- -
315--  [0x02201] = 0x00, -- complement
316--  [0x02206] = 0x00, -- increment
317--  [0x02204] = 0x00, -- not exists
318--  [0x000B7] = 0x01, -- cdot
319    [
0x022C5
]
 =
 0x01
,
 -- cdot
320    [
0x000D7
]
 =
 0x02
,
 -- times
321    [
0x0002A
]
 =
 0x03
,
 -- *
322    [
0x02217
]
 =
 0x03
,
 -- *
323    [
0x000F7
]
 =
 0x04
,
 -- div
324    [
0x022C4
]
 =
 0x05
,
 -- diamond
325    [
0x000B1
]
 =
 0x06
,
 -- pm
326    [
0x02213
]
 =
 0x07
,
 -- mp
327    [
0x02295
]
 =
 0x08
,
 -- oplus
328    [
0x02296
]
 =
 0x09
,
 -- ominus
329    [
0x02297
]
 =
 0x0A
,
 -- otimes
330    [
0x02298
]
 =
 0x0B
,
 -- oslash
331    [
0x02299
]
 =
 0x0C
,
 -- odot
332    [
0x025EF
]
 =
 0x0D
,
 -- bigcirc, Orb (either 25EF or 25CB) -- todo
333    [
0x02218
]
 =
 0x0E
,
 -- circ
334    [
0x02219
]
 =
 0x0F
,
 -- bullet
335    [
0x02022
]
 =
 0x0F
,
 -- bullet
336    [
0x0224D
]
 =
 0x10
,
 -- asymp
337    [
0x02261
]
 =
 0x11
,
 -- equiv
338    [
0x02286
]
 =
 0x12
,
 -- subseteq
339    [
0x02287
]
 =
 0x13
,
 -- supseteq
340    [
0x02264
]
 =
 0x14
,
 -- leq
341    [
0x02265
]
 =
 0x15
,
 -- geq
342    [
0x02AAF
]
 =
 0x16
,
 -- preceq
343--  [0x0227C] = 0x16, -- preceq, AM:No see 2AAF
344    [
0x02AB0
]
 =
 0x17
,
 -- succeq
345--  [0x0227D] = 0x17, -- succeq, AM:No see 2AB0
346    [
0x0223C
]
 =
 0x18
,
 -- sim
347    [
0x02248
]
 =
 0x19
,
 -- approx
348    [
0x02282
]
 =
 0x1A
,
 -- subset
349    [
0x02283
]
 =
 0x1B
,
 -- supset
350    [
0x0226A
]
 =
 0x1C
,
 -- ll
351    [
0x0226B
]
 =
 0x1D
,
 -- gg
352    [
0x0227A
]
 =
 0x1E
,
 -- prec
353    [
0x0227B
]
 =
 0x1F
,
 -- succ
354    [
0x02190
]
 =
 0x20
,
 -- leftarrow
355    [
0x02192
]
 =
 0x21
,
 -- rightarrow
356--~ [0xFE190] = 0x20, -- leftarrow
357--~ [0xFE192] = 0x21, -- rightarrow
358    [
0x02191
]
 =
 0x22
,
 -- uparrow
359    [
0x02193
]
 =
 0x23
,
 -- downarrow
360    [
0x02194
]
 =
 0x24
,
 -- leftrightarrow
361    [
0x02197
]
 =
 0x25
,
 -- nearrow
362    [
0x02198
]
 =
 0x26
,
 -- searrow
363    [
0x02243
]
 =
 0x27
,
 -- simeq
364    [
0x021D0
]
 =
 0x28
,
 -- Leftarrow
365    [
0x021D2
]
 =
 0x29
,
 -- Rightarrow
366    [
0x021D1
]
 =
 0x2A
,
 -- Uparrow
367    [
0x021D3
]
 =
 0x2B
,
 -- Downarrow
368    [
0x021D4
]
 =
 0x2C
,
 -- Leftrightarrow
369    [
0x02196
]
 =
 0x2D
,
 -- nwarrow
370    [
0x02199
]
 =
 0x2E
,
 -- swarrow
371    [
0x0221D
]
 =
 0x2F
,
 -- propto
372    [
0x02032
]
 =
 0x30
,
 -- prime
373    [
0x0221E
]
 =
 0x31
,
 -- infty
374    [
0x02208
]
 =
 0x32
,
 -- in
375    [
0x0220B
]
 =
 0x33
,
 -- ni
376    [
0x025B3
]
 =
 0x34
,
 -- triangle, bigtriangleup
377    [
0x025BD
]
 =
 0x35
,
 -- bigtriangledown
378    [
0x00338
]
 =
 0x36
,
 -- not
379--              0x37, -- (beginning of arrow)
380    [
0x02200
]
 =
 0x38
,
 -- forall
381    [
0x02203
]
 =
 0x39
,
 -- exists
382    [
0x000AC
]
 =
 0x3A
,
 -- neg, lnot
383    [
0x02205
]
 =
 0x3B
,
 -- empty set
384    [
0x0211C
]
 =
 0x3C
,
 -- Re
385    [
0x02111
]
 =
 0x3D
,
 -- Im
386    [
0x022A4
]
 =
 0x3E
,
 -- top
387    [
0x022A5
]
 =
 0x3F
,
 -- bot, perp
388    [
0x02135
]
 =
 0x40
,
 -- aleph
389    [
0x1D49C
]
 =
 0x41
,
 -- script A
390    [
0x0212C
]
 =
 0x42
,
 -- script B
391    [
0x1D49E
]
 =
 0x43
,
 -- script C
392    [
0x1D49F
]
 =
 0x44
,
 -- script D
393    [
0x02130
]
 =
 0x45
,
 -- script E
394    [
0x02131
]
 =
 0x46
,
 -- script F
395    [
0x1D4A2
]
 =
 0x47
,
 -- script G
396    [
0x0210B
]
 =
 0x48
,
 -- script H
397    [
0x02110
]
 =
 0x49
,
 -- script I
398    [
0x1D4A5
]
 =
 0x4A
,
 -- script J
399    [
0x1D4A6
]
 =
 0x4B
,
 -- script K
400    [
0x02112
]
 =
 0x4C
,
 -- script L
401    [
0x02133
]
 =
 0x4D
,
 -- script M
402    [
0x1D4A9
]
 =
 0x4E
,
 -- script N
403    [
0x1D4AA
]
 =
 0x4F
,
 -- script O
404    [
0x1D4AB
]
 =
 0x50
,
 -- script P
405    [
0x1D4AC
]
 =
 0x51
,
 -- script Q
406    [
0x0211B
]
 =
 0x52
,
 -- script R
407    [
0x1D4AE
]
 =
 0x53
,
 -- script S
408    [
0x1D4AF
]
 =
 0x54
,
 -- script T
409    [
0x1D4B0
]
 =
 0x55
,
 -- script U
410    [
0x1D4B1
]
 =
 0x56
,
 -- script V
411    [
0x1D4B2
]
 =
 0x57
,
 -- script W
412    [
0x1D4B3
]
 =
 0x58
,
 -- script X
413    [
0x1D4B4
]
 =
 0x59
,
 -- script Y
414    [
0x1D4B5
]
 =
 0x5A
,
 -- script Z
415    [
0x0222A
]
 =
 0x5B
,
 -- cup
416    [
0x02229
]
 =
 0x5C
,
 -- cap
417    [
0x0228E
]
 =
 0x5D
,
 -- uplus
418    [
0x02227
]
 =
 0x5E
,
 -- wedge, land
419    [
0x02228
]
 =
 0x5F
,
 -- vee, lor
420    [
0x022A2
]
 =
 0x60
,
 -- vdash
421    [
0x022A3
]
 =
 0x61
,
 -- dashv
422    [
0x0230A
]
 =
 0x62
,
 -- lfloor
423    [
0x0230B
]
 =
 0x63
,
 -- rfloor
424    [
0x02308
]
 =
 0x64
,
 -- lceil
425    [
0x02309
]
 =
 0x65
,
 -- rceil
426    [
0x0007B
]
 =
 0x66
,
 -- {, lbrace
427    [
0x0007D
]
 =
 0x67
,
 -- }, rbrace
428    [
0x027E8
]
 =
 0x68
,
 -- <, langle
429    [
0x027E9
]
 =
 0x69
,
 -- >, rangle
430    [
0x0007C
]
 =
 0x6A
,
 -- |, mid, lvert, rvert
431    [
0x02225
]
 =
 0x6B
,
 -- parallel
432 -- [0x0 ] = 0x00, -- Vert, lVert, rVert, arrowvert, Arrowvert
433    [
0x02195
]
 =
 0x6C
,
 -- updownarrow
434    [
0x021D5
]
 =
 0x6D
,
 -- Updownarrow
435    [
0x0005C
]
 =
 0x6E
,
 -- \, backslash, setminus
436    [
0x02216
]
 =
 0x6E
,
 -- setminus
437    [
0x02240
]
 =
 0x6F
,
 -- wr
438    [
0x0221A
]
 =
 0x70
,
 -- sqrt. AM: Check surd??
439    [
0x02A3F
]
 =
 0x71
,
 -- amalg
440    [
0x1D6FB
]
 =
 0x72
,
 -- nabla
441--  [0x0222B] = 0x73, -- smallint (TODO: what about intop?)
442    [
0x02294
]
 =
 0x74
,
 -- sqcup
443    [
0x02293
]
 =
 0x75
,
 -- sqcap
444    [
0x02291
]
 =
 0x76
,
 -- sqsubseteq
445    [
0x02292
]
 =
 0x77
,
 -- sqsupseteq
446    [
0x000A7
]
 =
 0x78
,
 -- S
447    [
0x02020
]
 =
 0x79
,
 -- dagger, dag
448    [
0x02021
]
 =
 0x7A
,
 -- ddagger, ddag
449    [
0x000B6
]
 =
 0x7B
,
 -- P
450    [
0x02663
]
 =
 0x7C
,
 -- clubsuit
451    [
0x02662
]
 =
 0x7D
,
 -- diamondsuit
452    [
0x02661
]
 =
 0x7E
,
 -- heartsuit
453    [
0x02660
]
 =
 0x7F
,
 -- spadesuit
454    [
0xFE321
]
 =
 0x37
,
 -- mapstochar
455
456    [
0xFE325
]
 =
 0x30
,
 -- prime 0x02032
457}
458
459-- The names in masm10.enc can be trusted best and are shown in the first
460-- column, while in the second column we show the tex/ams names. As usual
461-- it costs hours to figure out such a table.
462
463mathencodings
[
"
tex-ma
"
]
 =
 {
464    [
0x022A1
]
 =
 0x00
,
 -- squaredot             \boxdot
465    [
0x0229E
]
 =
 0x01
,
 -- squareplus            \boxplus
466    [
0x022A0
]
 =
 0x02
,
 -- squaremultiply        \boxtimes
467    [
0x025A1
]
 =
 0x03
,
 -- square                \square \Box
468    [
0x025A0
]
 =
 0x04
,
 -- squaresolid           \blacksquare
469    [
0x025AA
]
 =
 0x05
,
 -- squaresmallsolid      \centerdot
470    [
0x022C4
]
 =
 0x06
,
 -- diamond               \Diamond \lozenge
471    [
0x02666
]
 =
 0x07
,
 -- diamondsolid          \blacklozenge
472    [
0x021BB
]
 =
 0x08
,
 -- clockwise             \circlearrowright
473    [
0x021BA
]
 =
 0x09
,
 -- anticlockwise         \circlearrowleft
474    [
0x021CC
]
 =
 0x0A
,
 -- harpoonleftright      \rightleftharpoons
475    [
0x021CB
]
 =
 0x0B
,
 -- harpoonrightleft      \leftrightharpoons
476    [
0x0229F
]
 =
 0x0C
,
 -- squareminus           \boxminus
477    [
0x022A9
]
 =
 0x0D
,
 -- forces                \Vdash
478    [
0x022AA
]
 =
 0x0E
,
 -- forcesbar             \Vvdash
479    [
0x022A8
]
 =
 0x0F
,
 -- satisfies             \vDash
480    [
0x021A0
]
 =
 0x10
,
 -- dblarrowheadright     \twoheadrightarrow
481    [
0x0219E
]
 =
 0x11
,
 -- dblarrowheadleft      \twoheadleftarrow
482    [
0x021C7
]
 =
 0x12
,
 -- dblarrowleft          \leftleftarrows
483    [
0x021C9
]
 =
 0x13
,
 -- dblarrowright         \rightrightarrows
484    [
0x021C8
]
 =
 0x14
,
 -- dblarrowup            \upuparrows
485    [
0x021CA
]
 =
 0x15
,
 -- dblarrowdwn           \downdownarrows
486    [
0x021BE
]
 =
 0x16
,
 -- harpoonupright        \upharpoonright \restriction
487    [
0x021C2
]
 =
 0x17
,
 -- harpoondownright      \downharpoonright
488    [
0x021BF
]
 =
 0x18
,
 -- harpoonupleft         \upharpoonleft
489    [
0x021C3
]
 =
 0x19
,
 -- harpoondownleft       \downharpoonleft
490    [
0x021A3
]
 =
 0x1A
,
 -- arrowtailright        \rightarrowtail
491    [
0x021A2
]
 =
 0x1B
,
 -- arrowtailleft         \leftarrowtail
492    [
0x021C6
]
 =
 0x1C
,
 -- arrowparrleftright    \leftrightarrows
493--  [0x021C5] = 0x00, --                       \updownarrows (missing in lm)
494    [
0x021C4
]
 =
 0x1D
,
 -- arrowparrrightleft    \rightleftarrows
495    [
0x021B0
]
 =
 0x1E
,
 -- shiftleft             \Lsh
496    [
0x021B1
]
 =
 0x1F
,
 -- shiftright            \Rsh
497    [
0x021DD
]
 =
 0x20
,
 -- squiggleright         \leadsto \rightsquigarrow
498    [
0x021AD
]
 =
 0x21
,
 -- squiggleleftright     \leftrightsquigarrow
499    [
0x021AB
]
 =
 0x22
,
 -- curlyleft             \looparrowleft
500    [
0x021AC
]
 =
 0x23
,
 -- curlyright            \looparrowright
501    [
0x02257
]
 =
 0x24
,
 -- circleequal           \circeq
502    [
0x0227F
]
 =
 0x25
,
 -- followsorequal        \succsim
503    [
0x02273
]
 =
 0x26
,
 -- greaterorsimilar      \gtrsim
504    [
0x02A86
]
 =
 0x27
,
 -- greaterorapproxeql    \gtrapprox
505    [
0x022B8
]
 =
 0x28
,
 -- multimap              \multimap
506    [
0x02234
]
 =
 0x29
,
 -- therefore             \therefore
507    [
0x02235
]
 =
 0x2A
,
 -- because               \because
508    [
0x02251
]
 =
 0x2B
,
 -- equalsdots            \Doteq \doteqdot
509    [
0x0225C
]
 =
 0x2C
,
 -- defines               \triangleq
510    [
0x0227E
]
 =
 0x2D
,
 -- precedesorequal       \precsim
511    [
0x02272
]
 =
 0x2E
,
 -- lessorsimilar         \lesssim
512    [
0x02A85
]
 =
 0x2F
,
 -- lessorapproxeql       \lessapprox
513    [
0x02A95
]
 =
 0x30
,
 -- equalorless           \eqslantless
514    [
0x02A96
]
 =
 0x31
,
 -- equalorgreater        \eqslantgtr
515    [
0x022DE
]
 =
 0x32
,
 -- equalorprecedes       \curlyeqprec
516    [
0x022DF
]
 =
 0x33
,
 -- equalorfollows        \curlyeqsucc
517    [
0x0227C
]
 =
 0x34
,
 -- precedesorcurly       \preccurlyeq
518    [
0x02266
]
 =
 0x35
,
 -- lessdblequal          \leqq
519    [
0x02A7D
]
 =
 0x36
,
 -- lessorequalslant      \leqslant
520    [
0x02276
]
 =
 0x37
,
 -- lessorgreater         \lessgtr
521    [
0x02035
]
 =
 0x38
,
 -- primereverse          \backprime
522    --  [0x0] = 0x39, -- axisshort             \dabar
523    [
0x02253
]
 =
 0x3A
,
 -- equaldotrightleft     \risingdotseq
524    [
0x02252
]
 =
 0x3B
,
 -- equaldotleftright     \fallingdotseq
525    [
0x0227D
]
 =
 0x3C
,
 -- followsorcurly        \succcurlyeq
526    [
0x02267
]
 =
 0x3D
,
 -- greaterdblequal       \geqq
527    [
0x02A7E
]
 =
 0x3E
,
 -- greaterorequalslant   \geqslant
528    [
0x02277
]
 =
 0x3F
,
 -- greaterorless         \gtrless
529    [
0x0228F
]
 =
 0x40
,
 -- squareimage           \sqsubset
530    [
0x02290
]
 =
 0x41
,
 -- squareoriginal        \sqsupset
531    -- wrong: see **
532 -- [0x022B3] = 0x42, -- triangleright         \rhd \vartriangleright
533 -- [0x022B2] = 0x43, -- triangleleft          \lhd \vartriangleleft
534    -- cf lm
535    [
0x022B5
]
 =
 0x44
,
 -- trianglerightequal    \unrhd \trianglerighteq
536    [
0x022B4
]
 =
 0x45
,
 -- triangleleftequal     \unlhd \trianglelefteq
537    --
538    [
0x02605
]
 =
 0x46
,
 -- star                  \bigstar
539    [
0x0226C
]
 =
 0x47
,
 -- between               \between
540    [
0x025BC
]
 =
 0x48
,
 -- triangledownsld       \blacktriangledown
541    [
0x025B6
]
 =
 0x49
,
 -- trianglerightsld      \blacktriangleright
542    [
0x025C0
]
 =
 0x4A
,
 -- triangleleftsld       \blacktriangleleft
543    --  [0x0] = 0x4B, -- arrowaxisright
544    --  [0x0] = 0x4C, -- arrowaxisleft
545    [
0x025B2
]
 =
 0x4D
,
 -- triangle              \triangleup \vartriangle
546    [
0x025B2
]
 =
 0x4E
,
 -- trianglesolid         \blacktriangle
547    [
0x025BD
]
 =
 0x4F
,
 -- triangleinv           \triangledown
548    [
0x02256
]
 =
 0x50
,
 -- ringinequal           \eqcirc
549    [
0x022DA
]
 =
 0x51
,
 -- lessequalgreater      \lesseqgtr
550    [
0x022DB
]
 =
 0x52
,
 -- greaterlessequal      \gtreqless
551    [
0x02A8B
]
 =
 0x53
,
 -- lessdbleqlgreater     \lesseqqgtr
552    [
0x02A8C
]
 =
 0x54
,
 -- greaterdbleqlless     \gtreqqless
553    [
0x000A5
]
 =
 0x55
,
 -- Yen                   \yen
554    [
0x021DB
]
 =
 0x56
,
 -- arrowtripleright      \Rrightarrow
555    [
0x021DA
]
 =
 0x57
,
 -- arrowtripleleft       \Lleftarrow
556    [
0x02713
]
 =
 0x58
,
 -- check                 \checkmark
557    [
0x022BB
]
 =
 0x59
,
 -- orunderscore          \veebar
558    [
0x022BC
]
 =
 0x5A
,
 -- nand                  \barwedge
559    [
0x02306
]
 =
 0x5B
,
 -- perpcorrespond        \doublebarwedge
560    [
0x02220
]
 =
 0x5C
,
 -- angle                 \angle
561    [
0x02221
]
 =
 0x5D
,
 -- measuredangle         \measuredangle
562    [
0x02222
]
 =
 0x5E
,
 -- sphericalangle        \sphericalangle
563    --  [0x0] = 0x5F, -- proportional          \varpropto
564    --  [0x0] = 0x60, -- smile                 \smallsmile
565    --  [0x0] = 0x61, -- frown                 \smallfrown
566    [
0x022D0
]
 =
 0x62
,
 -- subsetdbl             \Subset
567    [
0x022D1
]
 =
 0x63
,
 -- supersetdbl           \Supset
568    [
0x022D3
]
 =
 0x64
,
 -- uniondbl              \doublecup \Cup
569    [
0x022D2
]
 =
 0x65
,
 -- intersectiondbl       \doublecap \Cap
570    [
0x022CF
]
 =
 0x66
,
 -- uprise                \curlywedge
571    [
0x022CE
]
 =
 0x67
,
 -- downfall              \curlyvee
572    [
0x022CB
]
 =
 0x68
,
 -- multiopenleft         \leftthreetimes
573    [
0x022CC
]
 =
 0x69
,
 -- multiopenright        \rightthreetimes
574    [
0x02AC5
]
 =
 0x6A
,
 -- subsetdblequal        \subseteqq
575    [
0x02AC6
]
 =
 0x6B
,
 -- supersetdblequal      \supseteqq
576    [
0x0224F
]
 =
 0x6C
,
 -- difference            \bumpeq
577    [
0x0224E
]
 =
 0x6D
,
 -- geomequivalent        \Bumpeq
578    [
0x022D8
]
 =
 0x6E
,
 -- muchless              \lll \llless
579    [
0x022D9
]
 =
 0x6F
,
 -- muchgreater           \ggg \gggtr
580    [
0x0231C
]
 =
 0x70
,
 -- rightanglenw          \ulcorner
581    [
0x0231D
]
 =
 0x71
,
 -- rightanglene          \urcorner
582    [
0x024C7
]
 =
 0x72
,
 -- circleR               \circledR
583    [
0x024C8
]
 =
 0x73
,
 -- circleS               \circledS
584    [
0x022D4
]
 =
 0x74
,
 -- fork                  \pitchfork
585    [
0x02214
]
 =
 0x75
,
 -- dotplus               \dotplus
586    [
0x0223D
]
 =
 0x76
,
 -- revsimilar            \backsim
587    [
0x022CD
]
 =
 0x77
,
 -- revasymptequal        \backsimeq -- AM: Check this! I mapped it to simeq.
588    [
0x0231E
]
 =
 0x78
,
 -- rightanglesw          \llcorner
589    [
0x0231F
]
 =
 0x79
,
 -- rightanglese          \lrcorner
590    [
0x02720
]
 =
 0x7A
,
 -- maltesecross          \maltese
591    [
0x02201
]
 =
 0x7B
,
 -- complement            \complement
592    [
0x022BA
]
 =
 0x7C
,
 -- intercal              \intercal
593    [
0x0229A
]
 =
 0x7D
,
 -- circlering            \circledcirc
594    [
0x0229B
]
 =
 0x7E
,
 -- circleasterisk        \circledast
595    [
0x0229D
]
 =
 0x7F
,
 -- circleminus           \circleddash
596}
597
598mathencodings
[
"
tex-mb
"
]
 =
 {
599    --  [0x0] = 0x00, -- lessornotequal        \lvertneqq
600    --  [0x0] = 0x01, -- greaterornotequal     \gvertneqq
601    [
0x02270
]
 =
 0x02
,
 -- notlessequal          \nleq
602    [
0x02271
]
 =
 0x03
,
 -- notgreaterequal       \ngeq
603    [
0x0226E
]
 =
 0x04
,
 -- notless               \nless
604    [
0x0226F
]
 =
 0x05
,
 -- notgreater            \ngtr
605    [
0x02280
]
 =
 0x06
,
 -- notprecedes           \nprec
606    [
0x02281
]
 =
 0x07
,
 -- notfollows            \nsucc
607    [
0x02268
]
 =
 0x08
,
 -- lessornotdbleql       \lneqq
608    [
0x02269
]
 =
 0x09
,
 -- greaterornotdbleql    \gneqq
609    --  [0x0] = 0x0A, -- notlessorslnteql      \nleqslant
610    --  [0x0] = 0x0B, -- notgreaterorslnteql   \ngeqslant
611    [
0x02A87
]
 =
 0x0C
,
 -- lessnotequal          \lneq
612    [
0x02A88
]
 =
 0x0D
,
 -- greaternotequal       \gneq
613    --  [0x0] = 0x0E, -- notprecedesoreql      \npreceq
614    --  [0x0] = 0x0F, -- notfollowsoreql       \nsucceq
615    [
0x022E8
]
 =
 0x10
,
 -- precedeornoteqvlnt    \precnsim
616    [
0x022E9
]
 =
 0x11
,
 -- followornoteqvlnt     \succnsim
617    [
0x022E6
]
 =
 0x12
,
 -- lessornotsimilar      \lnsim
618    [
0x022E7
]
 =
 0x13
,
 -- greaterornotsimilar   \gnsim
619    --  [0x0] = 0x14, -- notlessdblequal       \nleqq
620    --  [0x0] = 0x15, -- notgreaterdblequal    \ngeqq
621    [
0x02AB5
]
 =
 0x16
,
 -- precedenotslnteql     \precneqq
622    [
0x02AB6
]
 =
 0x17
,
 -- follownotslnteql      \succneqq
623    [
0x02AB9
]
 =
 0x18
,
 -- precedenotdbleqv      \precnapprox
624    [
0x02ABA
]
 =
 0x19
,
 -- follownotdbleqv       \succnapprox
625    [
0x02A89
]
 =
 0x1A
,
 -- lessnotdblequal       \lnapprox
626    [
0x02A8A
]
 =
 0x1B
,
 -- greaternotdblequal    \gnapprox
627    [
0x02241
]
 =
 0x1C
,
 -- notsimilar            \nsim
628    [
0x02247
]
 =
 0x1D
,
 -- notapproxequal        \ncong
629    --  [0x0] = 0x1E, -- upslope               \diagup
630    --  [0x0] = 0x1F, -- downslope             \diagdown
631    --  [0x0] = 0x20, -- notsubsetoreql        \varsubsetneq
632    --  [0x0] = 0x21, -- notsupersetoreql      \varsupsetneq
633    --  [0x0] = 0x22, -- notsubsetordbleql     \nsubseteqq
634    --  [0x0] = 0x23, -- notsupersetordbleql   \nsupseteqq
635    [
0x02ACB
]
 =
 0x24
,
 -- subsetornotdbleql     \subsetneqq
636    [
0x02ACC
]
 =
 0x25
,
 -- supersetornotdbleql   \supsetneqq
637    --  [0x0] = 0x26, -- subsetornoteql        \varsubsetneqq
638    --  [0x0] = 0x27, -- supersetornoteql      \varsupsetneqq
639    [
0x0228A
]
 =
 0x28
,
 -- subsetnoteql          \subsetneq
640    [
0x0228B
]
 =
 0x29
,
 -- supersetnoteql        \supsetneq
641    [
0x02288
]
 =
 0x2A
,
 -- notsubseteql          \nsubseteq
642    [
0x02289
]
 =
 0x2B
,
 -- notsuperseteql        \nsupseteq
643    [
0x02226
]
 =
 0x2C
,
 -- notparallel           \nparallel
644    [
0x02224
]
 =
 0x2D
,
 -- notbar                \nmid \ndivides
645    --  [0x0] = 0x2E, -- notshortbar           \nshortmid
646    --  [0x0] = 0x2F, -- notshortparallel      \nshortparallel
647    [
0x022AC
]
 =
 0x30
,
 -- notturnstile          \nvdash
648    [
0x022AE
]
 =
 0x31
,
 -- notforces             \nVdash
649    [
0x022AD
]
 =
 0x32
,
 -- notsatisfies          \nvDash
650    [
0x022AF
]
 =
 0x33
,
 -- notforcesextra        \nVDash
651    [
0x022ED
]
 =
 0x34
,
 -- nottriangeqlright     \ntrianglerighteq
652    [
0x022EC
]
 =
 0x35
,
 -- nottriangeqlleft      \ntrianglelefteq
653    [
0x022EA
]
 =
 0x36
,
 -- nottriangleleft       \ntriangleleft
654    [
0x022EB
]
 =
 0x37
,
 -- nottriangleright      \ntriangleright
655    [
0x0219A
]
 =
 0x38
,
 -- notarrowleft          \nleftarrow
656    [
0x0219B
]
 =
 0x39
,
 -- notarrowright         \nrightarrow
657    [
0x021CD
]
 =
 0x3A
,
 -- notdblarrowleft       \nLeftarrow
658    [
0x021CF
]
 =
 0x3B
,
 -- notdblarrowright      \nRightarrow
659    [
0x021CE
]
 =
 0x3C
,
 -- notdblarrowboth       \nLeftrightarrow
660    [
0x021AE
]
 =
 0x3D
,
 -- notarrowboth          \nleftrightarrow
661    [
0x022C7
]
 =
 0x3E
,
 -- dividemultiply        \divideontimes
662    [
0x02300
]
 =
 0x3F
,
 -- diametersign          \varnothing
663    [
0x02204
]
 =
 0x40
,
 -- notexistential        \nexists
664    [
0x1D538
]
 =
 0x41
,
 -- A                     (blackboard A)
665    [
0x1D539
]
 =
 0x42
,
 -- B
666    [
0x02102
]
 =
 0x43
,
 -- C
667    [
0x1D53B
]
 =
 0x44
,
 -- D
668    [
0x1D53C
]
 =
 0x45
,
 -- E
669    [
0x1D53D
]
 =
 0x46
,
 -- F
670    [
0x1D53E
]
 =
 0x47
,
 -- G
671    [
0x0210D
]
 =
 0x48
,
 -- H
672    [
0x1D540
]
 =
 0x49
,
 -- I
673    [
0x1D541
]
 =
 0x4A
,
 -- J
674    [
0x1D542
]
 =
 0x4B
,
 -- K
675    [
0x1D543
]
 =
 0x4C
,
 -- L
676    [
0x1D544
]
 =
 0x4D
,
 -- M
677    [
0x02115
]
 =
 0x4E
,
 -- N
678    [
0x1D546
]
 =
 0x4F
,
 -- O
679    [
0x02119
]
 =
 0x50
,
 -- P
680    [
0x0211A
]
 =
 0x51
,
 -- Q
681    [
0x0211D
]
 =
 0x52
,
 -- R
682    [
0x1D54A
]
 =
 0x53
,
 -- S
683    [
0x1D54B
]
 =
 0x54
,
 -- T
684    [
0x1D54C
]
 =
 0x55
,
 -- U
685    [
0x1D54D
]
 =
 0x56
,
 -- V
686    [
0x1D54E
]
 =
 0x57
,
 -- W
687    [
0x1D54F
]
 =
 0x58
,
 -- X
688    [
0x1D550
]
 =
 0x59
,
 -- Y
689    [
0x02124
]
 =
 0x5A
,
 -- Z                     (blackboard Z)
690    [
0x02132
]
 =
 0x60
,
 -- finv                  \Finv
691    [
0x02141
]
 =
 0x61
,
 -- fmir                  \Game
692    --  [0x0] = 0x62,    tildewide
693    --  [0x0] = 0x63,    tildewider
694    --  [0x0] = 0x64,    Finv
695    --  [0x0] = 0x65,    Gmir
696    [
0x02127
]
 =
 0x66
,
 -- Omegainv              \mho
697    [
0x000F0
]
 =
 0x67
,
 -- eth                   \eth
698    [
0x02242
]
 =
 0x68
,
 -- equalorsimilar        \eqsim
699    [
0x02136
]
 =
 0x69
,
 -- beth                  \beth
700    [
0x02137
]
 =
 0x6A
,
 -- gimel                 \gimel
701    [
0x02138
]
 =
 0x6B
,
 -- daleth                \daleth
702    [
0x022D6
]
 =
 0x6C
,
 -- lessdot               \lessdot
703    [
0x022D7
]
 =
 0x6D
,
 -- greaterdot            \gtrdot
704    [
0x022C9
]
 =
 0x6E
,
 -- multicloseleft        \ltimes
705    [
0x022CA
]
 =
 0x6F
,
 -- multicloseright       \rtimes
706    --  [0x0] = 0x70, -- barshort              \shortmid
707    --  [0x0] = 0x71, -- parallelshort         \shortparallel
708    --  [0x02216] = 0x72, -- integerdivide         \smallsetminus (2216 already part of tex-sy
709    --  [0x0] = 0x73, -- similar               \thicksim
710    --  [0x0] = 0x74, -- approxequal           \thickapprox
711    [
0x0224A
]
 =
 0x75
,
 -- approxorequal         \approxeq
712    [
0x02AB8
]
 =
 0x76
,
 -- followsorequal        \succapprox
713    [
0x02AB7
]
 =
 0x77
,
 -- precedesorequal       \precapprox
714    [
0x021B6
]
 =
 0x78
,
 -- archleftdown          \curvearrowleft
715    [
0x021B7
]
 =
 0x79
,
 -- archrightdown         \curvearrowright
716    [
0x003DC
]
 =
 0x7A
,
 -- Digamma               \digamma
717    [
0x003F0
]
 =
 0x7B
,
 -- kappa                 \varkappa
718    [
0x1D55C
]
 =
 0x7C
,
 -- k                     \Bbbk (blackboard k)
719    [
0x0210F
]
 =
 0x7D
,
 -- planckover2pi         \hslash % 0x7D
720    [
0x00127
]
 =
 0x7E
,
 -- planckover2pi1        \hbar   % 0x7E
721    [
0x003F6
]
 =
 0x7F
,
 -- epsiloninv            \backepsilon
722}
723
724mathencodings
[
"
tex-mc
"
]
 =
 {
725    -- this file has no tfm so it gets mapped in the private space
726    [
0xFE324
]
 =
 "
mapsfromchar
"
,
727}
728
729mathencodings
[
"
tex-fraktur
"
]
 =
 {
730--  [0x1D504] = 0x41, -- A                     (fraktur A)
731--  [0x1D505] = 0x42, -- B
732    [
0x0212D
]
 =
 0x43
,
 -- C
733--  [0x1D507] = 0x44, -- D
734--  [0x1D508] = 0x45, -- E
735--  [0x1D509] = 0x46, -- F
736--  [0x1D50A] = 0x47, -- G
737    [
0x0210C
]
 =
 0x48
,
 -- H
738    [
0x02111
]
 =
 0x49
,
 -- I
739--  [0x1D50D] = 0x4A, -- J
740--  [0x1D50E] = 0x4B, -- K
741--  [0x1D50F] = 0x4C, -- L
742--  [0x1D510] = 0x4D, -- M
743--  [0x1D511] = 0x4E, -- N
744--  [0x1D512] = 0x4F, -- O
745--  [0x1D513] = 0x50, -- P
746--  [0x1D514] = 0x51, -- Q
747    [
0x0211C
]
 =
 0x52
,
 -- R
748--  [0x1D516] = 0x53, -- S
749--  [0x1D517] = 0x54, -- T
750--  [0x1D518] = 0x55, -- U
751--  [0x1D519] = 0x56, -- V
752--  [0x1D51A] = 0x57, -- W
753--  [0x1D51B] = 0x58, -- X
754--  [0x1D51C] = 0x59, -- Y
755    [
0x02128
]
 =
 0x5A
,
 -- Z                     (fraktur Z)
756--  [0x1D51E] = 0x61, -- a                     (fraktur a)
757--  [0x1D51F] = 0x62, -- b
758--  [0x1D520] = 0x63, -- c
759--  [0x1D521] = 0x64, -- d
760--  [0x1D522] = 0x65, -- e
761--  [0x1D523] = 0x66, -- f
762--  [0x1D524] = 0x67, -- g
763--  [0x1D525] = 0x68, -- h
764--  [0x1D526] = 0x69, -- i
765--  [0x1D527] = 0x6A, -- j
766--  [0x1D528] = 0x6B, -- k
767--  [0x1D529] = 0x6C, -- l
768--  [0x1D52A] = 0x6D, -- m
769--  [0x1D52B] = 0x6E, -- n
770--  [0x1D52C] = 0x6F, -- o
771--  [0x1D52D] = 0x70, -- p
772--  [0x1D52E] = 0x71, -- q
773--  [0x1D52F] = 0x72, -- r
774--  [0x1D530] = 0x73, -- s
775--  [0x1D531] = 0x74, -- t
776--  [0x1D532] = 0x75, -- u
777--  [0x1D533] = 0x76, -- v
778--  [0x1D534] = 0x77, -- w
779--  [0x1D535] = 0x78, -- x
780--  [0x1D536] = 0x79, -- y
781--  [0x1D537] = 0x7A, -- z
782}
783
784-- now that all other vectors are defined ...
785
786setletters
(
mathencodings
,
 "
tex-it
"
,
           0x1D434
,
 0x1D44E
)
787setletters
(
mathencodings
,
 "
tex-ss
"
,
           0x1D5A0
,
 0x1D5BA
)
788setletters
(
mathencodings
,
 "
tex-tt
"
,
           0x1D670
,
 0x1D68A
)
789setletters
(
mathencodings
,
 "
tex-bf
"
,
           0x1D400
,
 0x1D41A
)
790setletters
(
mathencodings
,
 "
tex-bi
"
,
           0x1D468
,
 0x1D482
)
791setletters
(
mathencodings
,
 "
tex-fraktur
"
,
      0x1D504
,
 0x1D51E
)
792setletters
(
mathencodings
,
 "
tex-fraktur-bold
"
,
 0x1D56C
,
 0x1D586
)
793
794setdigits
 (
mathencodings
,
 "
tex-ss
"
,
 0x1D7E2
)
795setdigits
 (
mathencodings
,
 "
tex-tt
"
,
 0x1D7F6
)
796setdigits
 (
mathencodings
,
 "
tex-bf
"
,
 0x1D7CE
)
797
798-- setdigits (mathencodings, "tex-bi", 0x1D7CE)
799
800-- todo: add ss, tt, bf etc vectors
801-- todo: we can make ss tt etc an option
802
Source Browser ?
