typohero 0.0.2 → 0.0.3
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.gitignore +1 -0
- data/.travis.yml +1 -0
- data/README.md +36 -11
- data/latex.pl +11 -4
- data/lib/typohero/latex.rb +538 -533
- data/lib/typohero/version.rb +1 -1
- data/lib/typohero.rb +180 -64
- data/test/typohero_test.rb +171 -128
- data/typohero.gemspec +1 -1
- metadata +2 -3
- data/bench/bench.txt +0 -16413
data/lib/typohero/latex.rb
CHANGED
@@ -1,537 +1,542 @@
|
|
1
1
|
module TypoHero
|
2
2
|
LATEX = {
|
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
|
-
|
230
|
-
|
231
|
-
|
232
|
-
|
233
|
-
|
234
|
-
|
235
|
-
|
236
|
-
|
237
|
-
|
238
|
-
|
239
|
-
|
240
|
-
|
241
|
-
|
242
|
-
|
243
|
-
|
244
|
-
|
245
|
-
|
246
|
-
|
247
|
-
|
248
|
-
|
249
|
-
|
250
|
-
|
251
|
-
|
252
|
-
|
253
|
-
|
254
|
-
|
255
|
-
|
256
|
-
|
257
|
-
|
258
|
-
|
259
|
-
|
260
|
-
|
261
|
-
|
262
|
-
|
263
|
-
|
264
|
-
|
265
|
-
|
266
|
-
|
267
|
-
|
268
|
-
|
269
|
-
|
270
|
-
|
271
|
-
|
272
|
-
|
273
|
-
|
274
|
-
|
275
|
-
|
276
|
-
|
277
|
-
|
278
|
-
|
279
|
-
|
280
|
-
|
281
|
-
|
282
|
-
|
283
|
-
|
284
|
-
|
285
|
-
|
286
|
-
|
287
|
-
|
288
|
-
|
289
|
-
|
290
|
-
|
291
|
-
|
292
|
-
|
293
|
-
|
294
|
-
|
295
|
-
|
296
|
-
|
297
|
-
|
298
|
-
|
299
|
-
|
300
|
-
|
301
|
-
|
302
|
-
|
303
|
-
|
304
|
-
|
305
|
-
|
306
|
-
|
307
|
-
|
308
|
-
|
309
|
-
|
310
|
-
|
311
|
-
|
312
|
-
|
313
|
-
|
314
|
-
|
315
|
-
|
316
|
-
|
317
|
-
|
318
|
-
|
319
|
-
|
320
|
-
|
321
|
-
|
322
|
-
|
323
|
-
|
324
|
-
|
325
|
-
|
326
|
-
|
327
|
-
|
328
|
-
|
329
|
-
|
330
|
-
|
331
|
-
|
332
|
-
|
333
|
-
|
334
|
-
|
335
|
-
|
336
|
-
|
337
|
-
|
338
|
-
|
339
|
-
|
340
|
-
|
341
|
-
|
342
|
-
|
343
|
-
|
344
|
-
|
345
|
-
|
346
|
-
|
347
|
-
|
348
|
-
|
349
|
-
|
350
|
-
|
351
|
-
|
352
|
-
|
353
|
-
|
354
|
-
|
355
|
-
|
356
|
-
|
357
|
-
|
358
|
-
|
359
|
-
|
360
|
-
|
361
|
-
|
362
|
-
|
363
|
-
|
364
|
-
|
365
|
-
|
366
|
-
|
367
|
-
|
368
|
-
|
369
|
-
|
370
|
-
|
371
|
-
|
372
|
-
|
373
|
-
|
374
|
-
|
375
|
-
|
376
|
-
|
377
|
-
|
378
|
-
|
379
|
-
|
380
|
-
|
381
|
-
|
382
|
-
|
383
|
-
|
384
|
-
|
385
|
-
|
386
|
-
|
387
|
-
|
388
|
-
|
389
|
-
|
390
|
-
|
391
|
-
|
392
|
-
|
393
|
-
|
394
|
-
|
395
|
-
|
396
|
-
|
397
|
-
|
398
|
-
|
399
|
-
|
400
|
-
|
401
|
-
|
402
|
-
|
403
|
-
|
404
|
-
|
405
|
-
|
406
|
-
|
407
|
-
|
408
|
-
|
409
|
-
|
410
|
-
|
411
|
-
|
412
|
-
|
413
|
-
|
414
|
-
|
415
|
-
|
416
|
-
|
417
|
-
|
418
|
-
|
419
|
-
|
420
|
-
|
421
|
-
|
422
|
-
|
423
|
-
|
424
|
-
|
425
|
-
|
426
|
-
|
427
|
-
|
428
|
-
|
429
|
-
|
430
|
-
|
431
|
-
|
432
|
-
|
433
|
-
|
434
|
-
|
435
|
-
|
436
|
-
|
437
|
-
|
438
|
-
|
439
|
-
|
440
|
-
|
441
|
-
|
442
|
-
|
443
|
-
|
444
|
-
|
445
|
-
|
446
|
-
|
447
|
-
|
448
|
-
|
449
|
-
|
450
|
-
|
451
|
-
|
452
|
-
|
453
|
-
|
454
|
-
|
455
|
-
|
456
|
-
|
457
|
-
|
458
|
-
|
459
|
-
|
460
|
-
|
461
|
-
|
462
|
-
|
463
|
-
|
464
|
-
|
465
|
-
|
466
|
-
|
467
|
-
|
468
|
-
|
469
|
-
|
470
|
-
|
471
|
-
|
472
|
-
|
473
|
-
|
474
|
-
|
475
|
-
|
476
|
-
|
477
|
-
|
478
|
-
|
479
|
-
|
480
|
-
|
481
|
-
|
482
|
-
|
483
|
-
|
484
|
-
|
485
|
-
|
486
|
-
|
487
|
-
|
488
|
-
|
489
|
-
|
490
|
-
|
491
|
-
|
492
|
-
|
493
|
-
|
494
|
-
|
495
|
-
|
496
|
-
|
497
|
-
|
498
|
-
|
499
|
-
|
500
|
-
|
501
|
-
|
502
|
-
|
503
|
-
|
504
|
-
|
505
|
-
|
506
|
-
|
507
|
-
|
508
|
-
|
509
|
-
|
510
|
-
|
511
|
-
|
512
|
-
|
513
|
-
|
514
|
-
|
515
|
-
|
516
|
-
|
517
|
-
|
518
|
-
|
519
|
-
|
520
|
-
|
521
|
-
|
522
|
-
|
523
|
-
|
524
|
-
|
525
|
-
|
526
|
-
|
527
|
-
|
528
|
-
|
529
|
-
|
530
|
-
|
531
|
-
|
532
|
-
|
533
|
-
|
534
|
-
|
535
|
-
|
3
|
+
'\AA' => "\u00c5",
|
4
|
+
'\AE' => "\u00c6",
|
5
|
+
'\Alpha' => "\u0391",
|
6
|
+
'\Beta' => "\u0392",
|
7
|
+
'\Box' => "\u25a1",
|
8
|
+
'\Bumpeq' => "\u224e",
|
9
|
+
'\Cap' => "\u22d2",
|
10
|
+
'\Chi' => "\u03a7",
|
11
|
+
'\Cup' => "\u22d3",
|
12
|
+
'\DH' => "\u00d0",
|
13
|
+
'\DJ' => "\u0110",
|
14
|
+
'\Delta' => "\u0394",
|
15
|
+
'\ESH' => "\u01a9",
|
16
|
+
'\Epsilon' => "\u0395",
|
17
|
+
'\Eta' => "\u0397",
|
18
|
+
'\Gamma' => "\u0393",
|
19
|
+
'\IJ' => "\u0132",
|
20
|
+
'\Iota' => "\u0399",
|
21
|
+
'\Kappa' => "\u039a",
|
22
|
+
'\L' => "\u0141",
|
23
|
+
'\Lambda' => "\u039b",
|
24
|
+
'\Leftrightarrow' => "\u21d4",
|
25
|
+
'\Mu' => "\u039c",
|
26
|
+
'\NG' => "\u014a",
|
27
|
+
'\Nu' => "\u039d",
|
28
|
+
'\O' => "\u00d8",
|
29
|
+
'\OE' => "\u0152",
|
30
|
+
'\OHORN' => "\u01a0",
|
31
|
+
'\Omega' => "\u03a9",
|
32
|
+
'\Omicron' => "\u039f",
|
33
|
+
'\P' => "\u00b6",
|
34
|
+
'\Phi' => "\u03a6",
|
35
|
+
'\Pi' => "\u03a0",
|
36
|
+
'\Psi' => "\u03a8",
|
37
|
+
'\Rho' => "\u03a1",
|
38
|
+
'\Rightarrow' => "\u21d2",
|
39
|
+
'\S' => "\u00a7",
|
40
|
+
'\Sigma' => "\u03a3",
|
41
|
+
'\Subset' => "\u22d0",
|
42
|
+
'\Supset' => "\u22d1",
|
43
|
+
'\TH' => "\u00de",
|
44
|
+
'\Tau' => "\u03a4",
|
45
|
+
'\Theta' => "\u0398",
|
46
|
+
'\Thorn' => "\u00de",
|
47
|
+
'\UHORN' => "\u01af",
|
48
|
+
'\Upsilon' => "\u03a5",
|
49
|
+
'\Vdash' => "\u22a9",
|
50
|
+
'\Vvdash' => "\u22aa",
|
51
|
+
'\Xi' => "\u039e",
|
52
|
+
'\Zeta' => "\u0396",
|
53
|
+
'\aa' => "\u00e5",
|
54
|
+
'\ae' => "\u00e6",
|
55
|
+
'\ain' => "\u02bf",
|
56
|
+
'\alpha' => "\u03b1",
|
57
|
+
'\angle' => "\u2220",
|
58
|
+
'\approx' => "\u2248",
|
59
|
+
'\approxeq' => "\u224a",
|
60
|
+
'\ast' => "\u2217",
|
61
|
+
'\asymp' => "\u224d",
|
62
|
+
'\ayn' => "\u02bf",
|
63
|
+
'\backsim' => "\u223d",
|
64
|
+
'\backsimeq' => "\u22cd",
|
65
|
+
'\barwedge' => "\u22bc",
|
66
|
+
'\because' => "\u2235",
|
67
|
+
'\beta' => "\u03b2",
|
68
|
+
'\between' => "\u226c",
|
69
|
+
'\bigcap' => "\u22c2",
|
70
|
+
'\bigcup' => "\u22c3",
|
71
|
+
'\bigvee' => "\u22c1",
|
72
|
+
'\bigwedge' => "\u22c0",
|
73
|
+
'\bot' => "\u22a5",
|
74
|
+
'\bowtie' => "\u22c8",
|
75
|
+
'\boxdot' => "\u22a1",
|
76
|
+
'\boxminus' => "\u229f",
|
77
|
+
'\boxplus' => "\u229e",
|
78
|
+
'\boxtimes' => "\u22a0",
|
79
|
+
'\bullet' => "\u2219",
|
80
|
+
'\bumpeq' => "\u224f",
|
81
|
+
'\cap' => "\u2229",
|
82
|
+
'\cdot' => "\u22c5",
|
83
|
+
'\cdots' => "\u22ef",
|
84
|
+
'\chi' => "\u03c7",
|
85
|
+
'\circ' => "\u2218",
|
86
|
+
'\circeq' => "\u2257",
|
87
|
+
'\circledast' => "\u229b",
|
88
|
+
'\circledcirc' => "\u229a",
|
89
|
+
'\circleddash' => "\u229d",
|
90
|
+
'\clubsuit' => "\u2663",
|
91
|
+
'\complement' => "\u2201",
|
92
|
+
'\cong' => "\u2245",
|
93
|
+
'\coprod' => "\u2210",
|
94
|
+
'\copyright' => "\u00a9",
|
95
|
+
'\cup' => "\u222a",
|
96
|
+
'\curlyeqprec' => "\u22de",
|
97
|
+
'\curlyeqsucc' => "\u22df",
|
98
|
+
'\curlyvee' => "\u22ce",
|
99
|
+
'\curlywedge' => "\u22cf",
|
100
|
+
'\dag' => "\u2020",
|
101
|
+
'\dashv' => "\u22a3",
|
102
|
+
'\ddag' => "\u2021",
|
103
|
+
'\ddots' => "\u22f1",
|
104
|
+
'\delta' => "\u03b4",
|
105
|
+
'\dh' => "\u00f0",
|
106
|
+
'\diamond' => "\u22c4",
|
107
|
+
'\diamondsuit' => "\u2662",
|
108
|
+
'\div' => "\u00f7",
|
109
|
+
'\divideontimes' => "\u22c7",
|
110
|
+
'\dj' => "\u0111",
|
111
|
+
'\doteq' => "\u2250",
|
112
|
+
'\doteqdot' => "\u2251",
|
113
|
+
'\dotplus' => "\u2214",
|
114
|
+
'\dots' => "\u2026",
|
115
|
+
'\downarrow' => "\u2193",
|
116
|
+
'\eqcirc' => "\u2256",
|
117
|
+
'\equiv' => "\u2261",
|
118
|
+
'\eta' => "\u03b7",
|
119
|
+
'\euro' => "\u20ac",
|
120
|
+
'\exists' => "\u2203",
|
121
|
+
'\fallingdotseq' => "\u2252",
|
122
|
+
'\flat' => "\u266d",
|
123
|
+
'\forall' => "\u2200",
|
124
|
+
'\gamma' => "\u03b3",
|
125
|
+
'\geq' => "\u2265",
|
126
|
+
'\geqq' => "\u2267",
|
127
|
+
'\gg' => "\u226b",
|
128
|
+
'\ggg' => "\u22d9",
|
129
|
+
'\gneqq' => "\u2269",
|
130
|
+
'\gnsim' => "\u22e7",
|
131
|
+
'\gtrdot' => "\u22d7",
|
132
|
+
'\gtreqless' => "\u22db",
|
133
|
+
'\gtrless' => "\u2277",
|
134
|
+
'\gtrsim' => "\u2273",
|
135
|
+
'\guillemotleft' => "\u00ab",
|
136
|
+
'\guillemotright' => "\u00bb",
|
137
|
+
'\guilsinglleft' => "\u2039",
|
138
|
+
'\guilsinglright' => "\u203a",
|
139
|
+
'\hamza' => "\u02be",
|
140
|
+
'\heartsuit' => "\u2661",
|
141
|
+
'\hv' => "\u0195",
|
142
|
+
'\i' => "\u0131",
|
143
|
+
'\iiint' => "\u222d",
|
144
|
+
'\iint' => "\u222c",
|
145
|
+
'\ij' => "\u0133",
|
146
|
+
'\in' => "\u2208",
|
147
|
+
'\infty' => "\u221e",
|
148
|
+
'\int' => "\u222b",
|
149
|
+
'\intercal' => "\u22ba",
|
150
|
+
'\iota' => "\u03b9",
|
151
|
+
'\kappa' => "\u03ba",
|
152
|
+
'\l' => "\u0142",
|
153
|
+
'\lambda' => "\u03bb",
|
154
|
+
'\langle' => "\u27e8",
|
155
|
+
'\lceil' => "\u2308",
|
156
|
+
'\leadsto' => "\u219d",
|
157
|
+
'\leftarrow' => "\u2190",
|
158
|
+
'\leftrightarrow' => "\u2194",
|
159
|
+
'\leftthreetimes' => "\u22cb",
|
160
|
+
'\leq' => "\u2264",
|
161
|
+
'\leqq' => "\u2266",
|
162
|
+
'\lessdot' => "\u22d6",
|
163
|
+
'\lesseqgtr' => "\u22da",
|
164
|
+
'\lessgtr' => "\u2276",
|
165
|
+
'\lesssim' => "\u2272",
|
166
|
+
'\lfloor' => "\u230a",
|
167
|
+
'\lhd' => "\u22b2",
|
168
|
+
'\ll' => "\u226a",
|
169
|
+
'\lll' => "\u22d8",
|
170
|
+
'\lneqq' => "\u2268",
|
171
|
+
'\lnot' => "\u00ac",
|
172
|
+
'\lnsim' => "\u22e6",
|
173
|
+
'\ltimes' => "\u22c9",
|
174
|
+
'\measuredangle' => "\u2221",
|
175
|
+
'\mid' => "\u2223",
|
176
|
+
'\mp' => "\u2213",
|
177
|
+
'\mu' => "\u03bc",
|
178
|
+
'\multimap' => "\u22b8",
|
179
|
+
'\nVdash' => "\u22ae",
|
180
|
+
'\nabla' => "\u2207",
|
181
|
+
'\natural' => "\u266e",
|
182
|
+
'\ncong' => "\u2247",
|
183
|
+
'\neq' => "\u2260",
|
184
|
+
'\nexists' => "\u2204",
|
185
|
+
'\ng' => "\u014b",
|
186
|
+
'\ngeq' => "\u2271",
|
187
|
+
'\ngtr' => "\u226f",
|
188
|
+
'\ni' => "\u220b",
|
189
|
+
'\nleq' => "\u2270",
|
190
|
+
'\nless' => "\u226e",
|
191
|
+
'\nmid' => "\u2224",
|
192
|
+
'\nobreakspace' => "\u00a0",
|
193
|
+
'\notin' => "\u2209",
|
194
|
+
'\nparallel' => "\u2226",
|
195
|
+
'\nprec' => "\u2280",
|
196
|
+
'\nsim' => "\u2241",
|
197
|
+
'\nsubseteq' => "\u2288",
|
198
|
+
'\nsucc' => "\u2281",
|
199
|
+
'\nsupseteq' => "\u2289",
|
200
|
+
'\ntriangleleft' => "\u22ea",
|
201
|
+
'\ntrianglelefteq' => "\u22ec",
|
202
|
+
'\ntriangleright' => "\u22eb",
|
203
|
+
'\ntrianglerighteq' => "\u22ed",
|
204
|
+
'\nu' => "\u03bd",
|
205
|
+
'\o' => "\u00f8",
|
206
|
+
'\odot' => "\u2299",
|
207
|
+
'\oe' => "\u0153",
|
208
|
+
'\ohorn' => "\u01a1",
|
209
|
+
'\oint' => "\u222e",
|
210
|
+
'\omega' => "\u03c9",
|
211
|
+
'\omicron' => "\u03bf",
|
212
|
+
'\ominus' => "\u2296",
|
213
|
+
'\oplus' => "\u2295",
|
214
|
+
'\oslash' => "\u2298",
|
215
|
+
'\otimes' => "\u2297",
|
216
|
+
'\parallel' => "\u2225",
|
217
|
+
'\partial' => "\u2202",
|
218
|
+
'\pi' => "\u03c0",
|
219
|
+
'\pitchfork' => "\u22d4",
|
220
|
+
'\pm' => "\u00b1",
|
221
|
+
'\pounds' => "\u00a3",
|
222
|
+
'\prec' => "\u227a",
|
223
|
+
'\preccurlyeq' => "\u227c",
|
224
|
+
'\precnsim' => "\u22e8",
|
225
|
+
'\precsim' => "\u227e",
|
226
|
+
'\prod' => "\u220f",
|
227
|
+
'\propto' => "\u221d",
|
228
|
+
'\psi' => "\u03c8",
|
229
|
+
'\quotedblbase' => "\u201e",
|
230
|
+
'\quotesinglbase' => "\u201a",
|
231
|
+
'\rangle' => "\u27e9",
|
232
|
+
'\rceil' => "\u2309",
|
233
|
+
'\rfloor' => "\u230b",
|
234
|
+
'\rhd' => "\u22b3",
|
235
|
+
'\rightarrow' => "\u2192",
|
236
|
+
'\rightleftharpoons' => "\u21cc",
|
237
|
+
'\rightthreetimes' => "\u22cc",
|
238
|
+
'\risingdotseq' => "\u2253",
|
239
|
+
'\rtimes' => "\u22ca",
|
240
|
+
'\set' => "\u2205",
|
241
|
+
'\setminus' => "\u2216",
|
242
|
+
'\sharp' => "\u266f",
|
243
|
+
'\sigma' => "\u03c3",
|
244
|
+
'\sim' => "\u223c",
|
245
|
+
'\simeq' => "\u2243",
|
246
|
+
'\spadesuit' => "\u2660",
|
247
|
+
'\sphericalangle' => "\u2222",
|
248
|
+
'\sqcap' => "\u2293",
|
249
|
+
'\sqcup' => "\u2294",
|
250
|
+
'\sqsubset' => "\u228f",
|
251
|
+
'\sqsubseteq' => "\u2291",
|
252
|
+
'\sqsupset' => "\u2290",
|
253
|
+
'\sqsupseteq' => "\u2292",
|
254
|
+
'\ss' => "\u00df",
|
255
|
+
'\star' => "\u22c6",
|
256
|
+
'\subset' => "\u2282",
|
257
|
+
'\subseteq' => "\u2286",
|
258
|
+
'\subsetneq' => "\u228a",
|
259
|
+
'\succ' => "\u227b",
|
260
|
+
'\succcurlyeq' => "\u227d",
|
261
|
+
'\succnsim' => "\u22e9",
|
262
|
+
'\succsim' => "\u227f",
|
263
|
+
'\sum' => "\u2211",
|
264
|
+
'\supset' => "\u2283",
|
265
|
+
'\supseteq' => "\u2287",
|
266
|
+
'\supsetneq' => "\u228b",
|
267
|
+
'\surd' => "\u221a",
|
268
|
+
'\tau' => "\u03c4",
|
269
|
+
'\textBhook' => "\u0181",
|
270
|
+
'\textChook' => "\u0187",
|
271
|
+
'\textDafrican' => "\u0189",
|
272
|
+
'\textDhook' => "\u018a",
|
273
|
+
'\textEopen' => "\u0190",
|
274
|
+
'\textEreversed' => "\u018e",
|
275
|
+
'\textEsh' => "\u01a9",
|
276
|
+
'\textEzh' => "\u01b7",
|
277
|
+
'\textFhook' => "\u0191",
|
278
|
+
'\textGammaafrican' => "\u0194",
|
279
|
+
'\textHbar' => "\u0126",
|
280
|
+
'\textIotaafrican' => "\u0196",
|
281
|
+
'\textKhook' => "\u0198",
|
282
|
+
'\textNhookleft' => "\u019d",
|
283
|
+
'\textOopen' => "\u0186",
|
284
|
+
'\textPhook' => "\u01a4",
|
285
|
+
'\textTbar' => "\u0166",
|
286
|
+
'\textThook' => "\u01ac",
|
287
|
+
'\textTretroflexhook' => "\u01ae",
|
288
|
+
'\textTstroke' => "\u0166",
|
289
|
+
'\textVhook' => "\u01b2",
|
290
|
+
'\textYhook' => "\u01b3",
|
291
|
+
'\textampersand' => "\u0026",
|
292
|
+
'\textasciiacute' => "\u00b4",
|
293
|
+
'\textasciicedilla' => "\u00b8",
|
294
|
+
'\textasciicircum' => "\u005e",
|
295
|
+
'\textasciidieresis' => "\u00a8",
|
296
|
+
'\textasciigrave' => "\u0060",
|
297
|
+
'\textasciimacron' => "\u00af",
|
298
|
+
'\textasciitilde' => "\u007e",
|
299
|
+
'\textasteriskcentered' => "\u002a",
|
300
|
+
'\textbackslash' => "\u005c",
|
301
|
+
'\textbar' => "\u007c",
|
302
|
+
'\textbardotlessj' => "\u025f",
|
303
|
+
'\textbarglotstop' => "\u02a1",
|
304
|
+
'\textbari' => "\u0268",
|
305
|
+
'\textbarl' => "\u0142",
|
306
|
+
'\textbaro' => "\u0275",
|
307
|
+
'\textbarrevglotstop' => "\u02a2",
|
308
|
+
'\textbaru' => "\u0289",
|
309
|
+
'\textbeltl' => "\u026c",
|
310
|
+
'\textbhook' => "\u0253",
|
311
|
+
'\textbraceleft' => "\u007b",
|
312
|
+
'\textbraceright' => "\u007d",
|
313
|
+
'\textbrokenbar' => "\u00a6",
|
314
|
+
'\textbullet' => "\u2022",
|
315
|
+
'\textbullseye' => "\u0298",
|
316
|
+
'\textcent' => "\u00a2",
|
317
|
+
'\textcentereddot' => "\u00b7",
|
318
|
+
'\textchook' => "\u0188",
|
319
|
+
'\textcloseepsilon' => "\u029a",
|
320
|
+
'\textcloseomega' => "\u0277",
|
321
|
+
'\textcloserevepsilon' => "\u025e",
|
322
|
+
'\textcolonmonetary' => "\u20a1",
|
323
|
+
'\textcopyright' => "\u00a9",
|
324
|
+
'\textcrb' => "\u0180",
|
325
|
+
'\textcrd' => "\u0111",
|
326
|
+
'\textcrh' => "\u0127",
|
327
|
+
'\textcrlambda' => "\u019b",
|
328
|
+
'\textctc' => "\u0255",
|
329
|
+
'\textctesh' => "\u0286",
|
330
|
+
'\textctj' => "\u029d",
|
331
|
+
'\textctyogh' => "\u0293",
|
332
|
+
'\textctz' => "\u0291",
|
333
|
+
'\textcurrency' => "\u00a4",
|
334
|
+
'\textdctzlig' => "\u02a5",
|
335
|
+
'\textdegree' => "\u00b0",
|
336
|
+
'\textdhook' => "\u0257",
|
337
|
+
'\textdiv' => "\u00f7",
|
338
|
+
'\textdollar' => "\u0024",
|
339
|
+
'\textdong' => "\u20ab",
|
340
|
+
'\textdtail' => "\u0256",
|
341
|
+
'\textdyoghlig' => "\u02a4",
|
342
|
+
'\textdzlig' => "\u02a3",
|
343
|
+
'\textemdash' => "\u2014",
|
344
|
+
'\textendash' => "\u2013",
|
345
|
+
'\texteopen' => "\u025b",
|
346
|
+
'\textepsilon' => "\u025b",
|
347
|
+
'\textequals' => "\u003d",
|
348
|
+
'\textesh' => "\u0283",
|
349
|
+
'\texteturned' => "\u01dd",
|
350
|
+
'\texteuro' => "\u20ac",
|
351
|
+
'\textexclamdown' => "\u00a1",
|
352
|
+
'\textezh' => "\u0292",
|
353
|
+
'\textfishhookr' => "\u027e",
|
354
|
+
'\textflorin' => "\u0192",
|
355
|
+
'\textg' => "\u0067",
|
356
|
+
'\textgamma' => "\u0263",
|
357
|
+
'\textgammalatinsmall' => "\u0263",
|
358
|
+
'\textglotstop' => "\u0294",
|
359
|
+
'\textgreater' => "\u003e",
|
360
|
+
'\texthash' => "\u0023",
|
361
|
+
'\texthbar' => "\u0127",
|
362
|
+
'\texthtb' => "\u0253",
|
363
|
+
'\texthtbardotlessj' => "\u0284",
|
364
|
+
'\texthtc' => "\u0188",
|
365
|
+
'\texthtd' => "\u0257",
|
366
|
+
'\texthtg' => "\u0260",
|
367
|
+
'\texthth' => "\u0266",
|
368
|
+
'\texththeng' => "\u0267",
|
369
|
+
'\texthtk' => "\u0199",
|
370
|
+
'\texthtp' => "\u01a5",
|
371
|
+
'\texthtq' => "\u02a0",
|
372
|
+
'\texthtscg' => "\u029b",
|
373
|
+
'\texthtt' => "\u01ad",
|
374
|
+
'\texthvlig' => "\u0195",
|
375
|
+
'\textinterrobang' => "\u203d",
|
376
|
+
'\textinvglotstop' => "\u0296",
|
377
|
+
'\textinvscr' => "\u0281",
|
378
|
+
'\textiota' => "\u0269",
|
379
|
+
'\textiotalatin' => "\u0269",
|
380
|
+
'\textkhook' => "\u0199",
|
381
|
+
'\textkra' => "\u0138",
|
382
|
+
'\textlengthmark' => "\u02d0",
|
383
|
+
'\textless' => "\u003c",
|
384
|
+
'\textlhti' => "\u027f",
|
385
|
+
'\textlira' => "\u20a4",
|
386
|
+
'\textlogicalnot' => "\u00ac",
|
387
|
+
'\textlonglegr' => "\u027c",
|
388
|
+
'\textlooptoprevesh' => "\u01aa",
|
389
|
+
'\textltailm' => "\u0271",
|
390
|
+
'\textltailn' => "\u0272",
|
391
|
+
'\textltilde' => "\u026b",
|
392
|
+
'\textlyoghlig' => "\u026e",
|
393
|
+
'\textminus' => "\u2212",
|
394
|
+
'\textmu' => "\u00b5",
|
395
|
+
'\textnaira' => "\u20a6",
|
396
|
+
'\textnhookleft' => "\u0272",
|
397
|
+
'\textnumero' => "\u2116",
|
398
|
+
'\textonehalf' => "\u00bd",
|
399
|
+
'\textonequarter' => "\u00bc",
|
400
|
+
'\textonesuperior' => "\u00b9",
|
401
|
+
'\textoopen' => "\u0254",
|
402
|
+
'\textopeno' => "\u0254",
|
403
|
+
'\textordfeminine' => "\u00aa",
|
404
|
+
'\textordmasculine' => "\u00ba",
|
405
|
+
'\textoverline' => "\u203e",
|
406
|
+
'\textpalhookbelow' => "\u01ab",
|
407
|
+
'\textparagraph' => "\u00b6",
|
408
|
+
'\textpercent' => "\u0025",
|
409
|
+
'\textperiodcentered' => "\u00b7",
|
410
|
+
'\textpertenthousand' => "\u2031",
|
411
|
+
'\textperthousand' => "\u2030",
|
412
|
+
'\textphi' => "\u0278",
|
413
|
+
'\textphook' => "\u01a5",
|
414
|
+
'\textpm' => "\u00b1",
|
415
|
+
'\textprimstress' => "\u02c8",
|
416
|
+
'\textquestiondown' => "\u00bf",
|
417
|
+
'\textquotedbl' => "\u0022",
|
418
|
+
'\textquotedblleft' => "\u201c",
|
419
|
+
'\textquotedblright' => "\u201d",
|
420
|
+
'\textquoteleft' => "\u2018",
|
421
|
+
'\textquoteright' => "\u2019",
|
422
|
+
'\textquotesingle' => "\u0027",
|
423
|
+
'\textraisevibyi' => "\u0285",
|
424
|
+
'\textramshorns' => "\u0264",
|
425
|
+
'\textreferencemark' => "\u203b",
|
426
|
+
'\textregistered' => "\u00ae",
|
427
|
+
'\textreve' => "\u0258",
|
428
|
+
'\textrevepsilon' => "\u025c",
|
429
|
+
'\textrevglotstop' => "\u0295",
|
430
|
+
'\textrhookrevepsilon' => "\u025d",
|
431
|
+
'\textrhookschwa' => "\u025a",
|
432
|
+
'\textrtaild' => "\u0256",
|
433
|
+
'\textrtaill' => "\u026d",
|
434
|
+
'\textrtailn' => "\u0273",
|
435
|
+
'\textrtailr' => "\u027d",
|
436
|
+
'\textrtails' => "\u0282",
|
437
|
+
'\textrtailt' => "\u0288",
|
438
|
+
'\textrtailz' => "\u0290",
|
439
|
+
'\textscb' => "\u0299",
|
440
|
+
'\textscg' => "\u0262",
|
441
|
+
'\textsch' => "\u029c",
|
442
|
+
'\textschwa' => "\u0259",
|
443
|
+
'\textsci' => "\u026a",
|
444
|
+
'\textscl' => "\u029f",
|
445
|
+
'\textscn' => "\u0274",
|
446
|
+
'\textscoelig' => "\u0276",
|
447
|
+
'\textscr' => "\u0280",
|
448
|
+
'\textscripta' => "\u0251",
|
449
|
+
'\textscriptg' => "\u0261",
|
450
|
+
'\textscriptv' => "\u028b",
|
451
|
+
'\textscy' => "\u028f",
|
452
|
+
'\textsection' => "\u00a7",
|
453
|
+
'\textsterling' => "\u00a3",
|
454
|
+
'\textstretchc' => "\u0297",
|
455
|
+
'\texttbar' => "\u0167",
|
456
|
+
'\texttctclig' => "\u02a8",
|
457
|
+
'\texttesh' => "\u02a7",
|
458
|
+
'\textteshlig' => "\u02a7",
|
459
|
+
'\textthook' => "\u01ad",
|
460
|
+
'\textthorn' => "\u00fe",
|
461
|
+
'\textthornvari' => "\u00fe",
|
462
|
+
'\textthornvarii' => "\u00fe",
|
463
|
+
'\textthornvariii' => "\u00fe",
|
464
|
+
'\textthornvariv' => "\u00fe",
|
465
|
+
'\textthreequarters' => "\u00be",
|
466
|
+
'\textthreesuperior' => "\u00b3",
|
467
|
+
'\texttimes' => "\u00d7",
|
468
|
+
'\texttrademark' => "\u2122",
|
469
|
+
'\texttretroflexhook' => "\u0288",
|
470
|
+
'\texttslig' => "\u02a6",
|
471
|
+
'\texttstroke' => "\u0167",
|
472
|
+
'\textturna' => "\u0250",
|
473
|
+
'\textturnh' => "\u0265",
|
474
|
+
'\textturnk' => "\u029e",
|
475
|
+
'\textturnlonglegr' => "\u027a",
|
476
|
+
'\textturnm' => "\u026f",
|
477
|
+
'\textturnmrleg' => "\u0270",
|
478
|
+
'\textturnr' => "\u0279",
|
479
|
+
'\textturnrrtail' => "\u027b",
|
480
|
+
'\textturnscripta' => "\u0252",
|
481
|
+
'\textturnt' => "\u0287",
|
482
|
+
'\textturnv' => "\u028c",
|
483
|
+
'\textturnw' => "\u028d",
|
484
|
+
'\textturny' => "\u028e",
|
485
|
+
'\texttwosuperior' => "\u00b2",
|
486
|
+
'\textunderscore' => "\u005f",
|
487
|
+
'\textupsilon' => "\u028a",
|
488
|
+
'\textvhook' => "\u028b",
|
489
|
+
'\textwon' => "\u20a9",
|
490
|
+
'\textyen' => "\u00a5",
|
491
|
+
'\textyhook' => "\u01b4",
|
492
|
+
'\textyogh' => "\u0292",
|
493
|
+
'\th' => "\u00fe",
|
494
|
+
'\therefore' => "\u2234",
|
495
|
+
'\times' => "\u00d7",
|
496
|
+
'\tone1' => "\u02e9",
|
497
|
+
'\tone2' => "\u02e8",
|
498
|
+
'\tone3' => "\u02e7",
|
499
|
+
'\tone4' => "\u02e6",
|
500
|
+
'\tone5' => "\u02e5",
|
501
|
+
'\top' => "\u22a4",
|
502
|
+
'\triangleq' => "\u225c",
|
503
|
+
'\uhorn' => "\u01b0",
|
504
|
+
'\unlhd' => "\u22b4",
|
505
|
+
'\unrhd' => "\u22b5",
|
506
|
+
'\uparrow' => "\u2191",
|
507
|
+
'\updownarrow' => "\u2195",
|
508
|
+
'\uplus' => "\u228e",
|
509
|
+
'\upsilon' => "\u03c5",
|
510
|
+
'\epsilon' => "\u03b5",
|
511
|
+
'\varepsilon' => "\u03b5",
|
512
|
+
'\phi' => "\u03c6",
|
513
|
+
'\varphi' => "\u03c6",
|
514
|
+
'\rho' => "\u03c1",
|
515
|
+
'\varrho' => "\u03c1",
|
516
|
+
'\sigma' => "\u03c2",
|
517
|
+
'\varsigma' => "\u03c2",
|
518
|
+
'\theta' => "\u03b8",
|
519
|
+
'\vartheta' => "\u03b8",
|
520
|
+
'\vdash' => "\u22a2",
|
521
|
+
'\vdots' => "\u22ee",
|
522
|
+
'\vee' => "\u2228",
|
523
|
+
'\veebar' => "\u22bb",
|
524
|
+
'\wedge' => "\u2227",
|
525
|
+
'\wr' => "\u2240",
|
526
|
+
'\xi' => "\u03be",
|
527
|
+
'\zeta' => "\u03b6",
|
528
|
+
'\not\approx' => "\u2249",
|
529
|
+
'\not\asymp' => "\u226d",
|
530
|
+
'\not\equiv' => "\u2262",
|
531
|
+
'\not\gtrsim' => "\u2275",
|
532
|
+
'\not\lesssim' => "\u2274",
|
533
|
+
'\not\ni' => "\u220c",
|
534
|
+
'\not\preccurlyeq' => "\u22e0",
|
535
|
+
'\not\simeq' => "\u2244",
|
536
|
+
'\not\sqsubseteq' => "\u22e2",
|
537
|
+
'\not\sqsupseteq' => "\u22e3",
|
538
|
+
'\not\subset' => "\u2284",
|
539
|
+
'\not\succcurlyeq' => "\u22e1",
|
540
|
+
'\not\supset' => "\u2285",
|
536
541
|
}
|
537
542
|
end
|