plurimath 0.1.0 → 0.2.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (110) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/test.yml +36 -0
  3. data/.rubocop.yml +2 -0
  4. data/lib/plurimath/asciimath/constants.rb +308 -0
  5. data/lib/plurimath/asciimath/parse.rb +87 -0
  6. data/lib/plurimath/asciimath/parser.rb +24 -0
  7. data/lib/plurimath/asciimath/transform.rb +304 -0
  8. data/lib/plurimath/asciimath.rb +16 -0
  9. data/lib/plurimath/html.rb +15 -0
  10. data/lib/plurimath/latex/constants.rb +1963 -0
  11. data/lib/plurimath/latex/parse.rb +105 -0
  12. data/lib/plurimath/latex/parser.rb +24 -0
  13. data/lib/plurimath/latex/transform.rb +298 -0
  14. data/lib/plurimath/latex.rb +15 -0
  15. data/lib/plurimath/math/formula.rb +43 -0
  16. data/lib/plurimath/math/function/abs.rb +12 -0
  17. data/lib/plurimath/math/function/arccos.rb +12 -0
  18. data/lib/plurimath/math/function/arcsin.rb +12 -0
  19. data/lib/plurimath/math/function/arctan.rb +12 -0
  20. data/lib/plurimath/math/function/bar.rb +16 -0
  21. data/lib/plurimath/math/function/base.rb +30 -0
  22. data/lib/plurimath/math/function/binary_function.rb +53 -0
  23. data/lib/plurimath/math/function/cancel.rb +12 -0
  24. data/lib/plurimath/math/function/ceil.rb +12 -0
  25. data/lib/plurimath/math/function/color.rb +23 -0
  26. data/lib/plurimath/math/function/cos.rb +12 -0
  27. data/lib/plurimath/math/function/cosh.rb +12 -0
  28. data/lib/plurimath/math/function/cot.rb +12 -0
  29. data/lib/plurimath/math/function/coth.rb +12 -0
  30. data/lib/plurimath/math/function/csc.rb +12 -0
  31. data/lib/plurimath/math/function/csch.rb +12 -0
  32. data/lib/plurimath/math/function/ddot.rb +12 -0
  33. data/lib/plurimath/math/function/deg.rb +12 -0
  34. data/lib/plurimath/math/function/det.rb +12 -0
  35. data/lib/plurimath/math/function/dim.rb +12 -0
  36. data/lib/plurimath/math/function/dot.rb +12 -0
  37. data/lib/plurimath/math/function/exp.rb +12 -0
  38. data/lib/plurimath/math/function/f.rb +12 -0
  39. data/lib/plurimath/math/function/fenced.rb +22 -0
  40. data/lib/plurimath/math/function/floor.rb +12 -0
  41. data/lib/plurimath/math/function/font_style.rb +45 -0
  42. data/lib/plurimath/math/function/frac.rb +23 -0
  43. data/lib/plurimath/math/function/g.rb +12 -0
  44. data/lib/plurimath/math/function/gcd.rb +12 -0
  45. data/lib/plurimath/math/function/glb.rb +12 -0
  46. data/lib/plurimath/math/function/hat.rb +12 -0
  47. data/lib/plurimath/math/function/hom.rb +12 -0
  48. data/lib/plurimath/math/function/inf.rb +18 -0
  49. data/lib/plurimath/math/function/int.rb +17 -0
  50. data/lib/plurimath/math/function/ker.rb +12 -0
  51. data/lib/plurimath/math/function/lcm.rb +12 -0
  52. data/lib/plurimath/math/function/left.rb +23 -0
  53. data/lib/plurimath/math/function/lg.rb +12 -0
  54. data/lib/plurimath/math/function/lim.rb +23 -0
  55. data/lib/plurimath/math/function/liminf.rb +12 -0
  56. data/lib/plurimath/math/function/limits.rb +19 -0
  57. data/lib/plurimath/math/function/limsup.rb +12 -0
  58. data/lib/plurimath/math/function/ln.rb +12 -0
  59. data/lib/plurimath/math/function/log.rb +23 -0
  60. data/lib/plurimath/math/function/lub.rb +12 -0
  61. data/lib/plurimath/math/function/max.rb +12 -0
  62. data/lib/plurimath/math/function/min.rb +12 -0
  63. data/lib/plurimath/math/function/mod.rb +23 -0
  64. data/lib/plurimath/math/function/norm.rb +15 -0
  65. data/lib/plurimath/math/function/obrace.rb +12 -0
  66. data/lib/plurimath/math/function/oint.rb +17 -0
  67. data/lib/plurimath/math/function/overset.rb +23 -0
  68. data/lib/plurimath/math/function/power.rb +30 -0
  69. data/lib/plurimath/math/function/power_base.rb +26 -0
  70. data/lib/plurimath/math/function/prod.rb +23 -0
  71. data/lib/plurimath/math/function/root.rb +22 -0
  72. data/lib/plurimath/math/function/sec.rb +12 -0
  73. data/lib/plurimath/math/function/sech.rb +12 -0
  74. data/lib/plurimath/math/function/sin.rb +12 -0
  75. data/lib/plurimath/math/function/sinh.rb +12 -0
  76. data/lib/plurimath/math/function/sqrt.rb +16 -0
  77. data/lib/plurimath/math/function/stackrel.rb +12 -0
  78. data/lib/plurimath/math/function/substack.rb +18 -0
  79. data/lib/plurimath/math/function/sum.rb +23 -0
  80. data/lib/plurimath/math/function/sup.rb +12 -0
  81. data/lib/plurimath/math/function/table.rb +42 -0
  82. data/lib/plurimath/math/function/tan.rb +12 -0
  83. data/lib/plurimath/math/function/tanh.rb +12 -0
  84. data/lib/plurimath/math/function/td.rb +27 -0
  85. data/lib/plurimath/math/function/ternary_function.rb +42 -0
  86. data/lib/plurimath/math/function/text.rb +32 -0
  87. data/lib/plurimath/math/function/tilde.rb +12 -0
  88. data/lib/plurimath/math/function/tr.rb +25 -0
  89. data/lib/plurimath/math/function/ubrace.rb +12 -0
  90. data/lib/plurimath/math/function/ul.rb +12 -0
  91. data/lib/plurimath/math/function/unary_function.rb +41 -0
  92. data/lib/plurimath/math/function/underover.rb +12 -0
  93. data/lib/plurimath/math/function/underset.rb +12 -0
  94. data/lib/plurimath/math/function/vec.rb +12 -0
  95. data/lib/plurimath/math/function.rb +3 -0
  96. data/lib/plurimath/math/number.rb +29 -0
  97. data/lib/plurimath/math/symbol.rb +34 -0
  98. data/lib/plurimath/math.rb +51 -0
  99. data/lib/plurimath/mathml/constants.rb +327 -0
  100. data/lib/plurimath/mathml/parse.rb +63 -0
  101. data/lib/plurimath/mathml/parser.rb +25 -0
  102. data/lib/plurimath/mathml/transform.rb +195 -0
  103. data/lib/plurimath/mathml.rb +16 -0
  104. data/lib/plurimath/omml.rb +15 -0
  105. data/lib/plurimath/unicode.rb +15 -0
  106. data/lib/plurimath/unitsml.rb +11 -0
  107. data/lib/plurimath/version.rb +3 -1
  108. data/lib/plurimath.rb +3 -5
  109. data/plurimath.gemspec +3 -3
  110. metadata +129 -11
@@ -0,0 +1,1963 @@
1
+ # frozen_string_literal: true
2
+
3
+ module Plurimath
4
+ class Latex
5
+ class Constants
6
+ UNARY_CLASSES = %w[
7
+ overline
8
+ substack
9
+ arccos
10
+ arcsin
11
+ arctan
12
+ limsup
13
+ liminf
14
+ sinh
15
+ coth
16
+ tanh
17
+ cosh
18
+ tan
19
+ cos
20
+ cot
21
+ csc
22
+ deg
23
+ det
24
+ dim
25
+ exp
26
+ gcd
27
+ max
28
+ min
29
+ sec
30
+ sin
31
+ hom
32
+ sup
33
+ ker
34
+ lg
35
+ ln
36
+ ].freeze
37
+ ENVIRONMENTS = {
38
+ "pmatrix" => "(",
39
+ "bmatrix" => "[",
40
+ "Bmatrix" => "{",
41
+ "vmatrix" => "|",
42
+ "Vmatrix" => "norm[",
43
+ "matrix" => nil,
44
+ "split" => nil,
45
+ "array" => nil,
46
+ }.freeze
47
+ SYMBOLS = %w[
48
+ leftrightharpoondowndown
49
+ shortrightarrowleftarrow
50
+ leftarrowshortrightarrow
51
+ rightarrowshortleftarrow
52
+ barleftarrowrightarrowba
53
+ downupharpoonsleftright
54
+ updownharpoonsleftright
55
+ updownharpoonrightright
56
+ nVtwoheadrightarrowtail
57
+ nvtwoheadrightarrowtail
58
+ concavediamondtickright
59
+ invwhitelowerhalfcircle
60
+ invwhiteupperhalfcircle
61
+ smallblacktriangleright
62
+ nVtwoheadleftarrowtail
63
+ nvtwoheadleftarrowtail
64
+ partialmeetcontraction
65
+ downtrianglerightblack
66
+ updownharpoonleftright
67
+ updownharpoonrightleft
68
+ leftrightharpoondownup
69
+ leftrightharpoonupdown
70
+ concavediamondtickleft
71
+ blackcircleulquadwhite
72
+ smallblacktriangleleft
73
+ leftrightarrowtriangle
74
+ closedvarcupsmashprod
75
+ blackdiamonddownarrow
76
+ downtriangleleftblack
77
+ rightleftharpoonsdown
78
+ leftrightharpoonsdown
79
+ downharpoonsleftright
80
+ updownharpoonleftleft
81
+ twoheadrightarrowtail
82
+ circlebottomhalfblack
83
+ rangledownzigzagarrow
84
+ barovernorthwestarrow
85
+ underrightharpoondown
86
+ rightarrowbackapprox
87
+ twoheadleftarrowtail
88
+ NestedGreaterGreater
89
+ blackcircledownarrow
90
+ dashrightharpoondown
91
+ leftrightharpoondown
92
+ leftrightharpoonupup
93
+ twoheaduparrowcircle
94
+ leftrightarrowcircle
95
+ curvearrowrightminus
96
+ rightdowncurvedarrow
97
+ downrightcurvedarrow
98
+ barrightarrowdiamond
99
+ whitesquaretickright
100
+ whiteinwhitetriangle
101
+ blackcircledrightdot
102
+ blackrighthalfcircle
103
+ circlerighthalfblack
104
+ bigblacktriangledown
105
+ CapitalDifferentialD
106
+ underleftharpoondown
107
+ leftarrowbackapprox
108
+ twoheadleftdbkarrow
109
+ dashleftharpoondown
110
+ rightleftharpoonsup
111
+ leftrightharpoonsup
112
+ rightharpoonsupdown
113
+ upharpoonsleftright
114
+ barrightharpoondown
115
+ bardownharpoonright
116
+ rightharpoondownbar
117
+ downharpoonrightbar
118
+ leftdowncurvedarrow
119
+ diamondleftarrowbar
120
+ nVtwoheadrightarrow
121
+ nvtwoheadrightarrow
122
+ longrightsquigarrow
123
+ whitesquaretickleft
124
+ blackcircledtwodots
125
+ blacklefthalfcircle
126
+ circlelefthalfblack
127
+ blackinwhitediamond
128
+ blockthreeqtrshaded
129
+ whitearrowupfrombar
130
+ leftrightsquigarrow
131
+ rightpentagonblack
132
+ bsimilarrightarrow
133
+ rightarrowbsimilar
134
+ nVtwoheadleftarrow
135
+ nvtwoheadleftarrow
136
+ longleftsquigarrow
137
+ errbarblackdiamond
138
+ circledwhitebullet
139
+ rightharpoonupdash
140
+ rightrightharpoons
141
+ leftharpoonsupdown
142
+ bardownharpoonleft
143
+ DownRightTeeVector
144
+ leftharpoondownbar
145
+ RightDownTeeVector
146
+ downharpoonleftbar
147
+ DownRightVectorBar
148
+ barleftharpoondown
149
+ RightDownVectorBar
150
+ rightupdownharpoon
151
+ leftrightharpoonup
152
+ ccwundercurvearrow
153
+ curvearrowleftplus
154
+ Longleftrightarrow
155
+ longleftrightarrow
156
+ trianglerightblack
157
+ inversewhitecircle
158
+ circletophalfblack
159
+ smalltriangleright
160
+ blacktriangleright
161
+ bigblacktriangleup
162
+ parallelogramblack
163
+ blackinwhitesquare
164
+ measuredrightangle
165
+ SucceedsSlantEqual
166
+ PrecedesSlantEqual
167
+ rightarrowtriangle
168
+ circleonrightarrow
169
+ upharpoonrightdown
170
+ acwopencirclearrow
171
+ overleftrightarrow
172
+ rightharpoonaccent
173
+ bsimilarleftarrow
174
+ leftarrowbsimilar
175
+ circleonleftarrow
176
+ diamondrightblack
177
+ errbarblackcircle
178
+ errbarblacksquare
179
+ measuredangleleft
180
+ rightarrowsimilar
181
+ similarrightarrow
182
+ leftharpoonupdash
183
+ LeftDownTeeVector
184
+ DownLeftTeeVector
185
+ upharpoonrightbar
186
+ barrightharpoonup
187
+ LeftDownVectorBar
188
+ DownLeftVectorBar
189
+ barupharpoonright
190
+ rightharpoonupbar
191
+ leftupdownharpoon
192
+ cwundercurvearrow
193
+ uprightcurvearrow
194
+ rightarrowdiamond
195
+ rightarrowonoplus
196
+ acwgapcirclearrow
197
+ triangleleftblack
198
+ circleurquadblack
199
+ smalltriangleleft
200
+ blacktriangleleft
201
+ smalltriangledown
202
+ blacktriangledown
203
+ whitepointerright
204
+ blackpointerright
205
+ varcarriagereturn
206
+ varhexagonlrbonds
207
+ vardoublebarwedge
208
+ kernelcontraction
209
+ leftarrowtriangle
210
+ rightleftharpoons
211
+ leftrightharpoons
212
+ upharpoonleftdown
213
+ cwopencirclearrow
214
+ twoheadrightarrow
215
+ leftharpoonaccent
216
+ similarleftarrow
217
+ rightarrowsupset
218
+ leftarrowonoplus
219
+ diamondleftblack
220
+ RightTriangleBar
221
+ sphericalangleup
222
+ rightarrowapprox
223
+ leftarrowsimilar
224
+ uprevequilibrium
225
+ downdownharpoons
226
+ leftleftharpoons
227
+ upharpoonleftbar
228
+ RightUpTeeVector
229
+ leftharpoonupbar
230
+ barupharpoonleft
231
+ RightUpVectorBar
232
+ barleftharpoonup
233
+ rightleftharpoon
234
+ leftrightharpoon
235
+ acwunderarcarrow
236
+ rightcurvedarrow
237
+ diamondleftarrow
238
+ nVrightarrowtail
239
+ nvrightarrowtail
240
+ nvLeftrightarrow
241
+ cwgapcirclearrow
242
+ squarerightblack
243
+ whitepointerleft
244
+ blackpointerleft
245
+ APLrightarrowbox
246
+ ntrianglerighteq
247
+ NotRightTriangle
248
+ multimapdotbothB
249
+ multimapdotbothA
250
+ vartriangleright
251
+ ointctrclockwise
252
+ varointclockwise
253
+ nVleftrightarrow
254
+ nvleftrightarrow
255
+ rightthreearrows
256
+ downarrowuparrow
257
+ rightrightarrows
258
+ uparrowdownarrow
259
+ downharpoonright
260
+ rightharpoondown
261
+ circlearrowright
262
+ twoheaddownarrow
263
+ twoheadleftarrow
264
+ leftarrowapprox
265
+ leftcurvedarrow
266
+ nVleftarrowtail
267
+ nvleftarrowtail
268
+ twoheadmapsfrom
269
+ leftthreearrows
270
+ varhexagonblack
271
+ diamondbotblack
272
+ diamondtopblack
273
+ bigtriangleleft
274
+ circledownarrow
275
+ LeftTriangleBar
276
+ uparrowoncircle
277
+ circledparallel
278
+ measangledltosw
279
+ measangledrtose
280
+ measangleultonw
281
+ measangleurtone
282
+ measangleldtosw
283
+ measanglerdtose
284
+ measanglelutonw
285
+ measanglerutone
286
+ leftarrowsubset
287
+ equalrightarrow
288
+ barrightharpoon
289
+ rightbarharpoon
290
+ LeftUpTeeVector
291
+ LeftUpVectorBar
292
+ acwoverarcarrow
293
+ acwleftarcarrow
294
+ cwrightarcarrow
295
+ downarrowbarred
296
+ circledrightdot
297
+ squareleftblack
298
+ urblacktriangle
299
+ ulblacktriangle
300
+ llblacktriangle
301
+ lrblacktriangle
302
+ bigtriangledown
303
+ smalltriangleup
304
+ blacktriangleup
305
+ vrectangleblack
306
+ hrectangleblack
307
+ squarecrossfill
308
+ blockhalfshaded
309
+ APLdownarrowbox
310
+ APLleftarrowbox
311
+ APLnotbackslash
312
+ ntrianglelefteq
313
+ NotLeftTriangle
314
+ rightthreetimes
315
+ trianglerighteq
316
+ vartriangleleft
317
+ NotGreaterTilde
318
+ rightwhitearrow
319
+ rightsquigarrow
320
+ nLeftrightarrow
321
+ leftrightarrows
322
+ rightleftarrows
323
+ downharpoonleft
324
+ upharpoonleftup
325
+ leftharpoondown
326
+ circlearrowleft
327
+ curvearrowright
328
+ downzigzagarrow
329
+ nleftrightarrow
330
+ underrightarrow
331
+ widebridgeabove
332
+ enclosetriangle
333
+ unicodeellipsis
334
+ enleadertwodots
335
+ equalleftarrow
336
+ squarebotblack
337
+ squaretopblack
338
+ NestedLessLess
339
+ wedgedoublebar
340
+ doublebarwedge
341
+ bigslopedwedge
342
+ mdlgblklozenge
343
+ blackhourglass
344
+ triangleserifs
345
+ rightanglemdot
346
+ downupharpoons
347
+ updownharpoons
348
+ barleftharpoon
349
+ leftbarharpoon
350
+ RightTeeVector
351
+ RightVectorBar
352
+ rightarrowplus
353
+ acwcirclearrow
354
+ rdiagovsearrow
355
+ fdiagovnearrow
356
+ Longmappedfrom
357
+ longmappedfrom
358
+ Longrightarrow
359
+ longrightarrow
360
+ concavediamond
361
+ rightouterjoin
362
+ circledtwodots
363
+ vardiamondsuit
364
+ circlevertfill
365
+ mdlgwhtlozenge
366
+ mdlgwhtdiamond
367
+ mdlgblkdiamond
368
+ squareneswfill
369
+ squarenwsefill
370
+ blockqtrshaded
371
+ blockrighthalf
372
+ harrowextender
373
+ vbraceextender
374
+ rbrackextender
375
+ lbrackextender
376
+ rparenextender
377
+ lparenextender
378
+ APLboxquestion
379
+ ntriangleright
380
+ leftthreetimes
381
+ trianglelefteq
382
+ NotGreaterLess
383
+ sphericalangle
384
+ downwhitearrow
385
+ leftwhitearrow
386
+ rightdasharrow
387
+ dashrightarrow
388
+ leftsquigarrow
389
+ Leftrightarrow
390
+ revequilibrium
391
+ downdownarrows
392
+ leftleftarrows
393
+ rightleftarrow
394
+ rightharpoonup
395
+ upharpoonright
396
+ curvearrowleft
397
+ carriagereturn
398
+ looparrowright
399
+ hookrightarrow
400
+ updownarrowbar
401
+ rightarrowtail
402
+ twoheaduparrow
403
+ rightwavearrow
404
+ leftrightarrow
405
+ underleftarrow
406
+ enclosediamond
407
+ ocommatopright
408
+ rightpentagon
409
+ rightarrowgtr
410
+ pentagonblack
411
+ vysmwhtsquare
412
+ vysmblksquare
413
+ squarellblack
414
+ squareurblack
415
+ bigtalloblong
416
+ biginterleave
417
+ threedotcolon
418
+ shortdowntack
419
+ shortlefttack
420
+ triangletimes
421
+ triangleminus
422
+ errbardiamond
423
+ circledbullet
424
+ circledbslash
425
+ emptysetoarrl
426
+ emptysetocirc
427
+ wideangledown
428
+ rightanglesqr
429
+ rrparenthesis
430
+ llparenthesis
431
+ mdsmblkcircle
432
+ rightfishtail
433
+ leftarrowless
434
+ upequilibrium
435
+ LeftTeeVector
436
+ LeftVectorBar
437
+ leftarrowplus
438
+ cwcirclearrow
439
+ rightdotarrow
440
+ uparrowbarred
441
+ twoheadmapsto
442
+ Longleftarrow
443
+ longleftarrow
444
+ fullouterjoin
445
+ leftouterjoin
446
+ draftingarrow
447
+ mdsmwhtcircle
448
+ Hermaphrodite
449
+ sixteenthnote
450
+ mdsmblksquare
451
+ mdsmwhtsquare
452
+ squarelrblack
453
+ squareulblack
454
+ botsemicircle
455
+ topsemicircle
456
+ inversebullet
457
+ mdlgblkcircle
458
+ mdlgwhtcircle
459
+ triangleright
460
+ blacktriangle
461
+ bigtriangleup
462
+ parallelogram
463
+ mdlgwhtsquare
464
+ mdlgblksquare
465
+ blocklefthalf
466
+ bdtriplevdash
467
+ APLboxupcaret
468
+ APLuparrowbox
469
+ ntriangleleft
470
+ equalparallel
471
+ divideontimes
472
+ varlrtriangle
473
+ SucceedsTilde
474
+ PrecedesTilde
475
+ fallingdotseq
476
+ dotsminusdots
477
+ wasytherefore
478
+ measuredangle
479
+ vysmblkcircle
480
+ vysmwhtcircle
481
+ smallsetminus
482
+ rightarrowbar
483
+ RightArrowBar
484
+ downdasharrow
485
+ leftdasharrow
486
+ dashleftarrow
487
+ upharpoonleft
488
+ leftharpoonup
489
+ looparrowleft
490
+ hookleftarrow
491
+ leftarrowtail
492
+ leftwavearrow
493
+ DifferentialD
494
+ sansLmirrored
495
+ threeunderdot
496
+ enclosesquare
497
+ enclosecircle
498
+ overleftarrow
499
+ upbackepsilon
500
+ medblackstar
501
+ medwhitestar
502
+ leftdotarrow
503
+ smwhtlozenge
504
+ smblklozenge
505
+ smblkdiamond
506
+ mdwhtlozenge
507
+ mdblklozenge
508
+ mdwhtdiamond
509
+ mdblkdiamond
510
+ hexagonblack
511
+ dottedsquare
512
+ supsetapprox
513
+ subsetapprox
514
+ eqqslantless
515
+ veedoublebar
516
+ doublebarvee
517
+ wedgemidvert
518
+ bigslopedvee
519
+ wedgeonwedge
520
+ closedvarcap
521
+ closedvarcup
522
+ triangleplus
523
+ errbarcircle
524
+ errbarsquare
525
+ blacklozenge
526
+ lrtriangleeq
527
+ multimapboth
528
+ triangleubar
529
+ triangleodot
530
+ ogreaterthan
531
+ odotslashdot
532
+ emptysetoarr
533
+ emptysetobar
534
+ revangleubar
535
+ rbrackurtick
536
+ lbracklltick
537
+ rbracklrtick
538
+ lbrackultick
539
+ downfishtail
540
+ leftfishtail
541
+ upupharpoons
542
+ fdiagovrdiag
543
+ rdiagovfdiag
544
+ rightdbltail
545
+ downarrowbar
546
+ DownArrowBar
547
+ leftdbkarrow
548
+ rightbkarrow
549
+ nvRightarrow
550
+ Longmapsfrom
551
+ longmapsfrom
552
+ lozengeminus
553
+ longdivision
554
+ dingasterisk
555
+ varheartsuit
556
+ varspadesuit
557
+ invsmileface
558
+ bigwhitestar
559
+ circleurquad
560
+ circlelrquad
561
+ circlellquad
562
+ circleulquad
563
+ squareurquad
564
+ squarelrquad
565
+ squarellquad
566
+ squareulquad
567
+ trianglecdot
568
+ dottedcircle
569
+ Diamondblack
570
+ triangleleft
571
+ triangledown
572
+ squarehvfill
573
+ blocklowhalf
574
+ underbracket
575
+ notbackslash
576
+ unicodecdots
577
+ nsucccurlyeq
578
+ npreccurlyeq
579
+ smwhtdiamond
580
+ hermitmatrix
581
+ circledequal
582
+ cupleftarrow
583
+ varsubsetneq
584
+ NotLessTilde
585
+ risingdotseq
586
+ cntclockoint
587
+ intclockwise
588
+ nVrightarrow
589
+ nvrightarrow
590
+ downuparrows
591
+ upwhitearrow
592
+ barleftarrow
593
+ LeftArrowBar
594
+ updownarrows
595
+ PropertyLine
596
+ hyphenbullet
597
+ upvarepsilon
598
+ oturnedcomma
599
+ mathsterling
600
+ RRightarrow
601
+ smwhitestar
602
+ whtvertoval
603
+ blkvertoval
604
+ whthorzoval
605
+ blkhorzoval
606
+ lgblkcircle
607
+ lgwhtsquare
608
+ lgblksquare
609
+ shortuptack
610
+ succnapprox
611
+ precnapprox
612
+ eqqslantgtr
613
+ eqslantless
614
+ simminussim
615
+ midbarwedge
616
+ otimesrhrim
617
+ otimeslhrim
618
+ rcurvyangle
619
+ lcurvyangle
620
+ ruledelayed
621
+ gleichstark
622
+ circledless
623
+ circledvert
624
+ revemptyset
625
+ wideangleup
626
+ rightarrowx
627
+ nwovnearrow
628
+ neovnwarrow
629
+ neovsearrow
630
+ seovnearrow
631
+ leftdbltail
632
+ leftbkarrow
633
+ nvLeftarrow
634
+ multimapinv
635
+ diamondcdot
636
+ threedangle
637
+ arrowbullet
638
+ circledstar
639
+ ballotcheck
640
+ mdblkcircle
641
+ mdwhtcircle
642
+ quarternote
643
+ varclubsuit
644
+ diamondsuit
645
+ capricornus
646
+ sagittarius
647
+ blacksmiley
648
+ mdblksquare
649
+ blacksquare
650
+ mdwhtsquare
651
+ lgwhtcircle
652
+ smwhtcircle
653
+ RIGHTCIRCLE
654
+ RIGHTcircle
655
+ vartriangle
656
+ smwhtsquare
657
+ smblksquare
658
+ squarevfill
659
+ squarehfill
660
+ blockuphalf
661
+ overbracket
662
+ intextender
663
+ invdiameter
664
+ APLnotslash
665
+ wasylozenge
666
+ varbarwedge
667
+ varisinobar
668
+ sqsupsetneq
669
+ sqsubsetneq
670
+ nsqsupseteq
671
+ nsqsubseteq
672
+ curlyeqsucc
673
+ curlyeqprec
674
+ circleddash
675
+ circledcirc
676
+ succcurlyeq
677
+ preccurlyeq
678
+ GreaterLess
679
+ corresponds
680
+ approxident
681
+ nVleftarrow
682
+ nvleftarrow
683
+ updasharrow
684
+ nHdownarrow
685
+ Rrightarrow
686
+ Updownarrow
687
+ nRightarrow
688
+ equilibrium
689
+ restriction
690
+ nrightarrow
691
+ updownarrow
692
+ ExponetialE
693
+ sansLturned
694
+ Planckconst
695
+ asteraccent
696
+ vertoverlay
697
+ caretinsert
698
+ backtrprime
699
+ smblkcircle
700
+ backepsilon
701
+ postalmark
702
+ LLeftarrow
703
+ leftarrowx
704
+ varhexagon
705
+ talloblong
706
+ interleave
707
+ supsetneqq
708
+ subsetneqq
709
+ supsetplus
710
+ subsetplus
711
+ succapprox
712
+ precapprox
713
+ rightslice
714
+ eqslantgtr
715
+ gtreqqless
716
+ lesseqqgtr
717
+ lessapprox
718
+ equivVvert
719
+ veemidvert
720
+ veeonwedge
721
+ capovercup
722
+ cupovercap
723
+ smashtimes
724
+ oplusrhrim
725
+ opluslhrim
726
+ minusrdots
727
+ minusfdots
728
+ commaminus
729
+ plussubtwo
730
+ tripleplus
731
+ doubleplus
732
+ circledgtr
733
+ circlehbar
734
+ rblkbrbrak
735
+ lblkbrbrak
736
+ Rparenless
737
+ lparenless
738
+ rbrackubar
739
+ lbrackubar
740
+ upfishtail
741
+ rightimply
742
+ baruparrow
743
+ UpArrowBar
744
+ Ddownarrow
745
+ Mappedfrom
746
+ Longmapsto
747
+ longmapsto
748
+ DDownarrow
749
+ Diamonddot
750
+ supsetcirc
751
+ subsetcirc
752
+ eighthnote
753
+ vardiamond
754
+ pointright
755
+ CheckedBox
756
+ lrtriangle
757
+ lltriangle
758
+ urtriangle
759
+ ultriangle
760
+ LEFTCIRCLE
761
+ LEFTcircle
762
+ vrectangle
763
+ hrectangle
764
+ underbrace
765
+ underparen
766
+ rmoustache
767
+ lmoustache
768
+ rbracelend
769
+ rbraceuend
770
+ lbracelend
771
+ lbraceuend
772
+ rbracklend
773
+ rbrackuend
774
+ lbracklend
775
+ lbrackuend
776
+ rparenlend
777
+ rparenuend
778
+ lparenlend
779
+ lparenuend
780
+ APLcomment
781
+ conictaper
782
+ curlywedge
783
+ circledast
784
+ sqsupseteq
785
+ sqsubseteq
786
+ Proportion
787
+ rightangle
788
+ fourthroot
789
+ varnothing
790
+ complement
791
+ Lleftarrow
792
+ Rightarrow
793
+ nLeftarrow
794
+ upuparrows
795
+ mappedfrom
796
+ nleftarrow
797
+ rightarrow
798
+ turnediota
799
+ Eulerconst
800
+ backdprime
801
+ twolowline
802
+ upvarTheta
803
+ upvarkappa
804
+ upoldkoppa
805
+ upoldKoppa
806
+ upvartheta
807
+ upvarsigma
808
+ varepsilon
809
+ wideutilde
810
+ mathdollar
811
+ octothorpe
812
+ geqqslant
813
+ leqqslant
814
+ supseteqq
815
+ subseteqq
816
+ supsetdot
817
+ subsetdot
818
+ leftslice
819
+ gtrapprox
820
+ approxeqq
821
+ hatapprox
822
+ equivVert
823
+ varveebar
824
+ midbarvee
825
+ wedgeodot
826
+ capbarcup
827
+ cupbarcap
828
+ otimeshat
829
+ modtwosum
830
+ disjquant
831
+ conjquant
832
+ bigcupdot
833
+ bigotimes
834
+ hourglass
835
+ triangles
836
+ boxcircle
837
+ boxbslash
838
+ olessthan
839
+ angleubar
840
+ turnangle
841
+ fourvdots
842
+ Lparengtr
843
+ rparengtr
844
+ rangledot
845
+ langledot
846
+ typecolon
847
+ hknearrow
848
+ hknwarrow
849
+ neswarrow
850
+ nwsearrow
851
+ righttail
852
+ impliedby
853
+ rrbracket
854
+ llbracket
855
+ longdashv
856
+ vlongdash
857
+ dashVdash
858
+ DashVDash
859
+ checkmark
860
+ medbullet
861
+ heartsuit
862
+ spadesuit
863
+ rightmoon
864
+ smileface
865
+ biohazard
866
+ radiation
867
+ blockfull
868
+ accurrent
869
+ trapezium
870
+ overbrace
871
+ wideparen
872
+ overparen
873
+ rvboxline
874
+ lvboxline
875
+ sumbottom
876
+ rbracemid
877
+ lbracemid
878
+ intbottom
879
+ turnednot
880
+ sqlozenge
881
+ bagmember
882
+ varniobar
883
+ gtreqless
884
+ lesseqgtr
885
+ pitchfork
886
+ backsimeq
887
+ supsetneq
888
+ subsetneq
889
+ nsupseteq
890
+ nsubseteq
891
+ ngeqslant
892
+ nleqslant
893
+ triangleq
894
+ dashcolon
895
+ mathratio
896
+ therefore
897
+ clockoint
898
+ nparallel
899
+ increment
900
+ partialup
901
+ dasharrow
902
+ nHuparrow
903
+ Downarrow
904
+ Leftarrow
905
+ rightturn
906
+ lightning
907
+ downarrow
908
+ leftarrow
909
+ Angstroem
910
+ fracslash
911
+ tieconcat
912
+ backprime
913
+ updigamma
914
+ upDigamma
915
+ upvarbeta
916
+ upupsilon
917
+ upomicron
918
+ upepsilon
919
+ upUpsilon
920
+ upOmicron
921
+ upEpsilon
922
+ underline
923
+ backslash
924
+ semicolon
925
+ mathcolon
926
+ mathslash
927
+ ampersand
928
+ pentagon
929
+ varVdash
930
+ forksnot
931
+ succneqq
932
+ precneqq
933
+ gnapprox
934
+ lnapprox
935
+ gesdotol
936
+ lesdotor
937
+ geqslant
938
+ leqslant
939
+ Coloneqq
940
+ simrdots
941
+ dotequiv
942
+ wedgebar
943
+ veeonvee
944
+ capwedge
945
+ intprodr
946
+ timesbar
947
+ dottimes
948
+ vectimes
949
+ minusdot
950
+ plustrif
951
+ ringplus
952
+ zproject
953
+ intlarhk
954
+ pointint
955
+ scpolint
956
+ rppolint
957
+ cirfnint
958
+ bigtimes
959
+ bigsqcup
960
+ bigsqcap
961
+ biguplus
962
+ bigoplus
963
+ setminus
964
+ eqvparsl
965
+ smeparsl
966
+ tieinfty
967
+ Rvzigzag
968
+ Lvzigzag
969
+ rvzigzag
970
+ lvzigzag
971
+ rfbowtie
972
+ lfbowtie
973
+ rtriltri
974
+ boxonbox
975
+ boxslash
976
+ revangle
977
+ strictif
978
+ strictfi
979
+ hkswarow
980
+ hksearow
981
+ lefttail
982
+ drbkarow
983
+ Uuparrow
984
+ Mapsfrom
985
+ UUparrow
986
+ pullback
987
+ wedgedot
988
+ bsolhsub
989
+ acidfree
990
+ twonotes
991
+ varheart
992
+ varspade
993
+ clubsuit
994
+ aquarius
995
+ varEarth
996
+ leftmoon
997
+ steaming
998
+ astrosun
999
+ bullseye
1000
+ triangle
1001
+ elinters
1002
+ bbrktbrk
1003
+ APLinput
1004
+ notslash
1005
+ lrcorner
1006
+ llcorner
1007
+ urcorner
1008
+ ulcorner
1009
+ viewdata
1010
+ profsurf
1011
+ profline
1012
+ diameter
1013
+ isinobar
1014
+ varisins
1015
+ succnsim
1016
+ precnsim
1017
+ curlyvee
1018
+ bigwedge
1019
+ barwedge
1020
+ intercal
1021
+ multimap
1022
+ boxtimes
1023
+ boxminus
1024
+ sqsupset
1025
+ sqsubset
1026
+ supseteq
1027
+ subseteq
1028
+ ngtrless
1029
+ nlessgtr
1030
+ nlesssim
1031
+ notasymp
1032
+ eqqcolon
1033
+ coloneqq
1034
+ doteqdot
1035
+ dotequal
1036
+ backcong
1037
+ approxeq
1038
+ sinewave
1039
+ invlazys
1040
+ dotminus
1041
+ parallel
1042
+ cuberoot
1043
+ divslash
1044
+ leftturn
1045
+ linefeed
1046
+ mapsdown
1047
+ MapsDown
1048
+ mapsfrom
1049
+ ComplexJ
1050
+ ComplexI
1051
+ Angstrom
1052
+ medspace
1053
+ Question
1054
+ horizbar
1055
+ upvarrho
1056
+ varkappa
1057
+ upstigma
1058
+ upStigma
1059
+ vartheta
1060
+ upvarphi
1061
+ varsigma
1062
+ uplambda
1063
+ upLambda
1064
+ underbar
1065
+ mathring
1066
+ circledR
1067
+ sterling
1068
+ mathcent
1069
+ question
1070
+ hzigzag
1071
+ trslash
1072
+ gggnest
1073
+ lllnest
1074
+ nhVvert
1075
+ revnmid
1076
+ topfork
1077
+ supdsub
1078
+ suphsub
1079
+ rsqhook
1080
+ lsqhook
1081
+ supedot
1082
+ subedot
1083
+ supmult
1084
+ submult
1085
+ ggcurly
1086
+ llcurly
1087
+ succeqq
1088
+ preceqq
1089
+ succneq
1090
+ precneq
1091
+ bumpeqq
1092
+ simless
1093
+ eqqless
1094
+ gesdoto
1095
+ lesdoto
1096
+ gtquest
1097
+ ltquest
1098
+ equivDD
1099
+ ddotseq
1100
+ Coloneq
1101
+ pluseqq
1102
+ eqqplus
1103
+ congdot
1104
+ veeodot
1105
+ twocaps
1106
+ twocups
1107
+ intprod
1108
+ plussim
1109
+ plusdot
1110
+ simplus
1111
+ plushat
1112
+ project
1113
+ npolint
1114
+ varprod
1115
+ bigodot
1116
+ rsolbar
1117
+ thermod
1118
+ shuffle
1119
+ dualmap
1120
+ nvinfty
1121
+ rftimes
1122
+ lftimes
1123
+ fbowtie
1124
+ boxdiag
1125
+ cirscir
1126
+ olcross
1127
+ obslash
1128
+ vzigzag
1129
+ rrangle
1130
+ llangle
1131
+ suplarr
1132
+ subrarr
1133
+ leadsto
1134
+ dbkarow
1135
+ implies
1136
+ Rbrbrak
1137
+ Lbrbrak
1138
+ pushout
1139
+ suphsol
1140
+ rbrbrak
1141
+ lbrbrak
1142
+ varstar
1143
+ maltese
1144
+ ballotx
1145
+ medcirc
1146
+ warning
1147
+ diceiii
1148
+ recycle
1149
+ natural
1150
+ varclub
1151
+ Scorpio
1152
+ scorpio
1153
+ Neptune
1154
+ neptune
1155
+ Jupiter
1156
+ jupiter
1157
+ Mercury
1158
+ mercury
1159
+ sadface
1160
+ frownie
1161
+ yinyang
1162
+ bigstar
1163
+ lozenge
1164
+ fisheye
1165
+ Diamond
1166
+ squoval
1167
+ benzenr
1168
+ ubrbrak
1169
+ obrbrak
1170
+ hexagon
1171
+ isindot
1172
+ nsucceq
1173
+ npreceq
1174
+ lessdot
1175
+ lrtimes
1176
+ diamond
1177
+ imageof
1178
+ boxplus
1179
+ nsupset
1180
+ nsubset
1181
+ succsim
1182
+ precsim
1183
+ gtrless
1184
+ lessgtr
1185
+ ngtrsim
1186
+ lesssim
1187
+ between
1188
+ questeq
1189
+ varsdef
1190
+ coloneq
1191
+ napprox
1192
+ simneqq
1193
+ backsim
1194
+ eqcolon
1195
+ because
1196
+ dbloint
1197
+ dotplus
1198
+ smallni
1199
+ smallin
1200
+ nexists
1201
+ partial
1202
+ Swarrow
1203
+ Searrow
1204
+ Nearrow
1205
+ Nwarrow
1206
+ Uparrow
1207
+ swarrow
1208
+ searrow
1209
+ nearrow
1210
+ nwarrow
1211
+ uparrow
1212
+ annuity
1213
+ closure
1214
+ trprime
1215
+ ddagger
1216
+ epsilon
1217
+ upsampi
1218
+ upSampi
1219
+ upkoppa
1220
+ upKoppa
1221
+ digamma
1222
+ Digamma
1223
+ upvarpi
1224
+ varbeta
1225
+ upomega
1226
+ upsilon
1227
+ upsigma
1228
+ upkappa
1229
+ uptheta
1230
+ updelta
1231
+ upgamma
1232
+ upalpha
1233
+ upOmega
1234
+ Upsilon
1235
+ upSigma
1236
+ upKappa
1237
+ upTheta
1238
+ upDelta
1239
+ upGamma
1240
+ upAlpha
1241
+ overbar
1242
+ matheth
1243
+ sptilde
1244
+ greater
1245
+ percent
1246
+ sslash
1247
+ parsim
1248
+ topcir
1249
+ midcir
1250
+ cirmid
1251
+ vDdash
1252
+ supsup
1253
+ subsub
1254
+ supsub
1255
+ subsup
1256
+ supsim
1257
+ subsim
1258
+ succeq
1259
+ preceq
1260
+ simgtr
1261
+ eqqgtr
1262
+ egsdot
1263
+ elsdot
1264
+ gesles
1265
+ lesges
1266
+ gesdot
1267
+ lesdot
1268
+ eqeqeq
1269
+ eqqsim
1270
+ dotsim
1271
+ cupvee
1272
+ barcap
1273
+ barcup
1274
+ uminus
1275
+ capdot
1276
+ Otimes
1277
+ btimes
1278
+ lowint
1279
+ intcup
1280
+ intcap
1281
+ sqrint
1282
+ intBar
1283
+ intbar
1284
+ iiiint
1285
+ sumint
1286
+ tminus
1287
+ eparsl
1288
+ laplac
1289
+ iinfin
1290
+ vbrtri
1291
+ ltrivb
1292
+ boxbox
1293
+ boxast
1294
+ gtlpar
1295
+ angdnr
1296
+ angles
1297
+ rParen
1298
+ Rparen
1299
+ lParen
1300
+ Lparen
1301
+ rBrace
1302
+ lBrace
1303
+ gtrarr
1304
+ ltlarr
1305
+ Mapsto
1306
+ rgroup
1307
+ lgroup
1308
+ rAngle
1309
+ lAngle
1310
+ rangle
1311
+ langle
1312
+ Rbrack
1313
+ rBrack
1314
+ Lbrack
1315
+ lBrack
1316
+ cirbot
1317
+ bigtop
1318
+ bigbot
1319
+ veedot
1320
+ pencil
1321
+ neuter
1322
+ swords
1323
+ anchor
1324
+ dicevi
1325
+ diceiv
1326
+ diceii
1327
+ pisces
1328
+ cancer
1329
+ Gemini
1330
+ gemini
1331
+ Taurus
1332
+ taurus
1333
+ Uranus
1334
+ uranus
1335
+ Saturn
1336
+ saturn
1337
+ female
1338
+ smiley
1339
+ danger
1340
+ Square
1341
+ square
1342
+ boxbar
1343
+ CIRCLE
1344
+ Circle
1345
+ sumtop
1346
+ APLlog
1347
+ APLinv
1348
+ topbot
1349
+ inttop
1350
+ invnot
1351
+ invneg
1352
+ rfloor
1353
+ lfloor
1354
+ niobar
1355
+ varnis
1356
+ isinvb
1357
+ iddots
1358
+ nunrhd
1359
+ nunlhd
1360
+ eqless
1361
+ gtrdot
1362
+ Supset
1363
+ Subset
1364
+ rtimes
1365
+ ltimes
1366
+ bowtie
1367
+ bigcup
1368
+ bigcap
1369
+ bigvee
1370
+ barvee
1371
+ veebar
1372
+ origof
1373
+ scurel
1374
+ prurel
1375
+ nVDash
1376
+ nVdash
1377
+ nvDash
1378
+ nvdash
1379
+ Vvdash
1380
+ models
1381
+ assert
1382
+ boxdot
1383
+ oslash
1384
+ otimes
1385
+ ominus
1386
+ cupdot
1387
+ supset
1388
+ subset
1389
+ apprge
1390
+ gtrsim
1391
+ apprle
1392
+ nasymp
1393
+ nequiv
1394
+ measeq
1395
+ stareq
1396
+ wedgeq
1397
+ circeq
1398
+ eqcirc
1399
+ bumpeq
1400
+ Bumpeq
1401
+ approx
1402
+ nsimeq
1403
+ oiiint
1404
+ propto
1405
+ coprod
1406
+ exists
1407
+ forall
1408
+ mapsto
1409
+ mapsup
1410
+ MapsUp
1411
+ invamp
1412
+ daleth
1413
+ hslash
1414
+ ddddot
1415
+ qprime
1416
+ fourth
1417
+ Exclam
1418
+ dprime
1419
+ second
1420
+ bullet
1421
+ dagger
1422
+ varrho
1423
+ stigma
1424
+ Stigma
1425
+ varphi
1426
+ lambda
1427
+ upiota
1428
+ upzeta
1429
+ upbeta
1430
+ Lambda
1431
+ upIota
1432
+ upZeta
1433
+ upBeta
1434
+ utilde
1435
+ droang
1436
+ candra
1437
+ ovhook
1438
+ spddot
1439
+ pounds
1440
+ rbrace
1441
+ lbrace
1442
+ rbrack
1443
+ lbrack
1444
+ atsign
1445
+ period
1446
+ rparen
1447
+ lparen
1448
+ exclam
1449
+ nhpar
1450
+ vBarv
1451
+ DashV
1452
+ Dashv
1453
+ dashV
1454
+ perps
1455
+ forks
1456
+ forkv
1457
+ csupe
1458
+ csube
1459
+ gescc
1460
+ lescc
1461
+ simgE
1462
+ simlE
1463
+ gsiml
1464
+ lsimg
1465
+ gsime
1466
+ lsime
1467
+ gtcir
1468
+ ltcir
1469
+ Equal
1470
+ asteq
1471
+ eqdot
1472
+ nrres
1473
+ ndres
1474
+ Wedge
1475
+ Sqcup
1476
+ Sqcap
1477
+ amalg
1478
+ zpipe
1479
+ upint
1480
+ sqint
1481
+ awint
1482
+ tplus
1483
+ xbsol
1484
+ zhide
1485
+ operp
1486
+ rblot
1487
+ lblot
1488
+ Vvert
1489
+ psurj
1490
+ dicev
1491
+ dicei
1492
+ sharp
1493
+ Libra
1494
+ libra
1495
+ virgo
1496
+ Aries
1497
+ aries
1498
+ Pluto
1499
+ pluto
1500
+ earth
1501
+ Venus
1502
+ skull
1503
+ llarc
1504
+ lrarc
1505
+ urarc
1506
+ ularc
1507
+ fltns
1508
+ strns
1509
+ smile
1510
+ frown
1511
+ rceil
1512
+ lceil
1513
+ house
1514
+ isinE
1515
+ barin
1516
+ isins
1517
+ disin
1518
+ ddots
1519
+ adots
1520
+ cdots
1521
+ vdots
1522
+ gnsim
1523
+ lnsim
1524
+ eqgtr
1525
+ unrhd
1526
+ unlhd
1527
+ VDash
1528
+ Vdash
1529
+ vDash
1530
+ dashv
1531
+ vdash
1532
+ oplus
1533
+ sqcup
1534
+ sqcap
1535
+ uplus
1536
+ nsucc
1537
+ nprec
1538
+ nless
1539
+ gneqq
1540
+ lneqq
1541
+ Equiv
1542
+ equiv
1543
+ eqdef
1544
+ veeeq
1545
+ arceq
1546
+ Doteq
1547
+ doteq
1548
+ asymp
1549
+ ncong
1550
+ nsime
1551
+ simeq
1552
+ eqsim
1553
+ Colon
1554
+ oiint
1555
+ iiint
1556
+ wedge
1557
+ angle
1558
+ infty
1559
+ slash
1560
+ minus
1561
+ notni
1562
+ notin
1563
+ nabla
1564
+ upand
1565
+ gimel
1566
+ aleph
1567
+ tcohm
1568
+ Euler
1569
+ DDDot
1570
+ dddot
1571
+ third
1572
+ prime
1573
+ ldots
1574
+ sampi
1575
+ Sampi
1576
+ koppa
1577
+ qoppa
1578
+ Koppa
1579
+ Qoppa
1580
+ varpi
1581
+ upphi
1582
+ omega
1583
+ uppsi
1584
+ upchi
1585
+ uptau
1586
+ sigma
1587
+ uprho
1588
+ kappa
1589
+ theta
1590
+ upeta
1591
+ delta
1592
+ gamma
1593
+ alpha
1594
+ Omega
1595
+ upPsi
1596
+ upChi
1597
+ upPhi
1598
+ upTau
1599
+ Sigma
1600
+ upRho
1601
+ Theta
1602
+ upEta
1603
+ Delta
1604
+ Gamma
1605
+ check
1606
+ ocirc
1607
+ breve
1608
+ times
1609
+ tilde
1610
+ acute
1611
+ grave
1612
+ jmath
1613
+ imath
1614
+ cdotp
1615
+ Micro
1616
+ sphat
1617
+ equal
1618
+ colon
1619
+ comma
1620
+ hline
1621
+ bNot
1622
+ Perp
1623
+ Vbar
1624
+ barV
1625
+ vBar
1626
+ Barv
1627
+ mlcp
1628
+ csup
1629
+ csub
1630
+ Succ
1631
+ Prec
1632
+ late
1633
+ smte
1634
+ gtcc
1635
+ ltcc
1636
+ gneq
1637
+ lneq
1638
+ Same
1639
+ eqeq
1640
+ rsub
1641
+ dsub
1642
+ comp
1643
+ fcmp
1644
+ odiv
1645
+ semi
1646
+ zcmp
1647
+ Join
1648
+ intx
1649
+ fint
1650
+ hide
1651
+ xsol
1652
+ dsol
1653
+ cirE
1654
+ obot
1655
+ rimg
1656
+ limg
1657
+ spot
1658
+ VERT
1659
+ towa
1660
+ tosa
1661
+ toea
1662
+ tona
1663
+ finj
1664
+ pinj
1665
+ psur
1666
+ rang
1667
+ lang
1668
+ upin
1669
+ rbag
1670
+ Rbag
1671
+ lbag
1672
+ Lbag
1673
+ perp
1674
+ flat
1675
+ Mars
1676
+ male
1677
+ XBox
1678
+ dres
1679
+ rres
1680
+ obar
1681
+ nisd
1682
+ hash
1683
+ star
1684
+ cdot
1685
+ duni
1686
+ dint
1687
+ odot
1688
+ buni
1689
+ succ
1690
+ prec
1691
+ ngeq
1692
+ nleq
1693
+ ngtr
1694
+ geqq
1695
+ leqq
1696
+ sdef
1697
+ cong
1698
+ nsim
1699
+ oint
1700
+ iint
1701
+ land
1702
+ nmid
1703
+ circ
1704
+ owns
1705
+ nexi
1706
+ ffun
1707
+ pfun
1708
+ Rdsh
1709
+ drsh
1710
+ Ldsh
1711
+ dlsh
1712
+ tinj
1713
+ tsur
1714
+ gets
1715
+ Game
1716
+ beth
1717
+ Finv
1718
+ LVec
1719
+ lvec
1720
+ euro
1721
+ Vert
1722
+ quad
1723
+ uppi
1724
+ upxi
1725
+ upnu
1726
+ upmu
1727
+ iota
1728
+ zeta
1729
+ beta
1730
+ upPi
1731
+ upXi
1732
+ upNu
1733
+ upMu
1734
+ ring
1735
+ DDot
1736
+ ddot
1737
+ Zbar
1738
+ tcmu
1739
+ lnot
1740
+ cent
1741
+ vert
1742
+ less
1743
+ plus
1744
+ Not
1745
+ Bot
1746
+ Top
1747
+ lat
1748
+ smt
1749
+ gla
1750
+ glj
1751
+ glE
1752
+ lgE
1753
+ Vee
1754
+ bij
1755
+ iff
1756
+ Leo
1757
+ leo
1758
+ sun
1759
+ Sun
1760
+ lhd
1761
+ LHD
1762
+ rhd
1763
+ RHD
1764
+ nis
1765
+ ggg
1766
+ lll
1767
+ Cup
1768
+ Cap
1769
+ bot
1770
+ top
1771
+ geq
1772
+ leq
1773
+ neq
1774
+ sim
1775
+ int
1776
+ cup
1777
+ cap
1778
+ lor
1779
+ vee
1780
+ mid
1781
+ ast
1782
+ QED
1783
+ nni
1784
+ nin
1785
+ exi
1786
+ Rsh
1787
+ Lsh
1788
+ rel
1789
+ Yup
1790
+ Mho
1791
+ mho
1792
+ ell
1793
+ Vec
1794
+ vec
1795
+ cat
1796
+ phi
1797
+ psi
1798
+ chi
1799
+ tau
1800
+ rho
1801
+ eta
1802
+ Psi
1803
+ Phi
1804
+ not
1805
+ Dot
1806
+ dot
1807
+ hat
1808
+ bar
1809
+ div
1810
+ eth
1811
+ neg
1812
+ yen
1813
+ \/
1814
+ Gt
1815
+ Lt
1816
+ gg
1817
+ ll
1818
+ ge
1819
+ le
1820
+ ne
1821
+ wr
1822
+ AC
1823
+ mp
1824
+ ni
1825
+ in
1826
+ to
1827
+ jj
1828
+ ii
1829
+ ee
1830
+ dd
1831
+ DD
1832
+ Re
1833
+ wp
1834
+ Im
1835
+ pi
1836
+ xi
1837
+ nu
1838
+ mu
1839
+ Pi
1840
+ Xi
1841
+ pm
1842
+ :
1843
+ ].freeze
1844
+ OPERATORS = %w[
1845
+ :
1846
+ -
1847
+ :
1848
+ |
1849
+ _
1850
+ @
1851
+ ?
1852
+ >
1853
+ =
1854
+ <
1855
+ ;
1856
+ .
1857
+ +
1858
+ ,
1859
+ *
1860
+ #
1861
+ &
1862
+ %
1863
+ $
1864
+ !
1865
+ ].freeze
1866
+ FONT_STYLES = %w[
1867
+ bf
1868
+ Bbb
1869
+ mtt
1870
+ mbf
1871
+ mit
1872
+ mscr
1873
+ msans
1874
+ mbfit
1875
+ mfrak
1876
+ mathit
1877
+ mathsf
1878
+ mathrm
1879
+ mathtt
1880
+ mathbb
1881
+ mathbf
1882
+ mathds
1883
+ mbfsans
1884
+ mathcal
1885
+ mathfrak
1886
+ mathbfit
1887
+ mathsfbf
1888
+ mathsfit
1889
+ mathbold
1890
+ mbfitsans
1891
+ mathsfbfit
1892
+ ].freeze
1893
+ PARENTHESIS = {
1894
+ "[" => "]",
1895
+ "{" => "}",
1896
+ "(" => ")",
1897
+ "\\{" => "\\}",
1898
+ }.freeze
1899
+ BINARY_CLASSES = %w[
1900
+ stackrel
1901
+ binom
1902
+ frac
1903
+ lim
1904
+ ].freeze
1905
+ UNDEROVER_CLASSES = %w[
1906
+ over
1907
+ bmod
1908
+ pmod
1909
+ ].freeze
1910
+ POWER_BASE_CLASSES = %w[
1911
+ prod
1912
+ sum
1913
+ inf
1914
+ log
1915
+ ].freeze
1916
+ NUMERIC_VALUES = %w[
1917
+ zero
1918
+ one
1919
+ two
1920
+ three
1921
+ four
1922
+ five
1923
+ six
1924
+ seven
1925
+ eight
1926
+ nine
1927
+ ].freeze
1928
+ MATH_OPERATORS = %w[
1929
+ liminf
1930
+ arctan
1931
+ arcsin
1932
+ limsup
1933
+ tanh
1934
+ coth
1935
+ cosh
1936
+ sinh
1937
+ int
1938
+ sin
1939
+ max
1940
+ dim
1941
+ arg
1942
+ tan
1943
+ sec
1944
+ log
1945
+ lim
1946
+ hom
1947
+ det
1948
+ cot
1949
+ sup
1950
+ gcd
1951
+ deg
1952
+ min
1953
+ ker
1954
+ exp
1955
+ csc
1956
+ cos
1957
+ Pr
1958
+ ln
1959
+ lg
1960
+ ].freeze
1961
+ end
1962
+ end
1963
+ end