File: default_bindings_src.ml

package info (click to toggle)
coq 8.16.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 40,596 kB
  • sloc: ml: 219,376; sh: 3,545; python: 3,231; ansic: 2,529; makefile: 767; lisp: 279; javascript: 63; xml: 24; sed: 2
file content (2899 lines) | stat: -rw-r--r-- 139,281 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
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
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
1486
1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
1565
1566
1567
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
1637
1638
1639
1640
1641
1642
1643
1644
1645
1646
1647
1648
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
1660
1661
1662
1663
1664
1665
1666
1667
1668
1669
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
1689
1690
1691
1692
1693
1694
1695
1696
1697
1698
1699
1700
1701
1702
1703
1704
1705
1706
1707
1708
1709
1710
1711
1712
1713
1714
1715
1716
1717
1718
1719
1720
1721
1722
1723
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743
1744
1745
1746
1747
1748
1749
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
1810
1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
1821
1822
1823
1824
1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
1835
1836
1837
1838
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
1865
1866
1867
1868
1869
1870
1871
1872
1873
1874
1875
1876
1877
1878
1879
1880
1881
1882
1883
1884
1885
1886
1887
1888
1889
1890
1891
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
1902
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
1914
1915
1916
1917
1918
1919
1920
1921
1922
1923
1924
1925
1926
1927
1928
1929
1930
1931
1932
1933
1934
1935
1936
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
1947
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
1964
1965
1966
1967
1968
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
2031
2032
2033
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
2045
2046
2047
2048
2049
2050
2051
2052
2053
2054
2055
2056
2057
2058
2059
2060
2061
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
2080
2081
2082
2083
2084
2085
2086
2087
2088
2089
2090
2091
2092
2093
2094
2095
2096
2097
2098
2099
2100
2101
2102
2103
2104
2105
2106
2107
2108
2109
2110
2111
2112
2113
2114
2115
2116
2117
2118
2119
2120
2121
2122
2123
2124
2125
2126
2127
2128
2129
2130
2131
2132
2133
2134
2135
2136
2137
2138
2139
2140
2141
2142
2143
2144
2145
2146
2147
2148
2149
2150
2151
2152
2153
2154
2155
2156
2157
2158
2159
2160
2161
2162
2163
2164
2165
2166
2167
2168
2169
2170
2171
2172
2173
2174
2175
2176
2177
2178
2179
2180
2181
2182
2183
2184
2185
2186
2187
2188
2189
2190
2191
2192
2193
2194
2195
2196
2197
2198
2199
2200
2201
2202
2203
2204
2205
2206
2207
2208
2209
2210
2211
2212
2213
2214
2215
2216
2217
2218
2219
2220
2221
2222
2223
2224
2225
2226
2227
2228
2229
2230
2231
2232
2233
2234
2235
2236
2237
2238
2239
2240
2241
2242
2243
2244
2245
2246
2247
2248
2249
2250
2251
2252
2253
2254
2255
2256
2257
2258
2259
2260
2261
2262
2263
2264
2265
2266
2267
2268
2269
2270
2271
2272
2273
2274
2275
2276
2277
2278
2279
2280
2281
2282
2283
2284
2285
2286
2287
2288
2289
2290
2291
2292
2293
2294
2295
2296
2297
2298
2299
2300
2301
2302
2303
2304
2305
2306
2307
2308
2309
2310
2311
2312
2313
2314
2315
2316
2317
2318
2319
2320
2321
2322
2323
2324
2325
2326
2327
2328
2329
2330
2331
2332
2333
2334
2335
2336
2337
2338
2339
2340
2341
2342
2343
2344
2345
2346
2347
2348
2349
2350
2351
2352
2353
2354
2355
2356
2357
2358
2359
2360
2361
2362
2363
2364
2365
2366
2367
2368
2369
2370
2371
2372
2373
2374
2375
2376
2377
2378
2379
2380
2381
2382
2383
2384
2385
2386
2387
2388
2389
2390
2391
2392
2393
2394
2395
2396
2397
2398
2399
2400
2401
2402
2403
2404
2405
2406
2407
2408
2409
2410
2411
2412
2413
2414
2415
2416
2417
2418
2419
2420
2421
2422
2423
2424
2425
2426
2427
2428
2429
2430
2431
2432
2433
2434
2435
2436
2437
2438
2439
2440
2441
2442
2443
2444
2445
2446
2447
2448
2449
2450
2451
2452
2453
2454
2455
2456
2457
2458
2459
2460
2461
2462
2463
2464
2465
2466
2467
2468
2469
2470
2471
2472
2473
2474
2475
2476
2477
2478
2479
2480
2481
2482
2483
2484
2485
2486
2487
2488
2489
2490
2491
2492
2493
2494
2495
2496
2497
2498
2499
2500
2501
2502
2503
2504
2505
2506
2507
2508
2509
2510
2511
2512
2513
2514
2515
2516
2517
2518
2519
2520
2521
2522
2523
2524
2525
2526
2527
2528
2529
2530
2531
2532
2533
2534
2535
2536
2537
2538
2539
2540
2541
2542
2543
2544
2545
2546
2547
2548
2549
2550
2551
2552
2553
2554
2555
2556
2557
2558
2559
2560
2561
2562
2563
2564
2565
2566
2567
2568
2569
2570
2571
2572
2573
2574
2575
2576
2577
2578
2579
2580
2581
2582
2583
2584
2585
2586
2587
2588
2589
2590
2591
2592
2593
2594
2595
2596
2597
2598
2599
2600
2601
2602
2603
2604
2605
2606
2607
2608
2609
2610
2611
2612
2613
2614
2615
2616
2617
2618
2619
2620
2621
2622
2623
2624
2625
2626
2627
2628
2629
2630
2631
2632
2633
2634
2635
2636
2637
2638
2639
2640
2641
2642
2643
2644
2645
2646
2647
2648
2649
2650
2651
2652
2653
2654
2655
2656
2657
2658
2659
2660
2661
2662
2663
2664
2665
2666
2667
2668
2669
2670
2671
2672
2673
2674
2675
2676
2677
2678
2679
2680
2681
2682
2683
2684
2685
2686
2687
2688
2689
2690
2691
2692
2693
2694
2695
2696
2697
2698
2699
2700
2701
2702
2703
2704
2705
2706
2707
2708
2709
2710
2711
2712
2713
2714
2715
2716
2717
2718
2719
2720
2721
2722
2723
2724
2725
2726
2727
2728
2729
2730
2731
2732
2733
2734
2735
2736
2737
2738
2739
2740
2741
2742
2743
2744
2745
2746
2747
2748
2749
2750
2751
2752
2753
2754
2755
2756
2757
2758
2759
2760
2761
2762
2763
2764
2765
2766
2767
2768
2769
2770
2771
2772
2773
2774
2775
2776
2777
2778
2779
2780
2781
2782
2783
2784
2785
2786
2787
2788
2789
2790
2791
2792
2793
2794
2795
2796
2797
2798
2799
2800
2801
2802
2803
2804
2805
2806
2807
2808
2809
2810
2811
2812
2813
2814
2815
2816
2817
2818
2819
2820
2821
2822
2823
2824
2825
2826
2827
2828
2829
2830
2831
2832
2833
2834
2835
2836
2837
2838
2839
2840
2841
2842
2843
2844
2845
2846
2847
2848
2849
2850
2851
2852
2853
2854
2855
2856
2857
2858
2859
2860
2861
2862
2863
2864
2865
2866
2867
2868
2869
2870
2871
2872
2873
2874
2875
2876
2877
2878
2879
2880
2881
2882
2883
2884
2885
2886
2887
2888
2889
2890
2891
2892
2893
2894
2895
2896
2897
2898
2899
(** Usage
     ocamlc default_bindings_src.ml -o generator.out
     ./generator.out output_filename
*)

(** **************************************************************************)
(** * Classifiers *)

(** Note: for future use *)

let logic = "logic"
let symbol = "symbols"
let fraction = "fractions"
let letter = "letters"
let greek_letter = "greek letter"
let asciiart = "ASCII art"
let equivalence = "equivalence relations"
let order = "order relations"
let circle = "circles"
let square = "squares"
let triangle = "triangles"
let arrow = "arrows"
let set = "set theory"
let math = "mathematics"
let space = "spaces"
let delimiter = "parentheses and delimiters"
let miscellanea = "miscellanea"


(** **************************************************************************)
(** * Bindings set 1 *)

let bindings_set_1 = [

(* {{{ logics *)
 ["\\not"; "\\neg"; "\\lnot"                           ], "¬", [logic];
 ["\\ForAll"; "\\forall"                              ], "∀", [logic];
 ["\\exist"; "\\Exists"; "\\exists"                    ], "∃", [logic];
 ["\\nexist"; "\\nexists"; "\\NotExists"               ], "∄", [logic];
 ["\\and"; "\\land"; "\\wedge"                         ], "∧", [logic];
 ["\\or"; "\\vee"; "\\lor"                             ], "∨", [logic];
 ["\\vdash"; "\\RightTee"                             ], "⊢", [logic];
 ["\\dashv"; "\\LeftTee"                              ], "⊣", [logic];
 ["\\top"; "\\DownTee"                                ], "⊤", [logic];
 ["\\bot"; "\\perp"; "\\UpTee"; "\\bottom"              ], "⊥", [logic];
 ["\\models"                                         ], "⊧", [logic];
 ["\\vDash"; "\\DoubleRightTee"                       ], "⊨", [logic];
 ["\\Vdash"                                          ], "⊩", [logic];
 ["\\Vvdash"                                         ], "⊪", [logic];
 ["\\VDash"                                          ], "⊫", [logic];
 ["\\nvdash"                                         ], "⊬", [logic];
 ["\\nvDash"                                         ], "⊭", [logic];
 ["\\nVdash"                                         ], "⊮", [logic];
 ["\\nVDash"                                         ], "⊯", [logic];
 ["\\Wedge"; "\\xwedge"; "\\bigwedge"                  ], "⋀", [logic];
 ["\\Vee"; "\\xvee"; "\\bigvee"                        ], "⋁", [logic];
(* }}} *)

(* {{{ symbols *)
 ["\\cent"                                           ], "¢", [symbol];
 ["\\pound"                                          ], "£", [symbol];
 ["\\curren"                                         ], "¤", [symbol];
 ["\\yen"                                            ], "¥", [symbol];
 ["\\brvbar"                                         ], "¦", [symbol];
 ["\\sect"                                           ], "§", [symbol];
 ["\\uml"; "\\die"; "\\Dot"; "\\DoubleDot"              ], "¨", [symbol];
 ["\\macr"; "\\OverBar"                               ], "¯", [symbol];
 ["\\sup"                                           ], "^", [symbol];
 ["\\sup2"                                           ], "²", [symbol];
 ["\\sup3"                                           ], "³", [symbol];
 ["\\acute"; "\\DiacriticalAcute"                     ], "´", [symbol];
 ["\\para"                                           ], "¶", [symbol];
 ["\\middot"; "\\centerdot"; "\\CenterDot"             ], "·", [symbol];
 ["\\cedil"; "\\Cedilla"                              ], "¸", [symbol];
 ["\\sup1"                                           ], "¹", [symbol];
 ["\\iquest"                                         ], "¿", [symbol];
 ["\\thorn"                                          ], "þ", [symbol];
 ["\\imath"; "\\inodot"                               ], "ı", [symbol];
 ["\\Hacek"; "\\caron"                                ], "ˇ", [symbol];
 ["\\Breve"; "\\breve"                                ], "˘", [symbol];
 ["\\dot"; "\\DiacriticalDot"                         ], "˙", [symbol];
 ["\\ogon"                                           ], "˛", [symbol];
 ["\\tilde"; "\\DiacriticalTilde"                     ], "˜", [symbol];
 ["\\dblac"; "\\DiacriticalDoubleAcute"               ], "˝", [symbol];
 ["\\Hat"                                            ], "̂", [symbol];
 ["\\DownBreve"                                      ], "̑", [symbol];
 ["\\UnderBar"                                       ], "̲", [symbol];
 ["\\dash"; "\\hyphen"                                ], "‐", [symbol];
 ["\\ndash"                                          ], "–", [symbol];
 ["\\mdash"                                          ], "—", [symbol];
 ["\\horbar"                                         ], "―", [symbol];
 ["\\Vert"; "\\Verbar"                                ], "‖", [symbol];
 ["\\lsquo"; "\\OpenCurlyQuote"                       ], "‘", [symbol];
 ["\\rsquo"; "\\rsquor"; "\\CloseCurlyQuote"           ], "’", [symbol];
 ["\\lsquor"                                         ], "‚", [symbol];
 ["\\ldquo"; "\\OpenCurlyDoubleQuote"                 ], "“", [symbol];
 ["\\rdquo"; "\\rdquor"; "\\CloseCurlyDoubleQuote"     ], "”", [symbol];
 ["\\ldquor"                                         ], "„", [symbol];
 ["\\dagger"                                         ], "†", [symbol];
 ["\\Dagger"; "\\ddagger"                             ], "‡", [symbol];
 ["\\nldr"                                           ], "‥", [symbol];
 ["\\mldr"; "\\dots"; "\\ldots"; "\\hellip"             ], "…", [symbol];
 ["\\prime"                                          ], "′", [symbol];
 ["\\Prime"                                          ], "″", [symbol];
 ["\\tprime"                                         ], "‴", [symbol];
 ["\\bprime"; "\\backprime"                           ], "‵", [symbol];
 ["\\caret"                                          ], "⁁", [symbol];
 ["\\hybull"                                         ], "⁃", [symbol];
 ["\\bsemi"                                          ], "⁏", [symbol];
 ["\\qprime"                                         ], "⁗", [symbol];
 ["\\MediumSpace"                                    ], " ", [symbol];
 ["\\tdot"; "\\TripleDot"                             ], "⃛", [symbol];
 ["\\DotDot"                                         ], "⃜", [symbol];
 ["\\minus"                                          ], "−", [symbol];
 ["\\angrt"                                          ], "∟", [symbol];
 ["\\ang"; "\\angle"                                  ], "∠", [symbol];
 ["\\nang"                                           ], "∠̸", [symbol];
 ["\\angmsd"; "\\measuredangle"                       ], "∡", [symbol];
 ["\\angsph"                                         ], "∢", [symbol];
 ["\\par"; "\\parallel"; "\\DoubleVerticalBar"         ], "∥", [symbol];
 ["\\there4"; "\\Therefore"; "\\therefore"             ], "∴", [symbol];
 ["\\becaus"; "\\because"; "\\Because"                 ], "∵", [symbol];
 ["\\ratio"                                          ], "∶", [symbol];
 ["\\Colon"; "\\Proportion"                           ], "∷", [symbol];
 ["\\minusd"; "\\dotminus"                            ], "∸", [symbol];
 ["\\mDDot"                                          ], "∺", [symbol];
 ["\\homtht"                                         ], "∻", [symbol];
 ["\\sim"; "\\Tilde"                                  ], "∼", [symbol];
 ["\\mstpos"                                         ], "∾", [symbol];
 ["\\acd"                                            ], "∿", [symbol];
 ["\\wr"; "\\wreath"; "\\VerticalTilde"                ], "≀", [symbol];
 ["\\origof"                                         ], "⊶", [symbol];
 ["\\imof"                                           ], "⊷", [symbol];
 ["\\mumap"; "\\multimap"                             ], "⊸", [symbol];
 ["\\hercon"                                         ], "⊹", [symbol];
 ["\\intcal"; "\\intercal"                            ], "⊺", [symbol];
 ["\\veebar"                                         ], "⊻", [symbol];
 ["\\barwed"; "\\barwedge"                            ], "⊼", [symbol];
 ["\\barvee"                                         ], "⊽", [symbol];
 ["\\vangrt"                                         ], "⊾", [symbol];
 ["\\lrtri"                                          ], "⊿", [symbol];
 ["\\diam"; "\\Diamond"; "\\diamond"                   ], "⋄", [symbol];
 ["\\sdot"                                           ], "⋅", [symbol];
 ["\\Star"; "\\star"; "\\sstarf"                       ], "⋆", [symbol];
 ["\\divonx"; "\\divideontimes"                       ], "⋇", [symbol];
 ["\\bowtie"                                         ], "⋈", [symbol];
 ["\\ltimes"                                         ], "⋉", [symbol];
 ["\\rtimes"                                         ], "⋊", [symbol];
 ["\\lthree"; "\\leftthreetimes"                      ], "⋋", [symbol];
 ["\\rthree"; "\\rightthreetimes"                     ], "⋌", [symbol];
 ["\\cuvee"; "\\curlyvee"                             ], "⋎", [symbol];
 ["\\cuwed"; "\\curlywedge"                           ], "⋏", [symbol];
 ["\\fork"; "\\pitchfork"                             ], "⋔", [symbol];
 ["\\epar"                                           ], "⋕", [symbol];
 ["\\vdots"; "\\vellip"                               ], "⋮", [symbol];
 ["\\cdots"; "\\ctdot"                                ], "⋯", [symbol];
 ["\\utdot"                                          ], "⋰", [symbol];
 ["\\ddots"; "\\dtdot"                                ], "⋱", [symbol];
 ["\\Barwed"; "\\doublebarwedge"                      ], "⌆", [symbol];
 ["\\bnot"                                           ], "⌐", [symbol];
 ["\\profline"                                       ], "⌒", [symbol];
 ["\\profsurf"                                       ], "⌓", [symbol];
 ["\\telrec"                                         ], "⌕", [symbol];
 ["\\frown"                                          ], "⌢", [symbol];
 ["\\smile"                                          ], "⌣", [symbol];
 ["\\blank"                                          ], "␣", [symbol];
 ["\\HorizontalLine"                                 ], "─", [symbol];
 ["\\loz"; "\\lozenge"                                ], "◊", [symbol];
 ["\\starf"; "\\bigstar"                              ], "★", [symbol];
 ["\\phone"                                          ], "☎", [symbol];
 ["\\female"                                         ], "♀", [symbol];
 ["\\male"                                           ], "♂", [symbol];
 ["\\spades"; "\\spadesuit"                           ], "♠", [symbol];
 ["\\heartsuit"                                      ], "♡", [symbol];
 ["\\diamondsuit"                                    ], "♢", [symbol];
 ["\\clubs"; "\\clubsuit"                             ], "♣", [symbol];
 ["\\diams"                                          ], "♦", [symbol];
 ["\\sung"                                           ], "♪", [symbol];
 ["\\flat"                                           ], "♭", [symbol];
 ["\\natur"; "\\natural"                              ], "♮", [symbol];
 ["\\sharp"                                          ], "♯", [symbol];
 ["\\check"; "\\checkmark"                            ], "✓", [symbol];
 ["\\cross"                                          ], "✗", [symbol];
 ["\\malt"; "\\maltese"                               ], "✠", [symbol];
 ["\\sext"                                           ], "✶", [symbol];
 ["\\VerticalSeparator"                              ], "❘", [symbol];
 ["\\lozf"; "\\blacklozenge"                          ], "⧫", [symbol];
 ["\\OverParenthesis"                                ], "︵", [symbol];
 ["\\UnderParenthesis"                               ], "︶", [symbol];
 ["\\OverBrace"                                      ], "︷", [symbol];
 ["\\UnderBrace"                                     ], "︸", [symbol];
 ["\\Yang"                                           ], "⚊", [symbol];
(* }}} *)

(* {{{ fraction *)
 ["\\frac14"                                         ], "¼", [fraction];
 ["\\half"; "\\frac"                                  ], "½", [fraction];
 ["\\frac34"                                         ], "¾", [fraction];
 ["\\permil"                                         ], "‰", [fraction];
 ["\\pertenk"                                        ], "‱", [fraction];
 ["\\incare"                                         ], "℅", [fraction];
 ["\\frac13"                                         ], "⅓", [fraction];
 ["\\frac23"                                         ], "⅔", [fraction];
 ["\\frac15"                                         ], "⅕", [fraction];
 ["\\frac25"                                         ], "⅖", [fraction];
 ["\\frac35"                                         ], "⅗", [fraction];
 ["\\frac45"                                         ], "⅘", [fraction];
 ["\\frac16"                                         ], "⅙", [fraction];
 ["\\frac56"                                         ], "⅚", [fraction];
 ["\\frac18"                                         ], "⅛", [fraction];
 ["\\frac38"                                         ], "⅜", [fraction];
 ["\\frac58"                                         ], "⅝", [fraction];
 ["\\frac78"                                         ], "⅞", [fraction];
(* }}} *)

(* {{{ greek letters *)
 ["\\alpha"                                          ], "α", [greek_letter];
 ["\\beta"                                           ], "β", [greek_letter];
 ["\\gamma"                                          ], "γ", [greek_letter];
 ["\\delta"                                          ], "δ", [greek_letter];
 ["\\epsilon"                                        ], "ϵ", [greek_letter];
 ["\\varepsilon"; "\\straightepsilon"                ], "ε", [greek_letter];
 ["\\epsiv"                                          ], "ɛ", [greek_letter];
 ["\\bepsi"; "\\backepsilon"                         ], "϶", [greek_letter];
 ["\\zeta"                                           ], "ζ", [greek_letter];
 ["\\eta"                                            ], "η", [greek_letter];
 ["\\theta"                                          ], "θ", [greek_letter];
 ["\\vartheta"                                       ], "ϑ", [greek_letter];
 ["\\iota"                                           ], "ι", [greek_letter];
 ["\\kappa"                                          ], "κ", [greek_letter];
 ["\\varkappa"                                       ], "ϰ", [greek_letter];
 ["\\lambda"                                         ], "λ", [greek_letter];
 ["\\mu"                                             ], "μ", [greek_letter];
 ["\\nu"                                             ], "ν", [greek_letter];
 ["\\xi"                                             ], "ξ", [greek_letter];
 ["\\o"                                              ], "ο", [greek_letter];
 ["\\pi"                                             ], "π", [greek_letter];
 ["\\varpi"                                          ], "ϖ", [greek_letter];
 ["\\rho"                                            ], "ρ", [greek_letter];
 ["\\varrho"                                         ], "ϱ", [greek_letter];
 ["\\sigma"                                          ], "σ", [greek_letter];
 ["\\varsigma"                                       ], "ς", [greek_letter];
 ["\\tau"                                            ], "τ", [greek_letter];
 ["\\upsilon"                                        ], "υ", [greek_letter];
 ["\\phi"                                            ], "ϕ", [greek_letter];
 ["\\varphi"; "\\straightphi"                        ], "φ", [greek_letter];
 ["\\chi"                                            ], "χ", [greek_letter];
 ["\\psi"                                            ], "ψ", [greek_letter];
 ["\\omega"                                          ], "ω", [greek_letter];
 ["\\Gamma"                                          ], "Γ", [greek_letter];
 ["\\Gammad"; "\\gammad"; "\\digamma"                ], "Ϝ", [greek_letter];
 ["\\Delta"                                          ], "Δ", [greek_letter];
 ["\\Theta"                                          ], "Θ", [greek_letter];
 ["\\Lambda"                                         ], "Λ", [greek_letter];
 ["\\Xi"                                             ], "Ξ", [greek_letter];
 ["\\Pi"                                             ], "Π", [greek_letter];
 ["\\Sigma"                                          ], "Σ", [greek_letter];
 ["\\Upsilon"                                        ], "ϒ", [greek_letter];
 ["\\Phi"                                            ], "Φ", [greek_letter];
 ["\\Psi"                                            ], "Ψ", [greek_letter];
 ["\\Omega"                                          ], "Ω", [greek_letter];
(* }}} *)

(* {{{ letters *)
 ["\\iexcl"                                          ], "¡", [letter];
 ["\\ordf"                                           ], "ª", [letter];
 ["\\micro"                                          ], "µ", [letter];
 ["\\Agrave"                                         ], "À", [letter];
 ["\\Aacute"                                         ], "Á", [letter];
 ["\\Acirc"                                          ], "Â", [letter];
 ["\\Atilde"                                         ], "Ã", [letter];
 ["\\Auml"                                           ], "Ä", [letter];
 ["\\Aring"                                          ], "Å", [letter];
 ["\\AElig"                                          ], "Æ", [letter];
 ["\\Ccedil"                                         ], "Ç", [letter];
 ["\\Egrave"                                         ], "È", [letter];
 ["\\Eacute"                                         ], "É", [letter];
 ["\\Ecirc"                                          ], "Ê", [letter];
 ["\\Euml"                                           ], "Ë", [letter];
 ["\\Igrave"                                         ], "Ì", [letter];
 ["\\Iacute"                                         ], "Í", [letter];
 ["\\Icirc"                                          ], "Î", [letter];
 ["\\Iuml"                                           ], "Ï", [letter];
 ["\\ETH"                                            ], "Ð", [letter];
 ["\\Ntilde"                                         ], "Ñ", [letter];
 ["\\Ograve"                                         ], "Ò", [letter];
 ["\\Oacute"                                         ], "Ó", [letter];
 ["\\Ocirc"                                          ], "Ô", [letter];
 ["\\Otilde"                                         ], "Õ", [letter];
 ["\\Ouml"                                           ], "Ö", [letter];
 ["\\Oslash"                                         ], "Ø", [letter];
 ["\\Ugrave"                                         ], "Ù", [letter];
 ["\\Uacute"                                         ], "Ú", [letter];
 ["\\Ucirc"                                          ], "Û", [letter];
 ["\\Uuml"                                           ], "Ü", [letter];
 ["\\Yacute"                                         ], "Ý", [letter];
 ["\\THORN"                                          ], "Þ", [letter];
 ["\\szlig"                                          ], "ß", [letter];
 ["\\agrave"                                         ], "à", [letter];
 ["\\aacute"                                         ], "á", [letter];
 ["\\acirc"                                          ], "â", [letter];
 ["\\atilde"                                         ], "ã", [letter];
 ["\\auml"                                           ], "ä", [letter];
 ["\\aring"                                          ], "å", [letter];
 ["\\aelig"                                          ], "æ", [letter];
 ["\\ccedil"                                         ], "ç", [letter];
 ["\\egrave"                                         ], "è", [letter];
 ["\\eacute"                                         ], "é", [letter];
 ["\\ecirc"                                          ], "ê", [letter];
 ["\\euml"                                           ], "ë", [letter];
 ["\\igrave"                                         ], "ì", [letter];
 ["\\iacute"                                         ], "í", [letter];
 ["\\icirc"                                          ], "î", [letter];
 ["\\iuml"                                           ], "ï", [letter];
 ["\\eth"                                            ], "ð", [letter];
 ["\\ntilde"                                         ], "ñ", [letter];
 ["\\ograve"                                         ], "ò", [letter];
 ["\\oacute"                                         ], "ó", [letter];
 ["\\ocirc"                                          ], "ô", [letter];
 ["\\otilde"                                         ], "õ", [letter];
 ["\\ouml"                                           ], "ö", [letter];
 ["\\ugrave"                                         ], "ù", [letter];
 ["\\uacute"                                         ], "ú", [letter];
 ["\\ucirc"                                          ], "û", [letter];
 ["\\uuml"                                           ], "ü", [letter];
 ["\\yacute"                                         ], "ý", [letter];
 ["\\yuml"                                           ], "ÿ", [letter];
 ["\\Amacr"                                          ], "Ā", [letter];
 ["\\amacr"                                          ], "ā", [letter];
 ["\\Abreve"                                         ], "Ă", [letter];
 ["\\abreve"                                         ], "ă", [letter];
 ["\\Aogon"                                          ], "Ą", [letter];
 ["\\aogon"                                          ], "ą", [letter];
 ["\\Cacute"                                         ], "Ć", [letter];
 ["\\cacute"                                         ], "ć", [letter];
 ["\\Ccirc"                                          ], "Ĉ", [letter];
 ["\\ccirc"                                          ], "ĉ", [letter];
 ["\\Cdot"                                           ], "Ċ", [letter];
 ["\\cdot"                                           ], "ċ", [letter];
 ["\\Ccaron"                                         ], "Č", [letter];
 ["\\ccaron"                                         ], "č", [letter];
 ["\\Dcaron"                                         ], "Ď", [letter];
 ["\\dcaron"                                         ], "ď", [letter];
 ["\\Dstrok"                                         ], "Đ", [letter];
 ["\\dstrok"                                         ], "đ", [letter];
 ["\\Emacr"                                          ], "Ē", [letter];
 ["\\emacr"                                          ], "ē", [letter];
 ["\\Edot"                                           ], "Ė", [letter];
 ["\\edot"                                           ], "ė", [letter];
 ["\\Eogon"                                          ], "Ę", [letter];
 ["\\eogon"                                          ], "ę", [letter];
 ["\\Ecaron"                                         ], "Ě", [letter];
 ["\\ecaron"                                         ], "ě", [letter];
 ["\\Gcirc"                                          ], "Ĝ", [letter];
 ["\\gcirc"                                          ], "ĝ", [letter];
 ["\\Gbreve"                                         ], "Ğ", [letter];
 ["\\gbreve"                                         ], "ğ", [letter];
 ["\\Gdot"                                           ], "Ġ", [letter];
 ["\\gdot"                                           ], "ġ", [letter];
 ["\\Gcedil"                                         ], "Ģ", [letter];
 ["\\Hcirc"                                          ], "Ĥ", [letter];
 ["\\hcirc"                                          ], "ĥ", [letter];
 ["\\Hstrok"                                         ], "Ħ", [letter];
 ["\\hstrok"                                         ], "ħ", [letter];
 ["\\Itilde"                                         ], "Ĩ", [letter];
 ["\\itilde"                                         ], "ĩ", [letter];
 ["\\Imacr"                                          ], "Ī", [letter];
 ["\\imacr"                                          ], "ī", [letter];
 ["\\Iogon"                                          ], "Į", [letter];
 ["\\iogon"                                          ], "į", [letter];
 ["\\Idot"                                           ], "İ", [letter];
 ["\\IJlig"                                          ], "IJ", [letter];
 ["\\ijlig"                                          ], "ij", [letter];
 ["\\Jcirc"                                          ], "Ĵ", [letter];
 ["\\jcirc"                                          ], "ĵ", [letter];
 ["\\Kcedil"                                         ], "Ķ", [letter];
 ["\\kcedil"                                         ], "ķ", [letter];
 ["\\kgreen"                                         ], "ĸ", [letter];
 ["\\Lacute"                                         ], "Ĺ", [letter];
 ["\\lacute"                                         ], "ĺ", [letter];
 ["\\Lcedil"                                         ], "Ļ", [letter];
 ["\\lcedil"                                         ], "ļ", [letter];
 ["\\Lcaron"                                         ], "Ľ", [letter];
 ["\\lcaron"                                         ], "ľ", [letter];
 ["\\Lmidot"                                         ], "Ŀ", [letter];
 ["\\lmidot"                                         ], "ŀ", [letter];
 ["\\Lstrok"                                         ], "Ł", [letter];
 ["\\lstrok"                                         ], "ł", [letter];
 ["\\Nacute"                                         ], "Ń", [letter];
 ["\\nacute"                                         ], "ń", [letter];
 ["\\Ncedil"                                         ], "Ņ", [letter];
 ["\\ncedil"                                         ], "ņ", [letter];
 ["\\Ncaron"                                         ], "Ň", [letter];
 ["\\ncaron"                                         ], "ň", [letter];
 ["\\napos"                                          ], "ʼn", [letter];
 ["\\ENG"                                            ], "Ŋ", [letter];
 ["\\eng"                                            ], "ŋ", [letter];
 ["\\Omacr"                                          ], "Ō", [letter];
 ["\\omacr"                                          ], "ō", [letter];
 ["\\Odblac"                                         ], "Ő", [letter];
 ["\\odblac"                                         ], "ő", [letter];
 ["\\OElig"                                          ], "Œ", [letter];
 ["\\oelig"                                          ], "œ", [letter];
 ["\\Racute"                                         ], "Ŕ", [letter];
 ["\\racute"                                         ], "ŕ", [letter];
 ["\\Rcedil"                                         ], "Ŗ", [letter];
 ["\\rcedil"                                         ], "ŗ", [letter];
 ["\\Rcaron"                                         ], "Ř", [letter];
 ["\\rcaron"                                         ], "ř", [letter];
 ["\\Sacute"                                         ], "Ś", [letter];
 ["\\sacute"                                         ], "ś", [letter];
 ["\\Scirc"                                          ], "Ŝ", [letter];
 ["\\scirc"                                          ], "ŝ", [letter];
 ["\\Scedil"                                         ], "Ş", [letter];
 ["\\scedil"                                         ], "ş", [letter];
 ["\\Scaron"                                         ], "Š", [letter];
 ["\\scaron"                                         ], "š", [letter];
 ["\\Tcedil"                                         ], "Ţ", [letter];
 ["\\tcedil"                                         ], "ţ", [letter];
 ["\\Tcaron"                                         ], "Ť", [letter];
 ["\\tcaron"                                         ], "ť", [letter];
 ["\\Tstrok"                                         ], "Ŧ", [letter];
 ["\\tstrok"                                         ], "ŧ", [letter];
 ["\\Utilde"                                         ], "Ũ", [letter];
 ["\\utilde"                                         ], "ũ", [letter];
 ["\\Umacr"                                          ], "Ū", [letter];
 ["\\umacr"                                          ], "ū", [letter];
 ["\\Ubreve"                                         ], "Ŭ", [letter];
 ["\\ubreve"                                         ], "ŭ", [letter];
 ["\\Uring"                                          ], "Ů", [letter];
 ["\\uring"                                          ], "ů", [letter];
 ["\\Udblac"                                         ], "Ű", [letter];
 ["\\udblac"                                         ], "ű", [letter];
 ["\\Uogon"                                          ], "Ų", [letter];
 ["\\uogon"                                          ], "ų", [letter];
 ["\\Wcirc"                                          ], "Ŵ", [letter];
 ["\\wcirc"                                          ], "ŵ", [letter];
 ["\\Ycirc"                                          ], "Ŷ", [letter];
 ["\\ycirc"                                          ], "ŷ", [letter];
 ["\\Yuml"                                           ], "Ÿ", [letter];
 ["\\Zacute"                                         ], "Ź", [letter];
 ["\\zacute"                                         ], "ź", [letter];
 ["\\Zdot"                                           ], "Ż", [letter];
 ["\\zdot"                                           ], "ż", [letter];
 ["\\Zcaron"                                         ], "Ž", [letter];
 ["\\zcaron"                                         ], "ž", [letter];
 ["\\fnof"                                           ], "ƒ", [letter];
 ["\\gacute"                                         ], "ǵ", [letter];
 ["\\IOcy"                                           ], "Ё", [letter];
 ["\\DJcy"                                           ], "Ђ", [letter];
 ["\\GJcy"                                           ], "Ѓ", [letter];
 ["\\Jukcy"                                          ], "Є", [letter];
 ["\\DScy"                                           ], "Ѕ", [letter];
 ["\\Iukcy"                                          ], "І", [letter];
 ["\\YIcy"                                           ], "Ї", [letter];
 ["\\Jsercy"                                         ], "Ј", [letter];
 ["\\LJcy"                                           ], "Љ", [letter];
 ["\\NJcy"                                           ], "Њ", [letter];
 ["\\TSHcy"                                          ], "Ћ", [letter];
 ["\\KJcy"                                           ], "Ќ", [letter];
 ["\\Ubrcy"                                          ], "Ў", [letter];
 ["\\DZcy"                                           ], "Џ", [letter];
 ["\\Acy"                                            ], "А", [letter];
 ["\\Bcy"                                            ], "Б", [letter];
 ["\\Vcy"                                            ], "В", [letter];
 ["\\Gcy"                                            ], "Г", [letter];
 ["\\Dcy"                                            ], "Д", [letter];
 ["\\IEcy"                                           ], "Е", [letter];
 ["\\ZHcy"                                           ], "Ж", [letter];
 ["\\Zcy"                                            ], "З", [letter];
 ["\\Icy"                                            ], "И", [letter];
 ["\\Jcy"                                            ], "Й", [letter];
 ["\\Kcy"                                            ], "К", [letter];
 ["\\Lcy"                                            ], "Л", [letter];
 ["\\Mcy"                                            ], "М", [letter];
 ["\\Ncy"                                            ], "Н", [letter];
 ["\\Ocy"                                            ], "О", [letter];
 ["\\Pcy"                                            ], "П", [letter];
 ["\\Rcy"                                            ], "Р", [letter];
 ["\\Scy"                                            ], "С", [letter];
 ["\\Tcy"                                            ], "Т", [letter];
 ["\\Ucy"                                            ], "У", [letter];
 ["\\Fcy"                                            ], "Ф", [letter];
 ["\\KHcy"                                           ], "Х", [letter];
 ["\\TScy"                                           ], "Ц", [letter];
 ["\\CHcy"                                           ], "Ч", [letter];
 ["\\SHcy"                                           ], "Ш", [letter];
 ["\\SHCHcy"                                         ], "Щ", [letter];
 ["\\HARDcy"                                         ], "Ъ", [letter];
 ["\\Ycy"                                            ], "Ы", [letter];
 ["\\SOFTcy"                                         ], "Ь", [letter];
 ["\\Ecy"                                            ], "Э", [letter];
 ["\\YUcy"                                           ], "Ю", [letter];
 ["\\YAcy"                                           ], "Я", [letter];
 ["\\acy"                                            ], "а", [letter];
 ["\\bcy"                                            ], "б", [letter];
 ["\\vcy"                                            ], "в", [letter];
 ["\\gcy"                                            ], "г", [letter];
 ["\\dcy"                                            ], "д", [letter];
 ["\\iecy"                                           ], "е", [letter];
 ["\\zhcy"                                           ], "ж", [letter];
 ["\\zcy"                                            ], "з", [letter];
 ["\\icy"                                            ], "и", [letter];
 ["\\jcy"                                            ], "й", [letter];
 ["\\kcy"                                            ], "к", [letter];
 ["\\lcy"                                            ], "л", [letter];
 ["\\mcy"                                            ], "м", [letter];
 ["\\ncy"                                            ], "н", [letter];
 ["\\ocy"                                            ], "о", [letter];
 ["\\pcy"                                            ], "п", [letter];
 ["\\rcy"                                            ], "р", [letter];
 ["\\scy"                                            ], "с", [letter];
 ["\\tcy"                                            ], "т", [letter];
 ["\\ucy"                                            ], "у", [letter];
 ["\\fcy"                                            ], "ф", [letter];
 ["\\khcy"                                           ], "х", [letter];
 ["\\tscy"                                           ], "ц", [letter];
 ["\\chcy"                                           ], "ч", [letter];
 ["\\shcy"                                           ], "ш", [letter];
 ["\\shchcy"                                         ], "щ", [letter];
 ["\\hardcy"                                         ], "ъ", [letter];
 ["\\ycy"                                            ], "ы", [letter];
 ["\\softcy"                                         ], "ь", [letter];
 ["\\ecy"                                            ], "э", [letter];
 ["\\yucy"                                           ], "ю", [letter];
 ["\\yacy"                                           ], "я", [letter];
 ["\\iocy"                                           ], "ё", [letter];
 ["\\djcy"                                           ], "ђ", [letter];
 ["\\gjcy"                                           ], "ѓ", [letter];
 ["\\jukcy"                                          ], "є", [letter];
 ["\\dscy"                                           ], "ѕ", [letter];
 ["\\iukcy"                                          ], "і", [letter];
 ["\\yicy"                                           ], "ї", [letter];
 ["\\jsercy"                                         ], "ј", [letter];
 ["\\ljcy"                                           ], "љ", [letter];
 ["\\njcy"                                           ], "њ", [letter];
 ["\\tshcy"                                          ], "ћ", [letter];
 ["\\kjcy"                                           ], "ќ", [letter];
 ["\\ubrcy"                                          ], "ў", [letter];
 ["\\dzcy"                                           ], "џ", [letter];
 ["\\Copf"; "\\complexes"                             ], "ℂ", [letter];
 ["\\gscr"                                           ], "ℊ", [letter];
 ["\\Hscr"; "\\hamilt"; "\\HilbertSpace"               ], "ℋ", [letter];
 ["\\Hfr"; "\\Poincareplane"                          ], "ℌ", [letter];
 ["\\Hopf"; "\\quaternions"                           ], "ℍ", [letter];
 ["\\planckh"                                        ], "ℎ", [letter];
 ["\\hslash"; "\\plankv"                              ], "ℏ", [letter];
 ["\\hbar"; "\\planck"                                ], "ℏ", [letter];
 ["\\Iscr"; "\\imagline"                              ], "ℐ", [letter];
 ["\\Im"; "\\Ifr"; "\\image"; "\\imagpart"              ], "ℑ", [letter];
 ["\\Lscr"; "\\lagran"; "\\Laplacetrf"                 ], "ℒ", [letter];
 ["\\ell"; "\\lscr"                                   ], "ℓ", [letter];
 ["\\Nopf"; "\\naturals"                              ], "ℕ", [letter];
 ["\\numero"                                         ], "№", [letter];
 ["\\copysr"                                         ], "℗", [letter];
 ["\\wp"; "\\weierp"                                  ], "℘", [letter];
 ["\\Popf"; "\\primes"                                ], "ℙ", [letter];
 ["\\Qopf"; "\\rationals"                             ], "ℚ", [letter];
 ["\\Rscr"; "\\realine"                               ], "ℛ", [letter];
 ["\\Re"; "\\Rfr"; "\\real"; "\\realpart"               ], "ℜ", [letter];
 ["\\Ropf"; "\\reals"                                 ], "ℝ", [letter];
 ["\\rx"                                             ], "℞", [letter];
 ["\\trade"                                          ], "™", [letter];
 ["\\Zopf"; "\\integers"                              ], "ℤ", [letter];
 ["\\ohm"                                            ], "Ω", [letter];
 ["\\mho"                                            ], "℧", [letter];
 ["\\Zfr"; "\\zeetrf"                                 ], "ℨ", [letter];
 ["\\iiota"                                          ], "℩", [letter];
 ["\\angst"                                          ], "Å", [letter];
 ["\\Bscr"; "\\bernou"; "\\Bernoullis"                 ], "ℬ", [letter];
 ["\\Cfr"; "\\Cayleys"                                ], "ℭ", [letter];
 ["\\escr"                                           ], "ℯ", [letter];
 ["\\Escr"; "\\expectation"                           ], "ℰ", [letter];
 ["\\Fscr"; "\\Fouriertrf"                            ], "ℱ", [letter];
 ["\\Mscr"; "\\phmmat"; "\\Mellintrf"                  ], "ℳ", [letter];
 ["\\oscr"; "\\order"; "\\orderof"                     ], "ℴ", [letter];
 ["\\aleph"                                          ], "ℵ", [letter];
 ["\\beth"                                           ], "ℶ", [letter];
 ["\\gimel"                                          ], "ℷ", [letter];
 ["\\daleth"                                         ], "ℸ", [letter];
 ["\\DD"; "\\CapitalDifferentialD"                    ], "ⅅ", [letter];
 ["\\dd"; "\\DifferentialD"                           ], "ⅆ", [letter];
 ["\\ee"; "\\exponentiale"; "\\ExponentialE"           ], "ⅇ", [letter];
 ["\\ii"; "\\ImaginaryI"                              ], "ⅈ", [letter];
 ["\\comp"; "\\complement"                            ], "∁", [letter];
 ["\\part"; "\\partial"; "\\PartialD"                  ], "∂", [letter];
 ["\\npart"                                          ], "∂̸", [letter];
 ["\\easter"                                         ], "≛", [letter];
 ["\\fpartint"                                       ], "⨍", [letter];
 ["\\fflig"                                          ], "ff", [letter];
 ["\\filig"                                          ], "fi", [letter];
 ["\\fllig"                                          ], "fl", [letter];
 ["\\ffilig"                                         ], "ffi", [letter];
 ["\\ffllig"                                         ], "ffl", [letter];
 ["\\Aopf"                                           ], "𝔸", [letter];
 ["\\Bopf"                                           ], "𝔹", [letter];
 ["\\Dopf"                                           ], "𝔻", [letter];
 ["\\Eopf"                                           ], "𝔼", [letter];
 ["\\Fopf"                                           ], "𝔽", [letter];
 ["\\Gopf"                                           ], "𝔾", [letter];
 ["\\Iopf"                                           ], "𝕀", [letter];
 ["\\Jopf"                                           ], "𝕁", [letter];
 ["\\Kopf"                                           ], "𝕂", [letter];
 ["\\Lopf"; "\\imped"                                 ], "𝕃", [letter];
 ["\\Mopf"                                           ], "𝕄", [letter];
 ["\\Oopf"                                           ], "𝕆", [letter];
 ["\\Sopf"                                           ], "𝕊", [letter];
 ["\\Topf"                                           ], "𝕋", [letter];
 ["\\Uopf"                                           ], "𝕌", [letter];
 ["\\Vopf"                                           ], "𝕍", [letter];
 ["\\Wopf"                                           ], "𝕎", [letter];
 ["\\Xopf"                                           ], "𝕏", [letter];
 ["\\Yopf"                                           ], "𝕐", [letter];
 ["\\aopf"                                           ], "𝕒", [letter];
 ["\\bopf"                                           ], "𝕓", [letter];
 ["\\copf"                                           ], "𝕔", [letter];
 ["\\dopf"                                           ], "𝕕", [letter];
 ["\\eopf"                                           ], "𝕖", [letter];
 ["\\fopf"                                           ], "𝕗", [letter];
 ["\\gopf"                                           ], "𝕘", [letter];
 ["\\hopf"                                           ], "𝕙", [letter];
 ["\\iopf"                                           ], "𝕚", [letter];
 ["\\jopf"                                           ], "𝕛", [letter];
 ["\\kopf"                                           ], "𝕜", [letter];
 ["\\lopf"                                           ], "𝕝", [letter];
 ["\\mopf"                                           ], "𝕞", [letter];
 ["\\nopf"                                           ], "𝕟", [letter];
 ["\\oopf"                                           ], "𝕠", [letter];
 ["\\popf"                                           ], "𝕡", [letter];
 ["\\qopf"                                           ], "𝕢", [letter];
 ["\\ropf"                                           ], "𝕣", [letter];
 ["\\sopf"                                           ], "𝕤", [letter];
 ["\\topf"                                           ], "𝕥", [letter];
 ["\\uopf"                                           ], "𝕦", [letter];
 ["\\vopf"                                           ], "𝕧", [letter];
 ["\\wopf"                                           ], "𝕨", [letter];
 ["\\xopf"                                           ], "𝕩", [letter];
 ["\\yopf"                                           ], "𝕪", [letter];
 ["\\zopf"                                           ], "𝕫", [letter];
(* }}} *)

(* {{{ ASCII art *)
 ["\\lceil"; "\\LeftCeiling"                          ], "⌈", [asciiart];
 ["\\rceil"; "\\RightCeiling"                         ], "⌉", [asciiart];
 ["\\lfloor"; "\\LeftFloor"                           ], "⌊", [asciiart];
 ["\\rfloor"; "\\RightFloor"                          ], "⌋", [asciiart];
 ["\\drcrop"                                         ], "⌌", [asciiart];
 ["\\dlcrop"                                         ], "⌍", [asciiart];
 ["\\urcrop"                                         ], "⌎", [asciiart];
 ["\\ulcrop"                                         ], "⌏", [asciiart];
 ["\\ulcorn"; "\\ulcorner"                            ], "⌜", [asciiart];
 ["\\urcorn"; "\\urcorner"                            ], "⌝", [asciiart];
 ["\\dlcorn"; "\\llcorner"                            ], "⌞", [asciiart];
 ["\\drcorn"; "\\lrcorner"                            ], "⌟", [asciiart];
 ["\\boxh"                                           ], "─", [asciiart];
 ["\\boxv"                                           ], "│", [asciiart];
 ["\\boxdr"                                          ], "┌", [asciiart];
 ["\\boxdl"                                          ], "┐", [asciiart];
 ["\\boxur"                                          ], "└", [asciiart];
 ["\\boxul"                                          ], "┘", [asciiart];
 ["\\boxvr"                                          ], "├", [asciiart];
 ["\\boxvl"                                          ], "┤", [asciiart];
 ["\\boxhd"                                          ], "┬", [asciiart];
 ["\\boxhu"                                          ], "┴", [asciiart];
 ["\\boxvh"                                          ], "┼", [asciiart];
 ["\\boxH"                                           ], "═", [asciiart];
 ["\\boxV"                                           ], "║", [asciiart];
 ["\\boxdR"                                          ], "╒", [asciiart];
 ["\\boxDr"                                          ], "╓", [asciiart];
 ["\\boxDR"                                          ], "╔", [asciiart];
 ["\\boxdL"                                          ], "╕", [asciiart];
 ["\\boxDl"                                          ], "╖", [asciiart];
 ["\\boxDL"                                          ], "╗", [asciiart];
 ["\\boxuR"                                          ], "╘", [asciiart];
 ["\\boxUr"                                          ], "╙", [asciiart];
 ["\\boxUR"                                          ], "╚", [asciiart];
 ["\\boxuL"                                          ], "╛", [asciiart];
 ["\\boxUl"                                          ], "╜", [asciiart];
 ["\\boxUL"                                          ], "╝", [asciiart];
 ["\\boxvR"                                          ], "╞", [asciiart];
 ["\\boxVr"                                          ], "╟", [asciiart];
 ["\\boxVR"                                          ], "╠", [asciiart];
 ["\\boxvL"                                          ], "╡", [asciiart];
 ["\\boxVl"                                          ], "╢", [asciiart];
 ["\\boxVL"                                          ], "╣", [asciiart];
 ["\\boxHd"                                          ], "╤", [asciiart];
 ["\\boxhD"                                          ], "╥", [asciiart];
 ["\\boxHD"                                          ], "╦", [asciiart];
 ["\\boxHu"                                          ], "╧", [asciiart];
 ["\\boxhU"                                          ], "╨", [asciiart];
 ["\\boxHU"                                          ], "╩", [asciiart];
 ["\\boxvH"                                          ], "╪", [asciiart];
 ["\\boxVh"                                          ], "╫", [asciiart];
 ["\\boxVH"                                          ], "╬", [asciiart];
 ["\\block"                                          ], "█", [asciiart];
 ["\\blk14"                                          ], "░", [asciiart];
 ["\\blk12"                                          ], "▒", [asciiart];
 ["\\blk34"                                          ], "▓", [asciiart];
(* }}} *)

(* {{{ equivalence *)
 ["\\bsim"; "\\backsim"                               ], "∽", [equivalence];
 ["\\nsim"; "\\NotTilde"                              ], "≁", [equivalence];
 ["\\nvsim"                                          ], "≁̸", [equivalence];
 ["\\esim"; "\\eqsim"; "\\EqualTilde"                  ], "≂", [equivalence];
 ["\\nesim"; "\\NotEqualTilde"                        ], "≂̸", [equivalence];
 ["\\sime"; "\\simeq"; "\\TildeEqual"                  ], "≃", [equivalence];
 ["\\nsime"; "\\nsimeq"; "\\NotTildeEqual"             ], "≄", [equivalence];
 ["\\cong"; "\\TildeFullEqual"                        ], "≅", [equivalence];
 ["\\simne"                                          ], "≆", [equivalence];
 ["\\ncong"; "\\NotTildeFullEqual"                    ], "≇", [equivalence];
 ["\\ap"; "\\approx"; "\\TildeTilde"                   ], "≈", [equivalence];
 ["\\nap"; "\\napprox"; "\\NotTildeTilde"              ], "≉", [equivalence];
 ["\\nvap"                                           ], "≉̸", [equivalence];
 ["\\apE"; "\\ape"; "\\approxeq"                       ], "≊", [equivalence];
 ["\\apid"                                           ], "≋", [equivalence];
 ["\\napid"                                          ], "≋̸", [equivalence];
 ["\\bcong"; "\\backcong"                             ], "≌", [equivalence];
 ["\\asymp"; "\\CupCap"                               ], "≍", [equivalence];
 ["\\bump"; "\\Bumpeq"; "\\HumpDownHump"               ], "≎", [equivalence];
 ["\\nbump"; "\\NotHumpDownHump"                      ], "≎̸", [equivalence];
 ["\\bumpe"; "\\bumpeq"; "\\HumpEqual"                 ], "≏", [equivalence];
 ["\\nbumpe"; "\\NotHumpEqual"                        ], "≏̸", [equivalence];
 ["\\esdot"; "\\doteq"; "\\DotEqual"                   ], "≐", [equivalence];
 ["\\eDot"; "\\doteqdot"                              ], "≑", [equivalence];
 ["\\efDot"; "\\fallingdotseq"                        ], "≒", [equivalence];
 ["\\erDot"; "\\risingdotseq"                         ], "≓", [equivalence];
 ["\\colone"; "\\Assign"; "\\coloneq"                  ], "≔", [equivalence];
 ["\\ecolon"; "\\eqcolon"                             ], "≕", [equivalence];
 ["\\ecir"; "\\eqcirc"                                ], "≖", [equivalence];
 ["\\cire"; "\\circeq"                                ], "≗", [equivalence];
 ["\\wedgeq"                                         ], "≙", [equivalence];
 ["\\veeeq"                                          ], "≚", [equivalence];
 ["\\trie"; "\\triangleq"                             ], "≜", [equivalence];
 ["\\def";"\\:=" ], "≝", [equivalence];
 ["\\equest"; "\\questeq"                             ], "≟", [equivalence];
 ["\\ne"; "\\neq"; "\\NotEqual"                        ], "≠", [equivalence];
 ["\\equiv"; "\\Congruent"                            ], "≡", [equivalence];
 ["\\nequiv"; "\\NotCongruent"                        ], "≢", [equivalence];
 ["\\NotCupCap"                                      ], "≭", [equivalence];
 ["\\bsime"; "\\backsimeq"                            ], "⋍", [equivalence];
 ["\\bumpE"                                          ], "⪮", [equivalence];
(* }}} *)

(* {{{ order *)
 ["\\le"; "\\leq";"\\<="                                 ], "≤", [order];
 ["\\ge"; "\\geq"; "\\GreaterEqual";"\\>="                    ], "≥", [order];
 ["\\lE"; "\\leqq"; "\\LessFullEqual"                  ], "≦", [order];
 ["\\gE"; "\\geqq"; "\\GreaterFullEqual"               ], "≧", [order];
 ["\\lnE"; "\\lne"; "\\lneq"; "\\lneqq"                 ], "≨", [order];
 ["\\gnE"; "\\gne"; "\\gneq"; "\\gneqq"                 ], "≩", [order];
 ["\\Lt"; "\\ll"; "\\NestedLessLess"                   ], "≪", [order];
 ["\\nLt"                                            ], "≪̸", [order];
 ["\\gg"; "\\Gt"; "\\NestedGreaterGreater"             ], "≫", [order];
 ["\\nGt"                                            ], "≫̸", [order];
 ["\\nlt"; "\\nvlt"; "\\nless"; "\\NotLess"             ], "≮", [order];
 ["\\ngt"; "\\ngtr"; "\\nvgt"; "\\NotGreater"           ], "≯", [order];
 ["\\nlE"; "\\nleq"; "\\nvle"; "\\nles"; "\\nleqq"; "\\nleqslant"; "\\NotLessSlantEqual"; "\\NotGreaterFullEqual"], "≰", [order];
 ["\\ngE"; "\\nges"; "\\nvge"; "\\ngeq"; "\\ngeqq"; "\\ngeqslant"; "\\NotGreaterSlantEqual"], "≱", [order];
 ["\\lap"; "\\lsim"; "\\lesssim"; "\\LessTilde"; "\\lessapprox"    ], "≲", [order];
 ["\\gap"; "\\gsim"; "\\gtrsim"; "\\gtrapprox"; "\\GreaterTilde"   ], "≳", [order];
 ["\\nlsim"; "\\NotLessTilde"                         ], "≴", [order];
 ["\\ngsim"; "\\NotGreaterTilde"                      ], "≵", [order];
 ["\\lessgtr"; "\\LessGreater"                        ], "≶", [order];
 ["\\gl"; "\\gtrless"; "\\GreaterLess"                 ], "≷", [order];
 ["\\ntlg"; "\\NotLessGreater"                        ], "≸", [order];
 ["\\ntgl"; "\\NotGreaterLess"                        ], "≹", [order];
 ["\\pr"; "\\prec"; "\\Precedes"                       ], "≺", [order];
 ["\\sc"; "\\succ"; "\\Succeeds"                       ], "≻", [order];
 ["\\prcue"; "\\preccurlyeq"; "\\PrecedesSlantEqual"   ], "≼", [order];
 ["\\sce"; "\\sccue"; "\\succeq"; "\\succcurlyeq"; "\\SucceedsEqual"; "\\SucceedsSlantEqual"], "≽", [order];
 ["\\scE"; "\\prap"; "\\prsim"; "\\precsim"; "\\precapprox"; "\\PrecedesTilde"], "≾", [order];
 ["\\scap"; "\\scsim"; "\\succsim"; "\\succapprox"; "\\SucceedsTilde"], "≿", [order];
 ["\\NotSucceedsTilde"                               ], "≿̸", [order];
 ["\\npr"; "\\nprec"; "\\NotPrecedes"                  ], "⊀", [order];
 ["\\nsc"; "\\nsucc"; "\\NotSucceeds"                  ], "⊁", [order];
 ["\\ltdot"; "\\lessdot"                              ], "⋖", [order];
 ["\\gtdot"; "\\gtrdot"                               ], "⋗", [order];
 ["\\Ll"                                             ], "⋘", [order];
 ["\\nLl"                                            ], "⋘̸", [order];
 ["\\Gg"; "\\ggg"                                     ], "⋙", [order];
 ["\\nGg"                                            ], "⋙̸", [order];
 ["\\lEg"; "\\leg"; "\\lesseqgtr"; "\\lesseqqgtr"; "\\LessEqualGreater"], "⋚", [order];
 ["\\gEl"; "\\gel"; "\\gtreqless"; "\\gtreqqless"; "\\GreaterEqualLess"], "⋛", [order];
 ["\\els"; "\\eqslantless"                            ], "⋜", [order];
 ["\\egs"; "\\eqslantgtr"                             ], "⋝", [order];
 ["\\cuepr"; "\\curlyeqprec"                          ], "⋞", [order];
 ["\\cuesc"; "\\curlyeqsucc"                          ], "⋟", [order];
 ["\\nprcue"; "\\NotPrecedesSlantEqual"               ], "⋠", [order];
 ["\\nsccue"; "\\NotSucceedsSlantEqual"               ], "⋡", [order];
 ["\\lnsim"                                          ], "⋦", [order];
 ["\\gnsim"                                          ], "⋧", [order];
 ["\\prnap"; "\\prnsim"; "\\precnsim"; "\\precnapprox"  ], "⋨", [order];
 ["\\scnap"; "\\scnsim"; "\\succnsim"; "\\succnapprox"  ], "⋩", [order];
 ["\\gtrarr"                                         ], "⥸", [order];
 ["\\les"; "\\leqslant"; "\\LessSlantEqual"            ], "⩽", [order];
 ["\\ges"; "\\geqslant"; "\\GreaterSlantEqual"         ], "⩾", [order];
 ["\\lesdot"                                         ], "⩿", [order];
 ["\\gesdot"                                         ], "⪀", [order];
 ["\\lesdoto"                                        ], "⪁", [order];
 ["\\gesdoto"                                        ], "⪂", [order];
 ["\\lesdotor"                                       ], "⪃", [order];
 ["\\gesdotol"                                       ], "⪄", [order];
 ["\\lnap"; "\\lnapprox"                              ], "⪉", [order];
 ["\\gnap"; "\\gnapprox"                              ], "⪊", [order];
 ["\\lsime"                                          ], "⪍", [order];
 ["\\gsime"                                          ], "⪎", [order];
 ["\\lsimg"                                          ], "⪏", [order];
 ["\\gsiml"                                          ], "⪐", [order];
 ["\\lgE"                                            ], "⪑", [order];
 ["\\glE"                                            ], "⪒", [order];
 ["\\lesges"                                         ], "⪓", [order];
 ["\\gesles"                                         ], "⪔", [order];
 ["\\elsdot"                                         ], "⪗", [order];
 ["\\egsdot"                                         ], "⪘", [order];
 ["\\el"                                             ], "⪙", [order];
 ["\\eg"                                             ], "⪚", [order];
 ["\\siml"                                           ], "⪝", [order];
 ["\\simg"                                           ], "⪞", [order];
 ["\\simlE"                                          ], "⪟", [order];
 ["\\simgE"                                          ], "⪠", [order];
 ["\\prE"; "\\pre"; "\\preceq"; "\\PrecedesEqual"       ], "⪯", [order];
 ["\\npre"; "\\npreceq"; "\\NotPrecedesEqual"          ], "⪯̸", [order];
 ["\\nsce"; "\\nsucceq"; "\\NotSucceedsEqual"          ], "⪰̸", [order];
 ["\\prnE"; "\\precneqq"                              ], "⪵", [order];
 ["\\scnE"; "\\succneqq"                              ], "⪶", [order];
(* }}} *)

(* {{{ circles *)
 ["\\copy"                                           ], "©", [circle];
 ["\\reg"; "\\circledR"                               ], "®", [circle];
 ["\\ordm"                                           ], "º", [circle];
 ["\\oslash"                                         ], "ø", [circle];
 ["\\ring"                                           ], "˚", [circle];
 ["\\bull"; "\\bullet"                                ], "•", [circle];
 ["\\circ"; "\\compfn"; "\\SmallCircle"                ], "∘", [circle];
 ["\\oplus"; "\\xoplus"; "\\bigoplus"; "\\CirclePlus"   ], "⊕", [circle];
 ["\\ominus"; "\\CircleMinus"                         ], "⊖", [circle];
 ["\\xotime"; "\\otimes"; "\\bigotimes"; "\\CircleTimes"], "⊗", [circle];
 ["\\osol"                                           ], "⊘", [circle];
 ["\\odot"; "\\xodot"; "\\bigodot"; "\\CircleDot"       ], "⊙", [circle];
 ["\\ocir"; "\\circledcirc"                           ], "⊚", [circle];
 ["\\oast"; "\\circledast"                            ], "⊛", [circle];
 ["\\odash"; "\\circleddash"                          ], "⊝", [circle];
 ["\\ovbar"                                          ], "⌽", [circle];
 ["\\NotNestedLessLess"                              ], "⒡̸", [circle];
 ["\\NotNestedGreaterGreater"                        ], "⒢̸", [circle];
 ["\\oS"; "\\circledS"                                ], "Ⓢ", [circle];
 ["\\cir";                                            ], "○", [circle];
 ["\\xcirc"; "\\bigcirc"                              ], "◯", [circle];
(* }}} *)

(* {{{ squares *)
 ["\\plusb"; "\\boxplus"                              ], "⊞", [square];
 ["\\minusb"; "\\boxminus"                            ], "⊟", [square];
 ["\\timesb"; "\\boxtimes"                            ], "⊠", [square];
 ["\\sdotb"; "\\dotsquare"                            ], "⊡", [square];
 ["\\uhblk"                                          ], "▀", [square];
 ["\\lhblk"                                          ], "▄", [square];
 ["\\squ"; "\\square"; "\\Square"                      ], "□", [square];
 ["\\squf"; "\\squarf"; "\\blacksquare"                ], "▪", [square];
 ["\\rect"                                           ], "▭", [square];
 ["\\marker"                                         ], "▮", [square];
 ["\\EmptySmallSquare"                               ], "◽", [square];
 ["\\FilledSmallSquare"                              ], "◾", [square];
(* }}} *)

(* {{{ triangles *)
 ["\\Del"; "\\nabla"                                  ], "∇", [triangle];
 ["\\vltri"; "\\LeftTriangle"; "\\vartriangleleft"     ], "⊲", [triangle];
 ["\\vrtri"; "\\RightTriangle"; "\\vartriangleright"   ], "⊳", [triangle];
 ["\\ltrie"; "\\trianglelefteq"; "\\LeftTriangleEqual" ], "⊴", [triangle];
 ["\\rtrie"; "\\trianglerighteq"; "\\RightTriangleEqual"         ], "⊵", [triangle];
 ["\\nltri"; "\\ntriangleleft"; "\\NotLeftTriangle"    ], "⋪", [triangle];
 ["\\nrtri"; "\\ntriangleright"; "\\NotRightTriangle"  ], "⋫", [triangle];
 ["\\nltrie"; "\\ntrianglelefteq"; "\\NotLeftTriangleEqual"      ], "⋬", [triangle];
 ["\\nvltrie"                                        ], "⋬̸", [triangle];
 ["\\nrtrie"; "\\ntrianglerighteq"; "\\NotRightTriangleEqual"    ], "⋭", [triangle];
 ["\\nvrtrie"                                        ], "⋭̸", [triangle];
 ["\\xutri"; "\\bigtriangleup"                        ], "△", [triangle];
 ["\\utrif"; "\\blacktriangle"                        ], "▴", [triangle];
 ["\\utri"; "\\triangle"                              ], "▵", [triangle];
 ["\\rtrif"; "\\blacktriangleright"                   ], "▸", [triangle];
 ["\\rtri"; "\\triangleright"                         ], "▹", [triangle];
 ["\\xdtri"; "\\bigtriangledown"                      ], "▽", [triangle];
 ["\\dtrif"; "\\blacktriangledown"                    ], "▾", [triangle];
 ["\\dtri"; "\\triangledown"                          ], "▿", [triangle];
 ["\\ltrif"; "\\blacktriangleleft"                    ], "◂", [triangle];
 ["\\ltri"; "\\triangleleft"                          ], "◃", [triangle];
 ["\\tridot"                                         ], "◬", [triangle];
 ["\\ultri"                                          ], "◸", [triangle];
 ["\\urtri"                                          ], "◹", [triangle];
 ["\\lltri"                                          ], "◺", [triangle];
 ["\\rtriltri"                                       ], "⧎", [triangle];
 ["\\LeftTriangleBar"                                ], "⧏", [triangle];
 ["\\NotLeftTriangleBar"                             ], "⧏̸", [triangle];
 ["\\RightTriangleBar"                               ], "⧐", [triangle];
 ["\\NotRightTriangleBar"                            ], "⧐̸", [triangle];
(* }}} *)

(* {{{ arrows *)
 ["\\larr"; "\\gets"; "\\leftarrow"; "\\LeftArrow";"\\<-"      ], "←", [arrow];
 ["\\uarr"; "\\UpArrow"; "\\uparrow"                   ], "↑", [arrow];
 ["\\to"; "\\rarr"; "\\RightArrow"; "\\rightarrow";"\\->"], "→", [arrow];
 ["\\darr"; "\\downarrow"; "\\DownArrow"               ], "↓", [arrow];
 ["\\harr"; "\\LeftRightArrow"; "\\leftrightarrow"     ], "↔", [arrow];
 ["\\varr"; "\\updownarrow"; "\\UpDownArrow"           ], "↕", [arrow];
 ["\\nwarr"; "\\nwarrow"; "\\UpperLeftArrow"           ], "↖", [arrow];
 ["\\nearr"; "\\nearrow"; "\\UpperRightArrow"          ], "↗", [arrow];
 ["\\searr"; "\\searrow"; "\\LowerRightArrow"          ], "↘", [arrow];
 ["\\swarr"; "\\swarrow"; "\\LowerLeftArrow"           ], "↙", [arrow];
 ["\\nlarr"; "\\nleftarrow"                           ], "↚", [arrow];
 ["\\nrarr"; "\\nrightarrow"                          ], "↛", [arrow];
 ["\\rarrw"; "\\rightsquigarrow"                      ], "↝", [arrow];
 ["\\nrarrw"                                         ], "↝̸", [arrow];
 ["\\Larr"; "\\twoheadleftarrow"                      ], "↞", [arrow];
 ["\\Uarr"                                           ], "↟", [arrow];
 ["\\Rarr"; "\\twoheadrightarrow"                     ], "↠", [arrow];
 ["\\Darr"                                           ], "↡", [arrow];
 ["\\larrtl"; "\\leftarrowtail"                       ], "↢", [arrow];
 ["\\ratail"; "\\rarrtl"; "\\rightarrowtail"           ], "↣", [arrow];
 ["\\mapstoleft"; "\\LeftTeeArrow"                    ], "↤", [arrow];
 ["\\mapstoup"; "\\UpTeeArrow"                        ], "↥", [arrow];
 ["\\map"; "\\mapsto"; "\\RightTeeArrow"               ], "↦", [arrow];
 ["\\mapstodown"; "\\DownTeeArrow"                    ], "↧", [arrow];
 ["\\larrhk"; "\\hookleftarrow"                       ], "↩", [arrow];
 ["\\rarrhk"; "\\hookrightarrow"                      ], "↪", [arrow];
 ["\\larrlp"; "\\looparrowleft"                       ], "↫", [arrow];
 ["\\rarrlp"; "\\looparrowright"                      ], "↬", [arrow];
 ["\\harrw"; "\\leftrightsquigarrow"                  ], "↭", [arrow];
 ["\\nharr"; "\\nleftrightarrow"                      ], "↮", [arrow];
 ["\\Lsh"; "\\lsh"                                    ], "↰", [arrow];
 ["\\Rsh"; "\\rsh"                                    ], "↱", [arrow];
 ["\\ldsh"                                           ], "↲", [arrow];
 ["\\rdsh"                                           ], "↳", [arrow];
 ["\\cularr"; "\\curvearrowleft"                      ], "↶", [arrow];
 ["\\curarr"; "\\curvearrowright"                     ], "↷", [arrow];
 ["\\olarr"; "\\circlearrowleft"                      ], "↺", [arrow];
 ["\\orarr"; "\\circlearrowright"                     ], "↻", [arrow];
 ["\\lharu"; "\\LeftVector"; "\\leftharpoonup"         ], "↼", [arrow];
 ["\\lhard"; "\\DownLeftVector"; "\\leftharpoondown"   ], "↽", [arrow];
 ["\\uharr"; "\\RightUpVector"; "\\upharpoonright"     ], "↾", [arrow];
 ["\\uharl"; "\\LeftUpVector"; "\\upharpoonleft"       ], "↿", [arrow];
 ["\\rharu"; "\\RightVector"; "\\rightharpoonup"       ], "⇀", [arrow];
 ["\\rhard"; "\\DownRightVector"; "\\rightharpoondown" ], "⇁", [arrow];
 ["\\dharr"; "\\RightDownVector"; "\\downharpoonright" ], "⇂", [arrow];
 ["\\dharl"; "\\LeftDownVector"; "\\downharpoonleft"   ], "⇃", [arrow];
 ["\\rlarr"; "\\rightleftarrows"; "\\RightArrowLeftArrow"        ], "⇄", [arrow];
 ["\\udarr"; "\\UpArrowDownArrow"                     ], "⇅", [arrow];
 ["\\lrarr"; "\\leftrightarrows"; "\\LeftArrowRightArrow"        ], "⇆", [arrow];
 ["\\llarr"; "\\leftleftarrows"                       ], "⇇", [arrow];
 ["\\uuarr"; "\\upuparrows"                           ], "⇈", [arrow];
 ["\\rrarr"; "\\rightrightarrows"                     ], "⇉", [arrow];
 ["\\ddarr"; "\\downdownarrows"                       ], "⇊", [arrow];
 ["\\lrhar"; "\\leftrightharpoons"; "\\ReverseEquilibrium"       ], "⇋", [arrow];
 ["\\rlhar"; "\\Equilibrium"; "\\rightleftharpoons"    ], "⇌", [arrow];
 ["\\nlArr"; "\\nvlArr"; "\\nLeftarrow"                ], "⇍", [arrow];
 ["\\nhArr"; "\\nvHarr"; "\\nLeftrightarrow"           ], "⇎", [arrow];
 ["\\nrArr"; "\\nvrArr"; "\\nRightarrow"               ], "⇏", [arrow];
 ["\\lArr"; "\\Leftarrow"; "\\DoubleLeftArrow";"\\<=="         ], "⇐", [arrow];
 ["\\uArr"; "\\Uparrow"; "\\DoubleUpArrow"             ], "⇑", [arrow];
 ["\\rArr"; "\\Implies"; "\\Rightarrow"; "\\Longrightarrow"; "\\DoubleRightArrow"; "\\==>"], "⇒", [arrow];
 ["\\dArr"; "\\Downarrow"; "\\DoubleDownArrow"         ], "⇓", [arrow];
 ["\\iff"; "\\hArr"; "\\Leftrightarrow"; "\\DoubleLeftRightArrow";"\\<==>" ], "⇔", [arrow];
 ["\\vArr"; "\\Updownarrow"; "\\DoubleUpDownArrow"     ], "⇕", [arrow];
 ["\\nwArr"                                          ], "⇖", [arrow];
 ["\\neArr"                                          ], "⇗", [arrow];
 ["\\seArr"                                          ], "⇘", [arrow];
 ["\\swArr"                                          ], "⇙", [arrow];
 ["\\lAarr"; "\\Lleftarrow"                           ], "⇚", [arrow];
 ["\\rAarr"; "\\Rrightarrow"                          ], "⇛", [arrow];
 ["\\zigrarr"                                        ], "⇝", [arrow];
 ["\\larrb"; "\\LeftArrowBar"                         ], "⇤", [arrow];
 ["\\rarrb"; "\\RightArrowBar"                        ], "⇥", [arrow];
 ["\\duarr"; "\\DownArrowUpArrow"                     ], "⇵", [arrow];
 ["\\loarr"                                          ], "⇽", [arrow];
 ["\\roarr"                                          ], "⇾", [arrow];
 ["\\hoarr"                                          ], "⇿", [arrow];
 ["\\Map"                                            ], "⤅", [arrow];
 ["\\lbarr"                                          ], "⤌", [arrow];
 ["\\rbarr"; "\\bkarow"                               ], "⤍", [arrow];
 ["\\lBarr"                                          ], "⤎", [arrow];
 ["\\ac"; "\\rBarr"; "\\dbkarow"                       ], "⤏", [arrow];
 ["\\RBarr"; "\\drbkarow"                             ], "⤐", [arrow];
 ["\\DDotrahd"                                       ], "⤑", [arrow];
 ["\\UpArrowBar"                                     ], "⤒", [arrow];
 ["\\DownArrowBar"                                   ], "⤓", [arrow];
 ["\\Rarrtl"                                         ], "⤖", [arrow];
 ["\\latail"                                         ], "⤙", [arrow];
 ["\\lAtail"                                         ], "⤛", [arrow];
 ["\\rAtail"                                         ], "⤜", [arrow];
 ["\\larrfs"                                         ], "⤝", [arrow];
 ["\\rarrfs"                                         ], "⤞", [arrow];
 ["\\larrbfs"                                        ], "⤟", [arrow];
 ["\\rarrbfs"                                        ], "⤠", [arrow];
 ["\\nwarhk"                                         ], "⤣", [arrow];
 ["\\nearhk"                                         ], "⤤", [arrow];
 ["\\searhk"; "\\hksearow"                            ], "⤥", [arrow];
 ["\\swarhk"; "\\hkswarow"                            ], "⤦", [arrow];
 ["\\nwnear"                                         ], "⤧", [arrow];
 ["\\toea"; "\\nesear"                                ], "⤨", [arrow];
 ["\\tosa"; "\\seswar"                                ], "⤩", [arrow];
 ["\\swnwar"                                         ], "⤪", [arrow];
 ["\\rarrc"                                          ], "⤳", [arrow];
 ["\\nrarrc"                                         ], "⤳̸", [arrow];
 ["\\cudarrr"                                        ], "⤵", [arrow];
 ["\\ldca"                                           ], "⤶", [arrow];
 ["\\rdca"                                           ], "⤷", [arrow];
 ["\\cudarrl"                                        ], "⤸", [arrow];
 ["\\larrpl"                                         ], "⤹", [arrow];
 ["\\curarrm"                                        ], "⤼", [arrow];
 ["\\cularrp"                                        ], "⤽", [arrow];
 ["\\rarrpl"                                         ], "⥅", [arrow];
 ["\\harrcir"                                        ], "⥈", [arrow];
 ["\\Uarrocir"                                       ], "⥉", [arrow];
 ["\\lurdshar"                                       ], "⥊", [arrow];
 ["\\ldrushar"                                       ], "⥋", [arrow];
 ["\\LeftRightVector"                                ], "⥎", [arrow];
 ["\\RightUpDownVector"                              ], "⥏", [arrow];
 ["\\DownLeftRightVector"                            ], "⥐", [arrow];
 ["\\LeftUpDownVector"                               ], "⥑", [arrow];
 ["\\LeftVectorBar"                                  ], "⥒", [arrow];
 ["\\RightVectorBar"                                 ], "⥓", [arrow];
 ["\\RightUpVectorBar"                               ], "⥔", [arrow];
 ["\\RightDownVectorBar"                             ], "⥕", [arrow];
 ["\\DownLeftVectorBar"                              ], "⥖", [arrow];
 ["\\DownRightVectorBar"                             ], "⥗", [arrow];
 ["\\LeftUpVectorBar"                                ], "⥘", [arrow];
 ["\\LeftDownVectorBar"                              ], "⥙", [arrow];
 ["\\LeftTeeVector"                                  ], "⥚", [arrow];
 ["\\RightTeeVector"                                 ], "⥛", [arrow];
 ["\\RightUpTeeVector"                               ], "⥜", [arrow];
 ["\\RightDownTeeVector"                             ], "⥝", [arrow];
 ["\\DownLeftTeeVector"                              ], "⥞", [arrow];
 ["\\DownRightTeeVector"                             ], "⥟", [arrow];
 ["\\LeftUpTeeVector"                                ], "⥠", [arrow];
 ["\\LeftDownTeeVector"                              ], "⥡", [arrow];
 ["\\lHar"                                           ], "⥢", [arrow];
 ["\\uHar"                                           ], "⥣", [arrow];
 ["\\rHar"                                           ], "⥤", [arrow];
 ["\\dHar"                                           ], "⥥", [arrow];
 ["\\luruhar"                                        ], "⥦", [arrow];
 ["\\ldrdhar"                                        ], "⥧", [arrow];
 ["\\ruluhar"                                        ], "⥨", [arrow];
 ["\\rdldhar"                                        ], "⥩", [arrow];
 ["\\lharul"                                         ], "⥪", [arrow];
 ["\\llhard"                                         ], "⥫", [arrow];
 ["\\rharul"                                         ], "⥬", [arrow];
 ["\\lrhard"                                         ], "⥭", [arrow];
 ["\\udhar"; "\\UpEquilibrium"                        ], "⥮", [arrow];
 ["\\duhar"; "\\ReverseUpEquilibrium"                 ], "⥯", [arrow];
 ["\\RoundImplies"                                   ], "⥰", [arrow];
 ["\\erarr"                                          ], "⥱", [arrow];
 ["\\simrarr"                                        ], "⥲", [arrow];
 ["\\larrsim"                                        ], "⥳", [arrow];
 ["\\rarrsim"                                        ], "⥴", [arrow];
 ["\\rarrap"                                         ], "⥵", [arrow];
 ["\\ltlarr"                                         ], "⥶", [arrow];
 ["\\suplarr"                                        ], "⥻", [arrow];
 ["\\lfisht"                                         ], "⥼", [arrow];
 ["\\rfisht"                                         ], "⥽", [arrow];
 ["\\ufisht"                                         ], "⥾", [arrow];
 ["\\dfisht"                                         ], "⥿", [arrow];
(* }}} *)

(* {{{ set operations *)
 ["\\emptyv"; "\\varnothing"                          ], "∅", [set];
 ["\\in"; "\\isin"; "\\isinv"; "\\Element"              ], "∈", [set];
 ["\\notin"; "\\NotElement"                           ], "∉", [set];
 ["\\notinva"                                        ], "∉̸", [set];
 ["\\ni"; "\\niv"; "\\owns"; "\\SuchThat"; "\\ReverseElement"      ], "∋", [set];
 ["\\notni"; "\\notniva"; "\\NotReverseElement"        ], "∌", [set];
 ["\\coprod"; "\\Coproduct"                           ], "∐", [set];
 ["\\cap"                                            ], "∩", [set];
 ["\\cup"                                            ], "∪", [set];
 ["\\twixt"; "\\between"                              ], "≬", [set];
 ["\\subset"                                         ], "⊂", [set];
 ["\\supset"; "\\Superset"                            ], "⊃", [set];
 ["\\suphsol"                                        ], "⊃/", [set];
 ["\\nsub"; "\\vnsub"; "\\nsubset"; "\\NotSubset"       ], "⊄", [set];
 ["\\nsup"; "\\vnsup"; "\\nsupset"; "\\NotSuperset"     ], "⊅", [set];
 ["\\subE"; "\\sube"; "\\subseteq"; "\\subseteqq"; "\\SubsetEqual" ], "⊆", [set];
 ["\\supe"; "\\supE"; "\\supseteq"; "\\supseteqq"; "\\SupersetEqual"], "⊇", [set];
 ["\\nsube"; "\\nsubE"; "\\nsubseteq"; "\\nsubseteqq"; "\\NotSubsetEqual"], "⊈", [set];
 ["\\nsupe"; "\\nsupE"; "\\nsupseteq"; "\\nsupseteqq"; "\\NotSupersetEqual"], "⊉", [set];
 ["\\subne"; "\\subnE"; "\\subsetneq"; "\\subsetneqq"   ], "⊊", [set];
 ["\\supne"; "\\supnE"; "\\supsetneq"; "\\supsetneqq"   ], "⊋", [set];
 ["\\cupdot"                                         ], "⊍", [set];
 ["\\uplus"; "\\xuplus"; "\\biguplus"; "\\UnionPlus"    ], "⊎", [set];
 ["\\sqsub"; "\\sqsubset"; "\\SquareSubset"            ], "⊏", [set];
 ["\\NotSquareSubset"                                ], "⊏̸", [set];
 ["\\sqsup"; "\\sqsupset"; "\\SquareSuperset"          ], "⊐", [set];
 ["\\NotSquareSuperset"                              ], "⊐̸", [set];
 ["\\sqsube"; "\\sqsubseteq"; "\\SquareSubsetEqual"    ], "⊑", [set];
 ["\\sqsupe"; "\\sqsupseteq"; "\\SquareSupersetEqual"  ], "⊒", [set];
 ["\\sqcap"; "\\SquareIntersection"                   ], "⊓", [set];
 ["\\sqcup"; "\\xsqcup"; "\\bigsqcup"; "\\SquareUnion"  ], "⊔", [set];
 ["\\xcap"; "\\bigcap"; "\\Intersection"               ], "⋂", [set];
 ["\\xcup"; "\\Union"; "\\bigcup"                      ], "⋃", [set];
 ["\\Sub"; "\\Subset"                                 ], "⋐", [set];
 ["\\Sup"; "\\Supset"                                 ], "⋑", [set];
 ["\\Cap"                                            ], "⋒", [set];
 ["\\Cup"                                            ], "⋓", [set];
 ["\\nsqsube"; "\\NotSquareSubsetEqual"               ], "⋢", [set];
 ["\\nsqsupe"; "\\NotSquareSupersetEqual"             ], "⋣", [set];
 ["\\disin"                                          ], "⋲", [set];
 ["\\isinsv"                                         ], "⋳", [set];
 ["\\isins"                                          ], "⋴", [set];
 ["\\isindot"                                        ], "⋵", [set];
 ["\\notinvc"                                        ], "⋶", [set];
 ["\\notindot"                                       ], "⋶", [set];
 ["\\notinvb"                                        ], "⋷", [set];
 ["\\isinE"                                          ], "⋹", [set];
 ["\\nisd"                                           ], "⋺", [set];
 ["\\xnis"                                           ], "⋻", [set];
 ["\\nis"                                            ], "⋼", [set];
 ["\\notnivc"                                        ], "⋽", [set];
 ["\\notnivb"                                        ], "⋾", [set];
 ["\\subrarr"                                        ], "⥹", [set];
(* }}} *)

(* {{{ math *)
 ["\\pm"; "\\plusmn"; "\\PlusMinus"                    ], "±", [math];
 ["\\times"                                          ], "×", [math];
 ["\\div"; "\\divide"                                 ], "÷", [math];
 ["\\prod"; "\\Product"                               ], "∏", [math];
 ["\\sum"; "\\Sum"                                    ], "∑", [math];
 ["\\mp"; "\\mnplus"; "\\MinusPlus"                    ], "∓", [math];
 ["\\plusdo"; "\\dotplus"                             ], "∔", [math];
 ["\\setmn"; "\\setminus"; "\\Backslash"               ], "∖", [math];
 ["\\lowast"                                         ], "∗", [math];
 ["\\Sqrt"; "\\radic"                                 ], "√", [math];
 ["\\prop"; "\\vprop"; "\\propto"; "\\varpropto"; "\\Proportional" ], "∝", [math];
 ["\\infty"; "\\infin"                                ], "∞", [math];
 ["\\mid"; "\\divides"; "\\VerticalBar"                ], "∣", [math];
 ["\\nmid"; "\\ndivides"; "\\NotVerticalBar"           ], "∤", [math];
 ["\\npar"; "\\nparallel"; "\\NotDoubleVerticalBar"    ], "∦", [math];
 ["\\int"; "\\Integral"                               ], "∫", [math];
 ["\\Int"                                            ], "∬", [math];
 ["\\tint"; "\\iiint"                                 ], "∭", [math];
 ["\\oint"; "\\conint"; "\\ContourIntegral"            ], "∮", [math];
 ["\\Conint"; "\\DoubleContourIntegral"               ], "∯", [math];
 ["\\Cconint"                                        ], "∰", [math];
 ["\\cwint"                                          ], "∱", [math];
 ["\\cwconint"; "\\ClockwiseContourIntegral"          ], "∲", [math];
 ["\\awconint"; "\\CounterClockwiseContourIntegral"   ], "∳", [math];
 ["\\qint"; "\\iiiint"                                ], "⨌", [math];
 ["\\cirfnint"                                       ], "⨐", [math];
 ["\\awint"                                          ], "⨑", [math];
 ["\\rppolint"                                       ], "⨒", [math];
 ["\\scpolint"                                       ], "⨓", [math];
 ["\\npolint"                                        ], "⨔", [math];
 ["\\pointint"                                       ], "⨕", [math];
 ["\\quatint"                                        ], "⨖", [math];
 ["\\intlarhk"                                       ], "⨗", [math];
 ["\\Cross"                                          ], "⨯", [math];
(* }}} *)

(* {{{ spaces *)
 ["\\nbsp"; "\\NonBreakingSpace"                      ], " ", [space];
 ["\\shy"                                            ], "­", [space];
 ["\\ensp"                                           ], " ", [space];
 ["\\emsp"                                           ], " ", [space];
 ["\\emsp13"                                         ], " ", [space];
 ["\\emsp14"                                         ], " ", [space];
 ["\\numsp"                                          ], " ", [space];
 ["\\puncsp"                                         ], " ", [space];
 ["\\thinsp"; "\\ThinSpace"                           ], " ", [space];
 ["\\ThickSpace"                                     ], "   ", [space];
 ["\\hairsp"; "\\VeryThinSpace"                       ], " ", [space];
 ["\\ic"; "\\ZeroWidthSpace"; "\\InvisibleComma"       ], "​", [space];
 ["\\af"; "\\ApplyFunction"                           ], "⁡", [space];
 ["\\it"; "\\InvisibleTimes"                          ], "⁢", [space];
 ["\\NoBreak"                                        ], "", [space];
(* }}} *)

(* {{{ parenteses *)
 ["\\laquo"                                          ], "«", [delimiter] ;
 ["\\raquo"                                          ], "»", [delimiter] ;
 ["\\lang"; "\\langle"; "\\LeftAngleBracket"           ], "⟨", [delimiter] ;
 ["\\rang"; "\\rangle"; "\\RightAngleBracket"          ], "⟩", [delimiter] ;
 ["\\lmoust"; "\\lmoustache"                          ], "⎰", [delimiter] ;
 ["\\rmoust"; "\\rmoustache"                          ], "⎱", [delimiter] ;
 ["\\Lang"                                           ], "⟪", [delimiter] ;
 ["\\Rang"                                           ], "⟫", [delimiter] ;
 ["\\lbbrk"                                          ], "⦗", [delimiter] ;
 ["\\rbbrk"                                          ], "⦘", [delimiter] ;
 ["\\lopar"                                          ], "⦅", [delimiter] ;
 ["\\ropar"                                          ], "⦆", [delimiter] ;
 ["\\lobrk"; "\\LeftDoubleBracket"                    ], "⟦", [delimiter] ;
 ["\\robrk"; "\\RightDoubleBracket"                   ], "⟧", [delimiter] ;
(* }}} *)

(* {{{ Missing font *)
 ["\\NegativeThickSpace"                             ], " ", [miscellanea];
 ["\\NegativeThinSpace"                              ], " ", [miscellanea];
 ["\\NegativeVeryThinSpace"                          ], " ", [miscellanea];
 ["\\NegativeMediumSpace"                            ], " ", [miscellanea];
 ["\\slarr"; "\\ShortLeftArrow"                       ], "←", [miscellanea];
 ["\\srarr"; "\\ShortRightArrow"                      ], "→", [miscellanea];
 ["\\empty"; "\\emptyset"                             ], "∅", [miscellanea];
 ["\\ssetmn"; "\\smallsetminus"                       ], "∖", [miscellanea];
 ["\\smid"; "\\shortmid"                              ], "∣", [miscellanea];
 ["\\nsmid"; "\\nshortmid"                            ], "∤", [miscellanea];
 ["\\spar"; "\\parsl"; "\\shortparallel"               ], "∥", [miscellanea];
 ["\\nparsl"                                         ], "∥⃥", [miscellanea];
 ["\\nspar"; "\\nshortparallel"                       ], "∦", [miscellanea];
 ["\\caps"                                           ], "∩", [miscellanea];
 ["\\cups"                                           ], "∪", [miscellanea];
 ["\\thksim"; "\\thicksim"                            ], "∼", [miscellanea];
 ["\\thkap"; "\\thickapprox"                          ], "≈", [miscellanea];
 ["\\nedot"                                          ], "≠", [miscellanea];
 ["\\bnequiv"                                        ], "≡⃥", [miscellanea];
 ["\\lvnE"; "\\lvertneqq"                             ], "≨", [miscellanea];
 ["\\gvnE"; "\\gvertneqq"                             ], "≩", [miscellanea];
 ["\\nLtv"; "\\NotLessLess"                           ], "≪̸", [miscellanea];
 ["\\nGtv"; "\\NotGreaterGreater"                     ], "≫̸", [miscellanea];
 ["\\nle"; "\\NotLessEqual"                           ], "≰⃥", [miscellanea];
 ["\\nge"; "\\NotGreaterEqual"                        ], "≱⃥", [miscellanea];
 ["\\vsubnE"; "\\vsubne"; "\\varsubsetneq"; "\\varsubsetneqq"     ], "⊊", [miscellanea];
 ["\\vsupne"; "\\vsupnE"; "\\varsupsetneq"; "\\varsupsetneqq"     ], "⊋", [miscellanea];
 ["\\sqcaps"                                         ], "⊓", [miscellanea];
 ["\\sqcups"                                         ], "⊔", [miscellanea];
 ["\\prurel"                                         ], "⊰", [miscellanea];
 ["\\lesg"                                           ], "⋚", [miscellanea];
 ["\\gesl"                                           ], "⋛", [miscellanea];
 ["\\ShortUpArrow"                                   ], "⌃", [miscellanea];
 ["\\ShortDownArrow"                                 ], "⌄", [miscellanea];
 ["\\target"                                         ], "⌖", [miscellanea];
 ["\\cylcty"                                         ], "⌭", [miscellanea];
 ["\\profalar"                                       ], "⌮", [miscellanea];
 ["\\topbot"                                         ], "⌶", [miscellanea];
 ["\\solbar"                                         ], "⌿", [miscellanea];
 ["\\angzarr"                                        ], "⍼", [miscellanea];
 ["\\tbrk"; "\\OverBracket"                           ], "⎴", [miscellanea];
 ["\\bbrk"; "\\UnderBracket"                          ], "⎵", [miscellanea];
 ["\\lbrke"                                          ], "⦋", [miscellanea];
 ["\\rbrke"                                          ], "⦌", [miscellanea];
 ["\\lbrkslu"                                        ], "⦍", [miscellanea];
 ["\\rbrksld"                                        ], "⦎", [miscellanea];
 ["\\lbrksld"                                        ], "⦏", [miscellanea];
 ["\\rbrkslu"                                        ], "⦐", [miscellanea];
 ["\\langd"                                          ], "⦑", [miscellanea];
 ["\\rangd"                                          ], "⦒", [miscellanea];
 ["\\lparlt"                                         ], "⦓", [miscellanea];
 ["\\rpargt"                                         ], "⦔", [miscellanea];
 ["\\gtlPar"                                         ], "⦕", [miscellanea];
 ["\\ltrPar"                                         ], "⦖", [miscellanea];
 ["\\vzigzag"                                        ], "⦚", [miscellanea];
 ["\\angrtvbd"                                       ], "⦝", [miscellanea];
 ["\\angrtvb"                                        ], "⦝", [miscellanea];
 ["\\ange"                                           ], "⦤", [miscellanea];
 ["\\range"                                          ], "⦥", [miscellanea];
 ["\\dwangle"                                        ], "⦦", [miscellanea];
 ["\\uwangle"                                        ], "⦧", [miscellanea];
 ["\\angmsdaa"                                       ], "⦨", [miscellanea];
 ["\\angmsdab"                                       ], "⦩", [miscellanea];
 ["\\angmsdac"                                       ], "⦪", [miscellanea];
 ["\\angmsdad"                                       ], "⦫", [miscellanea];
 ["\\angmsdae"                                       ], "⦬", [miscellanea];
 ["\\angmsdaf"                                       ], "⦭", [miscellanea];
 ["\\angmsdag"                                       ], "⦮", [miscellanea];
 ["\\angmsdah"                                       ], "⦯", [miscellanea];
 ["\\bemptyv"                                        ], "⦰", [miscellanea];
 ["\\demptyv"                                        ], "⦱", [miscellanea];
 ["\\cemptyv"                                        ], "⦲", [miscellanea];
 ["\\raemptyv"                                       ], "⦳", [miscellanea];
 ["\\laemptyv"                                       ], "⦴", [miscellanea];
 ["\\ohbar"                                          ], "⦵", [miscellanea];
 ["\\omid"                                           ], "⦶", [miscellanea];
 ["\\opar"                                           ], "⦷", [miscellanea];
 ["\\operp"                                          ], "⦹", [miscellanea];
 ["\\olcross"                                        ], "⦻", [miscellanea];
 ["\\odsold"                                         ], "⦼", [miscellanea];
 ["\\olcir"                                          ], "⦾", [miscellanea];
 ["\\ofcir"                                          ], "⦿", [miscellanea];
 ["\\olt"                                            ], "⧀", [miscellanea];
 ["\\ogt"                                            ], "⧁", [miscellanea];
 ["\\cirscir"                                        ], "⧂", [miscellanea];
 ["\\cirE"                                           ], "⧃", [miscellanea];
 ["\\solb"                                           ], "⧄", [miscellanea];
 ["\\bsolb"                                          ], "⧅", [miscellanea];
 ["\\boxbox"                                         ], "⧉", [miscellanea];
 ["\\trisb"                                          ], "⧍", [miscellanea];
 ["\\race"                                           ], "⧚", [miscellanea];
 ["\\acE"                                            ], "⧛", [miscellanea];
 ["\\iinfin"                                         ], "⧜", [miscellanea];
 ["\\nvinfin"                                        ], "⧞", [miscellanea];
 ["\\eparsl"                                         ], "⧣", [miscellanea];
 ["\\smeparsl"                                       ], "⧤", [miscellanea];
 ["\\eqvparsl"                                       ], "⧥", [miscellanea];
 ["\\RuleDelayed"                                    ], "⧴", [miscellanea];
 ["\\dsol"                                           ], "⧶", [miscellanea];
 ["\\pluscir"                                        ], "⨢", [miscellanea];
 ["\\plusacir"                                       ], "⨣", [miscellanea];
 ["\\simplus"                                        ], "⨤", [miscellanea];
 ["\\plusdu"                                         ], "⨥", [miscellanea];
 ["\\plussim"                                        ], "⨦", [miscellanea];
 ["\\plustwo"                                        ], "⨧", [miscellanea];
 ["\\mcomma"                                         ], "⨩", [miscellanea];
 ["\\minusdu"                                        ], "⨪", [miscellanea];
 ["\\loplus"                                         ], "⨭", [miscellanea];
 ["\\roplus"                                         ], "⨮", [miscellanea];
 ["\\timesd"                                         ], "⨰", [miscellanea];
 ["\\timesbar"                                       ], "⨱", [miscellanea];
 ["\\smashp"                                         ], "⨳", [miscellanea];
 ["\\lotimes"                                        ], "⨴", [miscellanea];
 ["\\rotimes"                                        ], "⨵", [miscellanea];
 ["\\otimesas"                                       ], "⨶", [miscellanea];
 ["\\Otimes"                                         ], "⨷", [miscellanea];
 ["\\odiv"                                           ], "⨸", [miscellanea];
 ["\\triplus"                                        ], "⨹", [miscellanea];
 ["\\triminus"                                       ], "⨺", [miscellanea];
 ["\\tritime"                                        ], "⨻", [miscellanea];
 ["\\iprod"; "\\intprod"                              ], "⨼", [miscellanea];
 ["\\amalg"                                          ], "⨿", [miscellanea];
 ["\\capdot"                                         ], "⩀", [miscellanea];
 ["\\ncup"                                           ], "⩂", [miscellanea];
 ["\\ncap"                                           ], "⩃", [miscellanea];
 ["\\capand"                                         ], "⩄", [miscellanea];
 ["\\cupor"                                          ], "⩅", [miscellanea];
 ["\\cupcap"                                         ], "⩆", [miscellanea];
 ["\\capcup"                                         ], "⩇", [miscellanea];
 ["\\cupbrcap"                                       ], "⩈", [miscellanea];
 ["\\capbrcup"                                       ], "⩉", [miscellanea];
 ["\\cupcup"                                         ], "⩊", [miscellanea];
 ["\\capcap"                                         ], "⩋", [miscellanea];
 ["\\ccups"                                          ], "⩌", [miscellanea];
 ["\\ccaps"                                          ], "⩍", [miscellanea];
 ["\\ccupssm"                                        ], "⩐", [miscellanea];
 ["\\And"                                            ], "⩓", [miscellanea];
 ["\\Or"                                             ], "⩔", [miscellanea];
 ["\\andand"                                         ], "⩕", [miscellanea];
 ["\\oror"                                           ], "⩖", [miscellanea];
 ["\\orslope"                                        ], "⩗", [miscellanea];
 ["\\andslope"                                       ], "⩘", [miscellanea];
 ["\\andv"                                           ], "⩚", [miscellanea];
 ["\\orv"                                            ], "⩛", [miscellanea];
 ["\\andd"                                           ], "⩜", [miscellanea];
 ["\\ord"                                            ], "⩝", [miscellanea];
 ["\\wedbar"                                         ], "⩟", [miscellanea];
 ["\\sdote"                                          ], "⩦", [miscellanea];
 ["\\simdot"                                         ], "⩪", [miscellanea];
 ["\\congdot"                                        ], "⩭", [miscellanea];
 ["\\ncongdot"                                       ], "⩭̸", [miscellanea];
 ["\\apacir"                                         ], "⩯", [miscellanea];
 ["\\napE"                                           ], "⩰̸", [miscellanea];
 ["\\eplus"                                          ], "⩱", [miscellanea];
 ["\\pluse"                                          ], "⩲", [miscellanea];
 ["\\Esim"                                           ], "⩳", [miscellanea];
 ["\\Colone"                                         ], "⩴", [miscellanea];
 ["\\Equal"                                          ], "⩵", [miscellanea];
 ["\\eDDot"; "\\ddotseq"                              ], "⩷", [miscellanea];
 ["\\equivDD"                                        ], "⩸", [miscellanea];
 ["\\ltcir"                                          ], "⩹", [miscellanea];
 ["\\gtcir"                                          ], "⩺", [miscellanea];
 ["\\ltquest"                                        ], "⩻", [miscellanea];
 ["\\gtquest"                                        ], "⩼", [miscellanea];
 ["\\LessLess"                                       ], "⪡", [miscellanea];
 ["\\GreaterGreater"                                 ], "⪢", [miscellanea];
 ["\\glj"                                            ], "⪤", [miscellanea];
 ["\\gla"                                            ], "⪥", [miscellanea];
 ["\\ltcc"                                           ], "⪦", [miscellanea];
 ["\\gtcc"                                           ], "⪧", [miscellanea];
 ["\\lescc"                                          ], "⪨", [miscellanea];
 ["\\gescc"                                          ], "⪩", [miscellanea];
 ["\\smt"                                            ], "⪪", [miscellanea];
 ["\\lat"                                            ], "⪫", [miscellanea];
 ["\\smte"                                           ], "⪬", [miscellanea];
 ["\\smtes"                                          ], "⪬", [miscellanea];
 ["\\late"                                           ], "⪭", [miscellanea];
 ["\\lates"                                          ], "⪭", [miscellanea];
 ["\\Sc"                                             ], "⪼", [miscellanea];
 ["\\subdot"                                         ], "⪽", [miscellanea];
 ["\\supdot"                                         ], "⪾", [miscellanea];
 ["\\subplus"                                        ], "⪿", [miscellanea];
 ["\\supplus"                                        ], "⫀", [miscellanea];
 ["\\submult"                                        ], "⫁", [miscellanea];
 ["\\supmult"                                        ], "⫂", [miscellanea];
 ["\\subedot"                                        ], "⫃", [miscellanea];
 ["\\supedot"                                        ], "⫄", [miscellanea];
 ["\\subsim"                                         ], "⫇", [miscellanea];
 ["\\supsim"                                         ], "⫈", [miscellanea];
 ["\\csub"                                           ], "⫏", [miscellanea];
 ["\\csup"                                           ], "⫐", [miscellanea];
 ["\\csube"                                          ], "⫑", [miscellanea];
 ["\\csupe"                                          ], "⫒", [miscellanea];
 ["\\subsup"                                         ], "⫓", [miscellanea];
 ["\\supsub"                                         ], "⫔", [miscellanea];
 ["\\subsub"                                         ], "⫕", [miscellanea];
 ["\\supsup"                                         ], "⫖", [miscellanea];
 ["\\suphsub"                                        ], "⫗", [miscellanea];
 ["\\supdsub"                                        ], "⫘", [miscellanea];
 ["\\forkv"                                          ], "⫙", [miscellanea];
 ["\\topfork"                                        ], "⫚", [miscellanea];
 ["\\mlcp"                                           ], "⫛", [miscellanea];
 ["\\Dashv"; "\\DoubleLeftTee"                        ], "⫤", [miscellanea];
 ["\\Vdashl"                                         ], "⫦", [miscellanea];
 ["\\Barv"                                           ], "⫧", [miscellanea];
 ["\\vBar"                                           ], "⫨", [miscellanea];
 ["\\vBarv"                                          ], "⫩", [miscellanea];
 ["\\Vbar"                                           ], "⫫", [miscellanea];
 ["\\Not"                                            ], "⫬", [miscellanea];
 ["\\bNot"                                           ], "⫭", [miscellanea];
 ["\\rnmid"                                          ], "⫮", [miscellanea];
 ["\\cirmid"                                         ], "⫯", [miscellanea];
 ["\\midcir"                                         ], "⫰", [miscellanea];
 ["\\topcir"                                         ], "⫱", [miscellanea];
 ["\\nhpar"                                          ], "⫲", [miscellanea];
 ["\\parsim"                                         ], "⫳", [miscellanea];
 ["\\loang"                                          ], "", [miscellanea];
 ["\\roang"                                          ], "", [miscellanea];
 ["\\xlarr"; "\\LongLeftArrow"                        ], "", [miscellanea];
 ["\\xrarr"; "\\LongRightArrow"                       ], "", [miscellanea];
 ["\\xharr"; "\\LongLeftRightArrow"                   ], "", [miscellanea];
 ["\\xlArr"; "\\DoubleLongLeftArrow"                  ], "", [miscellanea];
 ["\\xrArr"; "\\DoubleLongRightArrow"                 ], "", [miscellanea];
 ["\\xhArr"; "\\DoubleLongLeftRightArrow"             ], "", [miscellanea];
 ["\\xmap"                                           ], "", [miscellanea];
 ["\\FilledVerySmallSquare"                          ], "", [miscellanea];
 ["\\EmptyVerySmallSquare"                           ], "", [miscellanea];
 ["\\dzigrarr"                                       ], "", [miscellanea];
 ["\\Ascr"                                           ], "𝒜", [miscellanea];
 ["\\Cscr"                                           ], "𝒞", [miscellanea];
 ["\\Dscr"                                           ], "𝒟", [miscellanea];
 ["\\Gscr"                                           ], "𝒢", [miscellanea];
 ["\\Jscr"                                           ], "𝒥", [miscellanea];
 ["\\Kscr"                                           ], "𝒦", [miscellanea];
 ["\\Nscr"                                           ], "𝒩", [miscellanea];
 ["\\Oscr"                                           ], "𝒪", [miscellanea];
 ["\\Pscr"                                           ], "𝒫", [miscellanea];
 ["\\Qscr"                                           ], "𝒬", [miscellanea];
 ["\\Sscr"                                           ], "𝒮", [miscellanea];
 ["\\Tscr"                                           ], "𝒯", [miscellanea];
 ["\\Uscr"                                           ], "𝒰", [miscellanea];
 ["\\Vscr"                                           ], "𝒱", [miscellanea];
 ["\\Wscr"                                           ], "𝒲", [miscellanea];
 ["\\Xscr"                                           ], "𝒳", [miscellanea];
 ["\\Yscr"                                           ], "𝒴", [miscellanea];
 ["\\Zscr"                                           ], "𝒵", [miscellanea];
 ["\\ascr"                                           ], "𝒶", [miscellanea];
 ["\\bscr"                                           ], "𝒷", [miscellanea];
 ["\\cscr"                                           ], "𝒸", [miscellanea];
 ["\\dscr"                                           ], "𝒹", [miscellanea];
 ["\\fscr"                                           ], "𝒻", [miscellanea];
 ["\\hscr"                                           ], "𝒽", [miscellanea];
 ["\\iscr"                                           ], "𝒾", [miscellanea];
 ["\\jscr"                                           ], "𝒿", [miscellanea];
 ["\\kscr"                                           ], "𝓀", [miscellanea];
 ["\\mscr"                                           ], "𝓂", [miscellanea];
 ["\\nscr"                                           ], "𝓃", [miscellanea];
 ["\\pscr"                                           ], "𝓅", [miscellanea];
 ["\\qscr"                                           ], "𝓆", [miscellanea];
 ["\\rscr"                                           ], "𝓇", [miscellanea];
 ["\\sscr"                                           ], "𝓈", [miscellanea];
 ["\\tscr"                                           ], "𝓉", [miscellanea];
 ["\\uscr"                                           ], "𝓊", [miscellanea];
 ["\\vscr"                                           ], "𝓋", [miscellanea];
 ["\\wscr"                                           ], "𝓌", [miscellanea];
 ["\\xscr"                                           ], "𝓍", [miscellanea];
 ["\\yscr"                                           ], "𝓎", [miscellanea];
 ["\\zscr"                                           ], "𝓏", [miscellanea];
 ["\\Afr"                                            ], "𝔄", [miscellanea];
 ["\\Bfr"                                            ], "𝔅", [miscellanea];
 ["\\Dfr"                                            ], "𝔇", [miscellanea];
 ["\\Efr"                                            ], "𝔈", [miscellanea];
 ["\\Ffr"                                            ], "𝔉", [miscellanea];
 ["\\Gfr"                                            ], "𝔊", [miscellanea];
 ["\\Jfr"                                            ], "𝔍", [miscellanea];
 ["\\Kfr"                                            ], "𝔎", [miscellanea];
 ["\\Lfr"                                            ], "𝔏", [miscellanea];
 ["\\Mfr"                                            ], "𝔐", [miscellanea];
 ["\\Nfr"                                            ], "𝔑", [miscellanea];
 ["\\Ofr"                                            ], "𝔒", [miscellanea];
 ["\\Pfr"                                            ], "𝔓", [miscellanea];
 ["\\Qfr"                                            ], "𝔔", [miscellanea];
 ["\\Sfr"                                            ], "𝔖", [miscellanea];
 ["\\Tfr"                                            ], "𝔗", [miscellanea];
 ["\\Ufr"                                            ], "𝔘", [miscellanea];
 ["\\Vfr"                                            ], "𝔙", [miscellanea];
 ["\\Wfr"                                            ], "𝔚", [miscellanea];
 ["\\Xfr"                                            ], "𝔛", [miscellanea];
 ["\\Yfr"                                            ], "𝔜", [miscellanea];
 ["\\afr"                                            ], "𝔞", [miscellanea];
 ["\\bfr"                                            ], "𝔟", [miscellanea];
 ["\\cfr"                                            ], "𝔠", [miscellanea];
 ["\\dfr"                                            ], "𝔡", [miscellanea];
 ["\\efr"                                            ], "𝔢", [miscellanea];
 ["\\ffr"                                            ], "𝔣", [miscellanea];
 ["\\gfr"                                            ], "𝔤", [miscellanea];
 ["\\hfr"                                            ], "𝔥", [miscellanea];
 ["\\ifr"                                            ], "𝔦", [miscellanea];
 ["\\jfr"                                            ], "𝔧", [miscellanea];
 ["\\kfr"                                            ], "𝔨", [miscellanea];
 ["\\lfr"                                            ], "𝔩", [miscellanea];
 ["\\mfr"                                            ], "𝔪", [miscellanea];
 ["\\nfr"                                            ], "𝔫", [miscellanea];
 ["\\ofr"                                            ], "𝔬", [miscellanea];
 ["\\pfr"                                            ], "𝔭", [miscellanea];
 ["\\qfr"                                            ], "𝔮", [miscellanea];
 ["\\rfr"                                            ], "𝔯", [miscellanea];
 ["\\sfr"                                            ], "𝔰", [miscellanea];
 ["\\tfr"                                            ], "𝔱", [miscellanea];
 ["\\ufr"                                            ], "𝔲", [miscellanea];
 ["\\vfr"                                            ], "𝔳", [miscellanea];
 ["\\wfr"                                            ], "𝔴", [miscellanea];
 ["\\xfr"                                            ], "𝔵", [miscellanea];
 ["\\yfr"                                            ], "𝔶", [miscellanea];
 ["\\zfr"                                            ], "𝔷", [miscellanea];
(* }}} *)

]


(** **************************************************************************)
(** * Bindings set 2 *)

let bindings_set_2 = [

   (* Symbols *)
   "\\!'", "¡";
   "\\`", "‘";
   "\\``", "“";
   "\\'", "′";
   "\\''", "″";
   "\\'''", "‴";
   "\\mbox''", "”";
   "\\mbox'", "’";
   "\\--", "–";
   "\\---", "—";
   "\\Alpha", "Α";
   "\\Beta", "Β";
   "\\Box", "□";
   "\\Bumpeq", "≎";
   "\\Cap", "⋒";
   "\\Chi", "Χ";
   "\\Cup", "⋓";
   "\\DH", "Ð";
   "\\Delta", "Δ ";
   "\\Diamond", "◇";
   "\\Downarrow", "⇓";
   "\\Epsilon", "Ε ";
   "\\Eta", "Η";
   "\\Finv", "Ⅎ";
   "\\Gamma", "Γ ";
   "\\Im", "ℑ";
   "\\Join", "⋈";
   "\\Kappa", "Κ";
   "\\L", "Ł";
   "\\Lambda", "Λ";
   "\\Leftarrow", "⇐";
   "\\Leftrightarrow", "⇔";
   "\\Lleftarrow", "⇚";
   "\\Longleftarrow", "⇐";
   "\\Longleftrightarrow", "⇔";
   "\\Longrightarrow", "⇒";
   "\\Lsh", "↰";
   "\\Mu", "Μ";
   "\\Nu", "Ν";
   "\\O", "Ø";
   "\\OE", "Œ";
   "\\Omega", "Ω";
   "\\W", "Ω";
   "\\Omicron", "Ο";
   "\\P", "¶";
   "\\Phi", "Φ";
   "\\F", "Φ";
   "\\Pi", "Π";
   "\\Psi", "Ψ";
   "\\Re", "ℜ";
   "\\Rho", "Ρ";
   "\\Rightarrow", "⇒";
   "\\Rrightarrow", "⇛";
   "\\Rsh", "↱";
   "\\S", "§";
   "\\Sigma", "Σ";
   "\\Subset", "⋐";
   "\\Supset", "⋑";
   "\\TH", "Þ";
   "\\Tau", "Τ";
   "\\Theta", "Θ";
   "\\Uparrow", "⇑";
   "\\Updownarrow", "⇕";
   "\\Upsilon", "Υ";
   "\\Vdash", "⊩";
   "\\Vvdash", "⊪";
   "\\Xi", "Ξ";
   "\\Zeta", "Ζ";
   "\\aa", "å";
   "\\ae", "æ";
   "\\aleph", "ℵ";
   "\\alpha", "α";
   "\\angle", "∠";
   "\\approx", "≈";
   "\\approxeq", "≊";
   "\\aquarius", "♒";
   "\\aries", "♈";
   "\\ascnode", "☊";
   "\\ast", "∗";
   "\\astrosun", "☉";
   "\\asymp", "≍";
   "\\backepsilon", "∍";
   "\\backprime", "‵";
   "\\backsim", "∽";
   "\\barwedge", "⊼";
   "\\because", "∵";
   "\\beta", "β";
   "\\beth", "ℶ";
   "\\between", "≬";
   "\\bigcap", "⋂";
   "\\bigcirc", "○";
   "\\bigcup", "⋃";
   "\\bigodot", "⊙";
   "\\bigoplus", "⊕";
   "\\bigotimes", "⊗";
   "\\bigsqcup", "⊔";
   "\\bigstar", "★";
   "\\bigtriangledown", "▽";
   "\\bigtriangleup", "△";
   "\\biguplus", "⊎";
   "\\bigvee", "⋁";
   "\\bigwedge", "⋀";
   "\\blackbishop", "♝";
   "\\blackking", "♚";
   "\\blackknight", "♞";
   "\\blacklozenge", "◆";
   "\\blackpawn", "♟";
   "\\blackqueen", "♛";
   "\\blackrook", "♜";
   "\\blacksquare", "■";
   "\\blacktriangle", "▲";
   "\\blacktriangledown", "▼";
   "\\blacktriangleleft", "◀";
   "\\blacktriangleright", "▷";
   "\\bot", "⊥";
   "\\bowtie", "⋈";
   "\\boxdot", "⊡";
   "\\boxminus", "⊟";
   "\\boxplus", "⊞";
   "\\boxtimes", "⊠";
   "\\bullet", "∙";
   "\\bumpeq", "≏";
   "\\cancer", "♋";
   "\\cap", "∩";
   "\\capricornus", "♑";
   "\\capslockkey", "⇪";
   "\\cdot", "⋅";
   "\\cdots", "⋯";
   "\\centerdot", "⋅";
   "\\cents", "¢";
   "\\chi", "χ";
   "\\circ", "∘";
   "\\circeq", "≗";
   "\\circlearrowleft", "↺";
   "\\circlearrowright", "↻";
   "\\circledS", "Ⓢ";
   "\\circledast", "⊛";
   "\\circledcirc", "⊚";
   "\\circleddash", "⊝";
   "\\clubsuit", "♣";
   "\\cmdkey", "⌘";
   "\\complement", "∁";
   "\\cong", "≅";
   "\\conjunction", "☌";
   "\\coprod", "∐";
   "\\copyright", "©";
   "\\cup", "∪";
   "\\curlyeqprec", "⋞";
   "\\curlyeqsucc", "⋟";
   "\\curlyvee", "⋎";
   "\\curlywedge", "⋏";
   "\\curvearrowleft", "↶";
   "\\curvearrowright", "↷";
   "\\cC", "Ç";
   "\\cc", "ç";
   "\\dag", "†";
   "\\dagger", "†";
   "\\daleth", "ℸ";
   "\\dashleftarrow", "⇠";
   "\\dashrightarrow", "⇢";
   "\\dashv", "⊣";
   "\\ddag", "‡";
   "\\ddagger", "‡";
   "\\degree", "°";
   "\\delkey", "⌫";
   "\\delta", "δ ";
   "\\descnode", "☋";
   "\\dh", "ð";
   "\\diamond", "⋄";
   "\\diamondsuit", "♢";
   "\\digamma", "Ϝ";
   "\\div", "÷";
   "\\divideontimes", "⋇";
   "\\downarrow", "↓";
   "\\downdownarrows", "⇊";
   "\\downharpoonleft", "⇃";
   "\\downharpoonright", "⇂";
   "\\earth", "⊕";
   "\\ejectkey", "⏏";
   "\\ell", "ℓ";
   "\\emptyset", "∅";
   "\\enterkey", "⌤";
   "\\epsdice1", "⚀";
   "\\epsdice2", "⚁";
   "\\epsdice3", "⚂";
   "\\epsdice4", "⚃";
   "\\epsdice5", "⚄";
   "\\epsdice6", "⚅";
   "\\epsilon", "∊";
   "\\eqcirc", "≖";
   "\\equiv", "≡";
   "\\esckey", "⎋";
   "\\eta", "η";
   "\\eth", "ð";
   "\\euro", "€";
   "\\exists", "∃";
   "\\fallingdotseq", "≒";
   "\\flat", "♭";
   "\\forall", "∀";
   "\\frown", "⌢";
   "\\gamma", "γ";
   "\\ge", "≥";
   "\\gemini", "♊";
   "\\geq", "≥";
   "\\geqq", "≧";
   "\\gg", "≫";
   "\\ggg", "⋙";
   "\\gimel", "ℷ";
   "\\gtrdot", "⋗";
   "\\gtreqless", "⋛";
   "\\gtrless", "≷";
   "\\gtrsim", "≳";
   "\\hbar", "ℏ";
   "\\heartsuit", "♡";
   "\\hookleftarrow", "↩";
   "\\hookrightarrow", "↪";
   "\\hslash", "ℏ";
   "\\iiiint", "⨌";
   "\\iiint", "∭";
   "\\iint", "∬";
   "\\implies", "⇒";
   "\\in", "∈";
   "\\infty", "∞";
   "\\int", "∫";
   "\\intercal", "⊺";
   "\\iota", "ι";
   "\\jupiter", "♃";
   "\\kappa", "κ";
   "\\l{}", "ł";
   "\\lambda", "λ";
   "\\langle", "⟨";
   "\\lceil", "⌈";
   "\\ldots", "…";
   "\\le", "≤";
   "\\leadsto", "↝";
   "\\leftarrow", "←";
   "\\leftarrowtail", "↢";
   "\\leftharpoondown", "↽";
   "\\leftharpoonup", "↼";
   "\\leftleftarrows", "⇇";
   "\\leftmoon", "☾";
   "\\leftrightarrow", "↔";
   "\\leftrightarrows", "⇆";
   "\\leftrightharpoons", "⇋";
   "\\leftrightsquigarrow", "↭";
   "\\leftthreetimes", "⋋";
   "\\leo", "♌";
   "\\leq", "≤";
   "\\leqq", "≦";
   "\\leqslant", "≤";
   "\\lessdot", "⋖";
   "\\lesseqgtr", "⋚";
   "\\lessgtr", "≶";
   "\\lesssim", "≲";
   "\\lfloor", "⌊";
   "\\lhd", "⊲";
   "\\libra", "♎";
   "\\ll", "≪";
   "\\lll", "⋘";
   "\\longleftarrow", "←";
   "\\longleftrightarrow", "↔";
   "\\longmapsto", "⇖";
   "\\longrightarrow", "→";
   "\\looparrowleft", "↫";
   "\\looparrowright", "↬";
   "\\lozenge", "◊";
   "\\ltimes", "⋉";
   "\\mapsto", "↦";
   "\\mars", "♂";
   "\\measuredangle", "∡";
   "\\mercury", "☿";
   "\\mho", "℧";
   "\\mid", "∣";
   "\\models", "⊨";
   "\\mp", "∓";
   "\\mu", "μ";
   "\\multimap", "⊸";
   "\\nabla", "∇";
   "\\natural", "♮";
   "\\nearrow", "↗";
   "\\neg", "¬";
   "\\neptune", "♆";
   "\\neq", "≠";
   "\\nexists", "∄";
   "\\ng", "ŋ";
   "\\ni", "∋";
   "\\not<", "≮";
   "\\not>", "≯";
   "\\not\\Vdash", "⊮";
   "\\not\\approx", "≉";
   "\\not\\cong", "≇";
   "\\not\\equiv", "≢";
   "\\not\\ge", "≱";
   "\\not\\gtrless", "≹";
   "\\not\\in", "∉";
   "\\not\\le", "≰";
   "\\not\\models", "⊭";
   "\\not\\ni", "∌";
   "\\not\\sim", "≄";
   "\\not\\sqsubseteq", "⋢";
   "\\not\\sqsupseteq", "⋣";
   "\\not\\subset", "⊄";
   "\\not\\subseteq", "⊈";
   "\\not\\supset", "⊅";
   "\\not\\supseteq", "⊉";
   "\\not\\vdash", "⊬";
   "\\notin", "∉";
   "\\nu", "ν";
   "\\v", "ν";
   "\\nwarrow", "↖";
   "\\o{}", "ø";
   "\\odot", "⊙";
   "\\oe", "œ";
   "\\oint", "∮";
   "\\omega", "ω";
   "\\w", "ω";
   "\\omicron", "ο";
   "\\ominus", "⊖";
   "\\oplus", "⊕";
   "\\opposition", "☍";
   "\\optkey", "⌥";
   "\\oslash", "⊘";
   "\\otimes", "⊗";
   "\\parallel", "∥";
   "\\partial", "∂";
   "\\perp", "⊥";
   "\\phi", "φ";
   "\\f", "φ";
   "\\pi", "π";
   "\\pilcrow", "¶";
   "\\pisces", "♓";
   "\\pitchfork", "⋔";
   "\\pluto", "♇";
   "\\pm", "±";
   "\\pound", "£";
   "\\pounds", "£";
   "\\prec", "≺";
   "\\preccurlyeq", "≼";
   "\\preceq", "≼";
   "\\precsim", "≾";
   "\\prime", "′";
   "\\prod", "∏";
   "\\propto", "∝";
   "\\psi", "ψ";
   "\\rangle", "⟩";
   "\\rceil", "⌉";
   "\\registered", "®";
   "\\returnkey", "⏎";
   "\\revtabkey", "⇤";
   "\\rfloor", "⌋";
   "\\rhd", "⊳";
   "\\rho", "ρ";
   "\\rightarrow", "→";
   "\\rightarrowtail", "↣";
   "\\rightdelkey", "⌦";
   "\\rightharpoondown", "⇁";
   "\\rightharpoonup", "⇀";
   "\\rightleftarrows", "⇄";
   "\\rightleftharpoons", "⇌";
   "\\rightmoon", "☽";
   "\\rightrightarrows", "⇉";
   "\\rightsquigarrow", "⇝";
   "\\rightthreetimes", "⋌";
   "\\risingdotseq", "≓";
   "\\rtimes", "⋊";
   "\\sagittarius", "♐";
   "\\saturn", "♄";
   "\\scorpio", "♏";
   "\\searrow", "↘";
   "\\section", "§";
   "\\setminus", "∖";
   "\\sharp", "♯";
   "\\shiftkey", "⇧";
   "\\shortparallel", "∥";
   "\\sigma", "σ";
   "\\sim", "∼";
   "\\simeq", "≃";
   "\\smallfrown", "⌢";
   "\\smallsetminus", "∖";
   "\\smallsmile", "⌣";
   "\\smile", "⌣";
   "\\space", "␣";
   "\\spadesuit", "♠";
   "\\sphericalangle", "∢";
   "\\sqcap", "⊓";
   "\\sqcup", "⊔";
   "\\sqsubset", "⊏";
   "\\sqsubseteq", "⊑";
   "\\sqsupset", "⊐";
   "\\sqsupseteq", "⊒";
   "\\square", "□";
   "\\ss", "ß";
   "\\star", "⋆";
   "\\subset", "⊂";
   "\\subseteq", "⊆";
   "\\subsetneq", "⊊";
   "\\succ", "≻";
   "\\succcurlyeq", "≽";
   "\\succeq", "≽";
   "\\succsim", "≿";
   "\\sum", "∑";
   "\\supset", "⊃";
   "\\supseteq", "⊇";
   "\\supsetneq", "⊋";
   "\\surd", "√";
   "\\swarrow", "↙";
   "\\tabkey", "⇥";
   "\\tau", "τ";
   "\\taurus", "♉";
   "\\textbabygamma", "ɤ";
   "\\textbarglotstop", "ʡ";
   "\\textbari", "ɨ";
   "\\textbaro", "ɵ";
   "\\textbarrevglotstop", "ʢ";
   "\\textbaru", "ʉ";
   "\\textbeltl", "ɬ";
   "\\textbeta", "β";
   "\\textbullseye", "ʘ";
   "\\textchi", "χ";
   "\\textcloserevepsilon", "ɞ";
   "\\textcrh", "ħ";
   "\\textctc", "ɕ";
   "\\textctj", "ʝ";
   "\\textctz", "ʑ";
   "\\textdoublepipe", "ǁ";
   "\\textdyoghlig", "ʤ";
   "\\textepsilon", "ɛ";
   "\\textesh", "ʃ";
   "\\textfishhookr", "ɾ";
   "\\textgamma", "ɣ";
   "\\textglotstop", "ʔ";
   "\\textgrgamma", "γ";
   "\\texthtb", "ɓ";
   "\\texthtd", "ɗ";
   "\\texthtg", "ɠ";
   "\\texthth", "ɦ";
   "\\texththeng", "ɧ";
   "\\texthtscg", "ʛ";
   "\\textinvscr", "ʁ";
   "\\textiota", "ι";
   "\\textltailm", "ɱ";
   "\\textltailn", "ɲ";
   "\\textltilde", "ɫ";
   "\\textlyoghlig", "ɮ";
   "\\textopeno", "ɔ";
   "\\textphi", "ɸ";
   "\\textpipe", "ǀ";
   "\\textregistered", "®";
   "\\textreve", "ɘ";
   "\\textrevepsilon", "ɜ";
   "\\textrevglotstop", "ʕ";
   "\\textrhookrevepsilon", "ɝ";
   "\\textrighthookschwa", "ɚ";
   "\\textteshlig", "ʧ";
   "\\texttheta", "θ";
   "\\texttrademark", "™";
   "\\textturna", "ɐ";
   "\\textturnh", "ɥ";
   "\\textturnlonglegr", "ɺ";
   "\\textturnm", "ɯ";
   "\\textturnmrleg", "ɰ";
   "\\textturnr", "ɹ";
   "\\textturnrrtail", "ɻ";
   "\\textturnscripta", "ɒ";
   "\\textturnv", "ʌ";
   "\\textturnw", "ʍ";
   "\\textturny", "ʎ";
   "\\textupsilon", "ʊ";
   "\\textyogh", "ʒ";
   "\\th", "þ";
   "\\therefore", "∴";
   "\\theta", "θ";
   "\\h", "θ";
   "\\thickapprox", "≈";
   "\\thicksim", "∼";
   "\\times", "×";
   "\\top", "⊤";
   "\\trademark", "™";
   "\\triangle", "△";
   "\\triangledown", "▽";
   "\\triangleleft", "◁";
   "\\trianglelefteq", "⊴";
   "\\triangleq", "≜";
   "\\triangleright", "▷";
   "\\trianglerighteq", "⊵";
   "\\twoheadleftarrow", "↞";
   "\\twoheadrightarrow", "↠";
   "\\unlhd", "⊴";
   "\\unrhd", "⊵";
   "\\uparrow", "↑";
   "\\updownarrow", "↕";
   "\\upharpoonleft", "↿";
   "\\upharpoonright", "↾";
   "\\uplus", "⊎";
   "\\upsilon", "υ";
   "\\upuparrows", "⇈";
   "\\uranus", "⛢";
   "\\vDash", "⊨";
   "\\varepsilon", "ε";
   "\\varkappa", "ϰ";
   "\\varnothing", "∅";
   "\\varphi", "ϕ";
   "\\varpi", "ϖ";
   "\\varpropto", "∝";
   "\\varrho", "ϱ";
   "\\varsigma", "ς";
   "\\vartheta", "ϑ";
   "\\vartriangle", "△";
   "\\vartriangleleft", "⊲";
   "\\vartriangleright", "⊳";
   "\\vdash", "⊢";
   "\\vdots", "⋮";
   "\\vee", "∨";
   "\\veebar", "⊻";
   "\\venus", "♀";
   "\\virgo", "♍";
   "\\wedge", "∧";
   "\\whitebishop", "♗";
   "\\whiteking", "♔";
   "\\whiteknight", "♘";
   "\\whitepawn", "♙";
   "\\whitequeen", "♕";
   "\\whiterook", "♖";
   "\\wp", "℘";
   "\\wr", "≀";
   "\\xi", "ξ";
   "\\zeta", "ζ";

   (* Double accent *)
   "\\\"A", "Ä";
   "\\\"E", "Ë";
   "\\\"H", "Ḧ";
   "\\\"I", "Ï";
   "\\\"O", "Ö";
   "\\\"U", "Ü";
   "\\\"W", "Ẅ";
   "\\\"X", "Ẍ";
   "\\\"Y", "Ÿ";
   "\\\"a", "ä";
   "\\\"e", "ë";
   "\\\"h", "ḧ";
   "\\\"i", "ï";
   "\\\"o", "ö";
   "\\\"t", "ẗ";
   "\\\"u", "ü";
   "\\\"w", "ẅ";
   "\\\"x", "ẍ";
   "\\\"y", "ÿ";

   (* Acute accent *)
   "\\'A", "Á";
   "\\'C", "Ć";
   "\\'E", "É";
   "\\'G", "Ǵ";
   "\\'I", "Í";
   "\\'K", "Ḱ";
   "\\'L", "Ĺ";
   "\\'M", "Ḿ";
   "\\'N", "Ń";
   "\\'O", "Ó";
   "\\'P", "Ṕ";
   "\\'R", "Ŕ";
   "\\'S", "Ś";
   "\\'U", "Ú";
   "\\'W", "Ẃ";
   "\\'Y", "Ý";
   "\\'Z", "Ź";
   "\\'a", "á";
   "\\'c", "ć";
   "\\'e", "é";
   "\\'g", "ǵ";
   "\\'i", "í";
   "\\'k", "ḱ";
   "\\'l", "ĺ";
   "\\'m", "ḿ";
   "\\'n", "ń";
   "\\'o", "ó";
   "\\'p", "ṕ";
   "\\'r", "ŕ";
   "\\'s", "ś";
   "\\'u", "ú";
   "\\'w", "ẃ";
   "\\'y", "ý";
   "\\'z", "ź";

   (* Doted accent *)
   "\\.A", "Ȧ";
   "\\.B", "Ḃ";
   "\\.C", "Ċ";
   "\\.D", "Ḋ";
   "\\.E", "Ė";
   "\\.F", "Ḟ";
   "\\.G", "Ġ";
   "\\.H", "Ḣ";
   "\\.I", "İ";
   "\\.M", "Ṁ";
   "\\.N", "Ṅ";
   "\\.O", "Ȯ";
   "\\.P", "Ṗ";
   "\\.R", "Ṙ";
   "\\.S", "Ṡ";
   "\\.T", "Ṫ";
   "\\.W", "Ẇ";
   "\\.X", "Ẋ";
   "\\.Y", "Ẏ";
   "\\.Z", "Ż";
   "\\.a", "ȧ";
   "\\.b", "ḃ";
   "\\.c", "ċ";
   "\\.d", "ḋ";
   "\\.e", "ė";
   "\\.f", "ḟ";
   "\\.g", "ġ";
   "\\.h", "ḣ";
   "\\.m", "ṁ";
   "\\.n", "ṅ";
   "\\.o", "ȯ";
   "\\.p", "ṗ";
   "\\.r", "ṙ";
   "\\.s", "ṡ";
   "\\.t", "ṫ";
   "\\.w", "ẇ";
   "\\.x", "ẋ";
   "\\.y", "ẏ";
   "\\.z", "ż";
   "\\doteq", "≐";
   "\\doteqdot", "≑";
   "\\dotplus", "∔";
   "\\dotA", "Ȧ";
   "\\dotB", "Ḃ";
   "\\dotC", "Ċ";
   "\\dotD", "Ḋ";
   "\\dotE", "Ė";
   "\\dotF", "Ḟ";
   "\\dotG", "Ġ";
   "\\dotH", "Ḣ";
   "\\dotI", "İ";
   "\\dotM", "Ṁ";
   "\\dotN", "Ṅ";
   "\\dotO", "Ȯ";
   "\\dotP", "Ṗ";
   "\\dotR", "Ṙ";
   "\\dotS", "Ṡ";
   "\\dotT", "Ṫ";
   "\\dotW", "Ẇ";
   "\\dotX", "Ẋ";
   "\\dotY", "Ẏ";
   "\\dotZ", "Ż";
   "\\dota", "ȧ";
   "\\dotb", "ḃ";
   "\\dotc", "ċ";
   "\\dotd", "ḋ";
   "\\dote", "ė";
   "\\dotf", "ḟ";
   "\\dotg", "ġ";
   "\\doth", "ḣ";
   "\\dotm", "ṁ";
   "\\dotn", "ṅ";
   "\\doto", "ȯ";
   "\\dotp", "ṗ";
   "\\dotr", "ṙ";
   "\\dots", "ṡ";
   "\\dott", "ṫ";
   "\\dotw", "ẇ";
   "\\dotx", "ẋ";
   "\\doty", "ẏ";
   "\\dotz", "ż";
   "\\dA", "Ạ";
   "\\dB", "Ḅ";
   "\\dD", "Ḍ";
   "\\dE", "Ẹ";
   "\\dH", "Ḥ";
   "\\dI", "Ị";
   "\\dK", "Ḳ";
   "\\dL", "Ḷ";
   "\\dM", "Ṃ";
   "\\dN", "Ṇ";
   "\\dO", "Ọ";
   "\\dR", "Ṛ";
   "\\dS", "Ṣ";
   "\\dT", "Ṭ";
   "\\dU", "Ụ";
   "\\dV", "Ṿ";
   "\\dW", "Ẉ";
   "\\dY", "Ỵ";
   "\\dZ", "Ẓ";
   "\\da", "ạ";
   "\\db", "ḅ";
   "\\dd", "ḍ";
   "\\de", "ẹ";
   "\\dh", "ḥ";
   "\\di", "ị";
   "\\dk", "ḳ";
   "\\dl", "ḷ";
   "\\dm", "ṃ";
   "\\dn", "ṇ";
   "\\do", "ọ";
   "\\dr", "ṛ";
   "\\ds", "ṣ";
   "\\dt", "ṭ";
   "\\du", "ụ";
   "\\dv", "ṿ";
   "\\dw", "ẉ";
   "\\dy", "ỵ";
   "\\dz", "ẓ";

   (* Double dot accent *)
   "\\ddots", "⋱";
   "\\ddotA", "Ä";
   "\\ddotE", "Ë";
   "\\ddotH", "Ḧ";
   "\\ddotI", "Ï";
   "\\ddotO", "Ö";
   "\\ddotU", "Ü";
   "\\ddotW", "Ẅ";
   "\\ddotX", "Ẍ";
   "\\ddotY", "Ÿ";
   "\\ddota", "ä";
   "\\ddote", "ë";
   "\\ddoth", "ḧ";
   "\\ddoti", "ï";
   "\\ddoto", "ö";
   "\\ddott", "ẗ";
   "\\ddotu", "ü";
   "\\ddotw", "ẅ";
   "\\ddotx", "ẍ";
   "\\ddoty", "ÿ";

   (* Breve accent *)
   "\\breveA", "Ă";
   "\\breveE", "Ĕ";
   "\\breveG", "Ğ";
   "\\breveI", "Ĭ";
   "\\breveO", "Ŏ";
   "\\breveU", "Ŭ";
   "\\brevea", "ă";
   "\\brevee", "ĕ";
   "\\breveg", "ğ";
   "\\brevei", "ĭ";
   "\\breveo", "ŏ";
   "\\breveu", "ŭ";
   "\\uA", "Ă";
   "\\uE", "Ĕ";
   "\\uG", "Ğ";
   "\\uI", "Ĭ";
   "\\uO", "Ŏ";
   "\\uU", "Ŭ";
   "\\ua", "ă";
   "\\ue", "ĕ";
   "\\ug", "ğ";
   "\\ui", "ĭ";
   "\\uo", "ŏ";
   "\\uu", "ŭ";

   (* Check accent *)
   "\\checkA", "Ǎ";
   "\\checkC", "Č";
   "\\checkD", "Ď";
   "\\checkE", "Ě";
   "\\checkN", "Ň";
   "\\checkR", "Ř";
   "\\checkS", "Š";
   "\\checkT", "Ť";
   "\\checkZ", "Ž";
   "\\checka", "ǎ";
   "\\checkc", "č";
   "\\checkd", "ď";
   "\\checke", "ě";
   "\\checkn", "ň";
   "\\checkr", "ř";
   "\\checks", "š";
   "\\checkt", "ť";
   "\\checkz", "ž";
   "\\vA", "Ǎ";
   "\\vC", "Č";
   "\\vD", "Ď";
   "\\vE", "Ě";
   "\\vN", "Ň";
   "\\vR", "Ř";
   "\\vS", "Š";
   "\\vT", "Ť";
   "\\vZ", "Ž";
   "\\va", "ǎ";
   "\\vc", "č";
   "\\vd", "ď";
   "\\ve", "ě";
   "\\vn", "ň";
   "\\vr", "ř";
   "\\vs", "š";
   "\\vt", "ť";
   "\\vz", "ž";

   (* Bar accent *)
   "\\=A", "Ā";
   "\\=E", "Ē";
   "\\=G", "Ḡ";
   "\\=I", "Ī";
   "\\=O", "Ō";
   "\\=U", "Ū";
   "\\=Y", "Ȳ";
   "\\=a", "ā";
   "\\=e", "ē";
   "\\=g", "ḡ";
   "\\=i", "ī";
   "\\=o", "ō";
   "\\=u", "ū";
   "\\=y", "ȳ";
   "\\AA", "Å";
   "\\AE", "Æ";
   "\\barA", "Ā";
   "\\barE", "Ē";
   "\\barG", "Ḡ";
   "\\barI", "Ī";
   "\\barO", "Ō";
   "\\barU", "Ū";
   "\\barY", "Ȳ";
   "\\bara", "ā";
   "\\bare", "ē";
   "\\barg", "ḡ";
   "\\bari", "ī";
   "\\baro", "ō";
   "\\baru", "ū";
   "\\bary", "ȳ";

   (* Hat acccent *)
   "\\^A", "Â";
   "\\^C", "Ĉ";
   "\\^E", "Ê";
   "\\^G", "Ĝ";
   "\\^H", "Ĥ";
   "\\^I", "Î";
   "\\^J", "Ĵ";
   "\\^O", "Ô";
   "\\^S", "Ŝ";
   "\\^U", "Û";
   "\\^W", "Ŵ";
   "\\^Y", "Ŷ";
   "\\^Z", "Ẑ";
   "\\^a", "â";
   "\\^c", "ĉ";
   "\\^e", "ê";
   "\\^g", "ĝ";
   "\\^h", "ĥ";
   "\\^i", "î";
   "\\^j", "ĵ";
   "\\^o", "ô";
   "\\^s", "ŝ";
   "\\^u", "û";
   "\\^w", "ŵ";
   "\\^y", "ŷ";
   "\\^z", "ẑ";

   (* Backquote acccent *)
   "\\`A", "À";
   "\\`E", "È";
   "\\`I", "Ì";
   "\\`N", "Ǹ";
   "\\`O", "Ò";
   "\\`U", "Ù";
   "\\`W", "Ẁ";
   "\\`Y", "Ỳ";
   "\\`a", "à";
   "\\`e", "è";
   "\\`i", "ì";
   "\\`n", "ǹ";
   "\\`o", "ò";
   "\\`u", "ù";
   "\\`w", "ẁ";
   "\\`y", "ỳ";

   (* Tiled acccent *)
   "\\~A", "Ā";
   "\\~E", "Ẽ";
   "\\~I", "Ĩ";
   "\\~N", "Ñ";
   "\\~O", "Õ";
   "\\~U", "Ũ";
   "\\~Y", "Ỹ";
   "\\~a", "ã";
   "\\~e", "ẽ";
   "\\~i", "ĩ";
   "\\~n", "ñ";
   "\\~o", "õ";
   "\\~u", "ũ";
   "\\~y", "ỹ";

   (* textrt font *)
   "\\textrtaild", "ɖ";
   "\\textrtaill", "ɭ";
   "\\textrtailn", "ɳ";
   "\\textrtailr", "ɽ";
   "\\textrtails", "ʂ";
   "\\textrtailt", "ʈ";
   "\\textrtailz", "ʐ";

   (* textsc font *)
   "\\textscb", "ʙ";
   "\\textscg", "ɢ";
   "\\textsch", "ʜ";
   "\\textschwa", "ə";
   "\\textsci", "ɪ";
   "\\textscl", "ʟ";
   "\\textscn", "ɴ";
   "\\textscoelig", "ɶ";
   "\\textscr", "ʀ";
   "\\textscripta", "ɑ";
   "\\textscriptv", "ʋ";
   "\\textscy", "ʏ";

   (* bb font *)
   "\\bb0", "𝟘";
   "\\bb1", "𝟙";
   "\\bb2", "𝟚";
   "\\bb3", "𝟛";
   "\\bb4", "𝟜";
   "\\bb5", "𝟝";
   "\\bb6", "𝟞";
   "\\bb7", "𝟟";
   "\\bb8", "𝟠";
   "\\bb9", "𝟡";
   "\\bbA", "𝔸";
   "\\bbB", "𝔹";
   "\\bbC", "ℂ";
   "\\bbD", "𝔻";
   "\\bbE", "𝔼";
   "\\bbF", "𝔽";
   "\\bbG", "𝔾";
   "\\bbH", "ℍ";
   "\\bbI", "𝕀";
   "\\bbJ", "𝕁";
   "\\bbK", "𝕂";
   "\\bbL", "𝕃";
   "\\bbM", "𝕄";
   "\\bbN", "ℕ";
   "\\bbO", "𝕆";
   "\\bbP", "ℙ";
   "\\bbQ", "ℚ";
   "\\bbR", "ℝ";
   "\\bbS", "𝕊";
   "\\bbT", "𝕋";
   "\\bbU", "𝕌";
   "\\bbV", "𝕍";
   "\\bbW", "𝕎";
   "\\bbX", "𝕏";
   "\\bbY", "𝕐";
   "\\bbZ", "ℤ";
   "\\bba", "𝕒";
   "\\bbb", "𝕓";
   "\\bbc", "𝕔";
   "\\bbd", "𝕕";
   "\\bbe", "𝕖";
   "\\bbf", "𝕗";
   "\\bbg", "𝕘";
   "\\bbh", "𝕙";
   "\\bbi", "𝕚";
   "\\bbj", "𝕛";
   "\\bbk", "𝕜";
   "\\bbl", "𝕝";
   "\\bbm", "𝕞";
   "\\bbn", "𝕟";
   "\\bbo", "𝕠";
   "\\bbp", "𝕡";
   "\\bbq", "𝕢";
   "\\bbr", "𝕣";
   "\\bbs", "𝕤";
   "\\bbt", "𝕥";
   "\\bbu", "𝕦";
   "\\bbv", "𝕧";
   "\\bbw", "𝕨";
   "\\bbx", "𝕩";
   "\\bby", "𝕪";
   "\\bbz", "𝕫";

   (* cal font *)
   "\\calA", "𝒜";
   "\\calB", "ℬ";
   "\\calC", "𝒞";
   "\\calD", "𝒟";
   "\\calE", "ℰ";
   "\\calF", "ℱ";
   "\\calG", "𝒢";
   "\\calH", "ℋ";
   "\\calI", "ℐ";
   "\\calJ", "𝒥";
   "\\calK", "𝒦";
   "\\calL", "ℒ";
   "\\calM", "ℳ";
   "\\calN", "𝒩";
   "\\calO", "𝒪";
   "\\calP", "𝒫";
   "\\calQ", "𝒬";
   "\\calR", "ℛ";
   "\\calS", "𝒮";
   "\\calT", "𝒯";
   "\\calU", "𝒰";
   "\\calV", "𝒱";
   "\\calW", "𝒲";
   "\\calX", "𝒳";
   "\\calY", "𝒴";
   "\\calZ", "𝒵";
   "\\cala", "𝒶";
   "\\calb", "𝒷";
   "\\calc", "𝒸";
   "\\cald", "𝒹";
   "\\cale", "ℯ";
   "\\calf", "𝒻";
   "\\calg", "ℊ";
   "\\calh", "𝒽";
   "\\cali", "𝒾";
   "\\calj", "𝒿";
   "\\calk", "𝓀";
   "\\call", "𝓁";
   "\\calm", "𝓂";
   "\\caln", "𝓃";
   "\\calo", "ℴ";
   "\\calp", "𝓅";
   "\\calq", "𝓆";
   "\\calr", "𝓇";
   "\\cals", "𝓈";
   "\\calt", "𝓉";
   "\\calu", "𝓊";
   "\\calv", "𝓋";
   "\\calw", "𝓌";
   "\\calx", "𝓍";
   "\\caly", "𝓎";
   "\\calz", "𝓏";

   (* frak font *)
   "\\frakA", "𝔄";
   "\\frakB", "𝔅";
   "\\frakC", "ℭ";
   "\\frakD", "𝔇";
   "\\frakE", "𝔈";
   "\\frakF", "𝔉";
   "\\frakG", "𝔊";
   "\\frakH", "ℌ";
   "\\frakI", "ℑ";
   "\\frakJ", "𝔍";
   "\\frakK", "𝔎";
   "\\frakL", "𝔏";
   "\\frakM", "𝔐";
   "\\frakN", "𝔑";
   "\\frakO", "𝔒";
   "\\frakP", "𝔓";
   "\\frakQ", "𝔔";
   "\\frakR", "ℜ";
   "\\frakS", "𝔖";
   "\\frakT", "𝔗";
   "\\frakU", "𝔘";
   "\\frakV", "𝔙";
   "\\frakW", "𝔚";
   "\\frakX", "𝔛";
   "\\frakY", "𝔜";
   "\\frakZ", "ℨ";
   "\\fraka", "𝔞";
   "\\frakb", "𝔟";
   "\\frakc", "𝔠";
   "\\frakd", "𝔡";
   "\\frake", "𝔢";
   "\\frakf", "𝔣";
   "\\frakg", "𝔤";
   "\\frakh", "𝔥";
   "\\fraki", "𝔦";
   "\\frakj", "𝔧";
   "\\frakk", "𝔨";
   "\\frakl", "𝔩";
   "\\frakm", "𝔪";
   "\\frakn", "𝔫";
   "\\frako", "𝔬";
   "\\frakp", "𝔭";
   "\\frakq", "𝔮";
   "\\frakr", "𝔯";
   "\\fraks", "𝔰";
   "\\frakt", "𝔱";
   "\\fraku", "𝔲";
   "\\frakv", "𝔳";
   "\\frakw", "𝔴";
   "\\frakx", "𝔵";
   "\\fraky", "𝔶";
   "\\frakz", "𝔷";

   (* Exponent *)
   "\\^(", "⁽";
   "\\^)", "⁾";
   "\\^+", "⁺";
   "\\^-", "⁻";
   "\\^0", "⁰";
   "\\^1", "¹";
   "\\^2", "²";
   "\\^3", "³";
   "\\^4", "⁴";
   "\\^5", "⁵";
   "\\^6", "⁶";
   "\\^7", "⁷";
   "\\^8", "⁸";
   "\\^9", "⁹";
   "\\^=", "⁼";
   "\\^A", "ᴬ";
   "\\^B", "ᴮ";
   "\\^D", "ᴰ";
   "\\^E", "ᴱ";
   "\\^G", "ᴳ";
   "\\^H", "ᴴ";
   "\\^I", "ᴵ";
   "\\^J", "ᴶ";
   "\\^K", "ᴷ";
   "\\^L", "ᴸ";
   "\\^M", "ᴹ";
   "\\^N", "ᴺ";
   "\\^O", "ᴼ";
   "\\^P", "ᴾ";
   "\\^R", "ᴿ";
   "\\^T", "ᵀ";
   "\\^U", "ᵁ";
   "\\^V", "ⱽ";
   "\\^W", "ᵂ";
   "\\^alpha", "ᵅ";
   "\\^beta", "ᵝ";
   "\\^chi", "ᵡ";
   "\\^delta", "ᵟ";
   "\\^epsilon", "ᵋ";
   "\\^gamma", "ᵞ";
   "\\^iota", "ᶥ";
   "\\^phi", "ᶲ";
   "\\^theta", "ᶿ";
   "\\^varphi", "ᵠ";
   "\\^a", "ᵃ";
   "\\^b", "ᵇ";
   "\\^c", "ᶜ";
   "\\^d", "ᵈ";
   "\\^e", "ᵉ";
   "\\^f", "ᶠ";
   "\\^g", "ᵍ";
   "\\^h", "ʰ";
   "\\^i", "ⁱ";
   "\\^j", "ʲ";
   "\\^k", "ᵏ";
   "\\^l", "ˡ";
   "\\^m", "ᵐ";
   "\\^n", "ⁿ";
   "\\^o", "ᵒ";
   "\\^p", "ᵖ";
   "\\^r", "ʳ";
   "\\^s", "ˢ";
   "\\^t", "ᵗ";
   "\\^u", "ᵘ";
   "\\^v", "ᵛ";
   "\\^w", "ʷ";
   "\\^x", "ˣ";
   "\\^y", "ʸ";
   "\\^z", "ᶻ";

   (* Subscript *)
   "\\_(", "₍";
   "\\_)", "₎";
   "\\_+", "₊";
   "\\_-", "₋";
   "\\_0", "₀";
   "\\_1", "₁";
   "\\_2", "₂";
   "\\_3", "₃";
   "\\_4", "₄";
   "\\_5", "₅";
   "\\_6", "₆";
   "\\_7", "₇";
   "\\_8", "₈";
   "\\_9", "₉";
   "\\_=", "₌";
   "\\_beta", "ᵦ";
   "\\_chi", "ᵪ";
   "\\_gamma", "ᵧ";
   "\\_rho", "ᵨ";
   "\\_varphi", "ᵩ";
   "\\_a", "ₐ";
   "\\_e", "ₑ";
   "\\_h", "ₕ";
   "\\_i", "ᵢ";
   "\\_j", "ⱼ";
   "\\_k", "ₖ";
   "\\_l", "ₗ";
   "\\_m", "ₘ";
   "\\_n", "ₙ";
   "\\_o", "ₒ";
   "\\_p", "ₚ";
   "\\_r", "ᵣ";
   "\\_s", "ₛ";
   "\\_t", "ₜ";
   "\\_u", "ᵤ";
   "\\_v", "ᵥ";
   "\\_x", "ₓ";

]


(** **************************************************************************)
(** * Priorities *)

(** Set priorities, at the moment only for greek letters *)

let priorities = [
(* {{{ greek letters *)
 "\\alpha", 1;
 "\\beta", 1;
 "\\gamma", 1;
 "\\delta", 1;
 "\\epsilon", 1;
 "\\zeta", 1;
 "\\eta", 2;
 "\\theta", 2;
 "\\iota", 1;
 "\\kappa", 1;
 "\\lambda", 1;
 "\\mu", 1;
 "\\nu", 1;
 "\\xi", 1;
 "\\o", 1;
 "\\pi", 1;
 "\\rho", 1;
 "\\sigma", 1;
 "\\tau", 1;
 "\\upsilon", 1;
 "\\phi", 2;
 "\\chi", 1;
 "\\psi", 2;
 "\\omega", 2;
 "\\Gamma", 1;
 "\\Delta", 1;
 "\\Theta", 2;
 "\\Lambda", 1;
 "\\Xi", 1;
 "\\Pi", 1;
 "\\Sigma", 1;
 "\\Upsilon", 1;
 "\\Phi", 2;
 "\\Psi", 2;
 "\\Omega", 1;
(* }}} *)
]


(** **************************************************************************)
(** * Binding generator *)

let filename =
   let args = Sys.argv in
   if Array.length args < 2
     then failwith "please provide output filename as argument";
   Sys.argv.(1)

let _ = (* generate output file *)
   let bindings = ref [] in
   let add (key,value) =
      bindings := (key,value)::!bindings in
   (* add bindings from set 1 *)
   List.iter (fun (keys,value,_group) ->
      List.iter (fun key -> add (key,value)) keys) bindings_set_1;
   (* add bindings from set 2 *)
   List.iter add bindings_set_2;
   (* create table for priorities lookup *)
   let priotable = Hashtbl.create 20 in
   List.iter (fun (key,prio) -> Hashtbl.add priotable key prio) priorities;
   (* remove duplicates and sort *)
   let outbindings = List.sort_uniq (fun (key1,_) (key2,_) -> String.compare key1 key2) !bindings in
   (* print bindings into file, including optional priorities *)
   let file = open_out filename in
   let print_binding (key,value) =
      Printf.fprintf file "%s %s" key value;
      begin match Hashtbl.find_opt priotable key with
        | Some prio -> Printf.fprintf file " %d" prio
        | None -> ()
      end;
      Printf.fprintf file "\n"
      in
   List.iter print_binding outbindings;
   close_out file


(** **************************************************************************)
(** * Groups of similar shapes *)

(* For future use.

let predefined_classes = [
 ["&"; "⅋"; ];
 ["|"; "∥"; ];
 ["!"; "¡"; "⫯"; "⫰"; "⟟"; "⫱"; ];
 ["?"; "¿"; "⸮"; ];
 [":"; "⁝"; ];
 ["."; "•"; "◦"; ];
 ["#"; "♯"; "⋕"; "⧣"; "⧤"; "⌘"; ];
 ["+"; "⊞"; ];
 ["-"; "÷"; "⊢"; "⊩"; "⊟"; ];
 ["="; "≝"; "≡"; "⩬"; "≂"; "≃"; "≈"; "≅"; "≗"; "≐"; "≑"; "≚"; "≙"; "⌆"; "⊜"; ];
 ["→"; "↦"; "⇝"; "⤞"; "⇾"; "⤍"; "⤏"; "⤳"; ] ;
 ["⇒"; "⤇"; "➾"; "⇨"; "➡"; "⬈"; "➤"; "➸"; "⇉"; "⥰"; ] ;
 ["^"; "↑"; ] ;
 ["⇑"; "⇧"; "⬆"; ] ;
 ["⇓"; "⇩"; "⬇"; "⬊"; "➷"; ] ;
 ["⇕"; "⇳"; "⬍"; ];
 ["↔"; "⇔"; "⬄"; "⬌"; ] ;
 ["≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; "⊆"; "⫃"; "⊑"; ] ;
 ["_"; "↓"; "↙"; "⎽"; "⎼"; "⎻"; "⎺"; ];
 ["<"; "≺"; "≮"; "⊀"; "〈"; "«"; "❬"; "❮"; "❰"; ] ;
 ["("; "❨"; "❪"; "❲"; "("; ];
 [")"; "❩"; "❫"; "❳"; ")"; ];
 ["["; "⦋"; "〚"; ] ;
 ["]"; "⦌"; "〛"; ] ;
 ["{"; "❴"; "⦃" ] ;
 ["}"; "❵"; "⦄" ] ;
 ["□"; "◽"; "▪"; "◾"; ];
 ["◊"; "♢"; "⧫"; "♦"; "⟐"; "⟠"; ] ;
 [">"; "⭃"; "⧁"; "〉"; "»"; "❭"; "❯"; "❱"; "▸"; "►"; "▶"; "⊃"; "⊐"; ] ;
 ["≥"; "⪀"; "≽"; "⪴"; "⥸"; "⊒"; ];
 ["∨"; "⩖"; "∪"; "∩"; "⋓"; "⋒" ] ;
 ["a"; "α"; "𝕒"; "𝐚"; "𝛂"; "ⓐ"; ] ;
 ["A"; "ℵ"; "𝔸"; "𝐀"; "Ⓐ"; ] ;
 ["b"; "β"; "ß"; "𝕓"; "𝐛"; "𝛃"; "ⓑ"; ] ;
 ["B"; "ℶ"; "ℬ"; "𝔹"; "𝐁"; "Ⓑ"; ] ;
 ["c"; "𝕔"; "𝐜"; "ⓒ"; ] ;
 ["C"; "ℭ"; "∁"; "𝐂"; "Ⓒ"; ] ;
 ["d"; "δ"; "∂"; "𝕕"; "ⅆ"; "𝐝"; "𝛅"; "ⓓ"; ] ;
 ["D"; "Δ"; "𝔻"; "ⅅ"; "𝐃"; "𝚫"; "Ⓓ"; ] ;
 ["e"; "ɛ"; "ε"; "ϵ"; "Є"; "ℯ"; "𝕖"; "ⅇ"; "𝐞"; "𝛆"; "𝛜"; "ⓔ"; ] ;
 ["E"; "ℰ"; "𝔼"; "𝐄"; "Ⓔ"; ] ;
 ["f"; "φ"; "ψ"; "ϕ"; "⨍"; "𝕗"; "𝐟"; "𝛟"; "𝛙"; "ⓕ"; ] ;
 ["F"; "Φ"; "Ψ"; "ℱ"; "𝔽"; "𝐅"; "𝚽"; "𝚿"; "Ⓕ"; ] ;
 ["g"; "γ"; "ℊ"; "𝕘"; "𝐠"; "𝛄"; "ⓖ"; ] ;
 ["G"; "Γ"; "𝔾"; "𝐆"; "𝚪"; "Ⓖ"; ] ;
 ["h"; "η"; "ℌ"; "ℎ"; "𝕙"; "𝐡"; "ⓗ"; ] ;
 ["H"; "ℋ"; "ℍ"; "𝐇"; "Ⓗ"; ] ;
 ["i"; "ι"; "ℐ"; "𝕚"; "ⅈ"; "𝐢"; "𝛊"; "ⓘ"; ] ;
 ["I"; "𝕀"; "𝐈"; "Ⓘ"; ] ;
 ["j"; "𝕛"; "𝐣"; "ⓙ"; ] ;
 ["J"; "Ј"; "𝕁"; "𝐉"; "Ⓙ"; ] ;
 ["k"; "κ"; "𝕜"; "𝐤"; "𝛋"; "ⓚ"; ] ;
 ["K"; "𝕂"; "𝐊"; "Ⓚ"; ] ;
 ["l"; "λ"; "𝕝"; "𝐥"; "𝛌"; "ⓛ"; ] ;
 ["L"; "Λ"; "𝕃"; "𝐋"; "𝚲"; "Ⓛ"; ] ;
 ["m"; "μ"; "𝕞"; "𝐦"; "𝛍"; "ⓜ"; ] ;
 ["M"; "ℳ"; "𝕄"; "𝐌"; "Ⓜ"; ] ;
 ["n"; "𝕟"; "𝐧"; "𝛈"; "ⓝ"; ] ;
 ["N"; "ℕ"; "№"; "𝐍"; "Ⓝ"; ] ;
 ["o"; "θ"; "ϑ"; "𝕠"; "∘";  "⊚"; "ø"; "○"; "𝐨"; "𝛉"; "ⓞ"; ] ;
 ["O"; "Θ"; "𝕆"; "𝐎"; "𝚯"; "𝚹"; "Ⓞ"; ] ;
 ["p"; "π"; "𝕡"; "𝐩"; "𝛑"; "ⓟ"; ] ;
 ["P"; "Π"; "℘"; "ℙ"; "𝐏"; "𝚷"; "Ⓟ"; ] ;
 ["q"; "𝕢"; "𝐪"; "ⓠ"; ] ;
 ["Q"; "ℚ"; "𝐐"; "Ⓠ"; ] ;
 ["r"; "ρ"; "ϱ"; "𝕣"; "𝐫"; "𝛒"; "𝛠"; "ⓡ"; ] ;
 ["R"; "ℛ"; "ℜ"; "ℝ"; "𝐑"; "Ⓡ"; ] ;
 ["s"; "σ"; "ς"; "𝕤"; "𝐬"; "𝛔"; "ⓢ"; ] ;
 ["S"; "Σ"; "𝕊"; "𝐒"; "𝚺"; "Ⓢ"; ] ;
 ["t"; "τ"; "𝕥"; "𝐭"; "𝛕"; "ⓣ"; ] ;
 ["T"; "𝕋"; "𝐓"; "Ⓣ"; "⊥"; ] ;
 ["u"; "𝕦"; "𝐮"; "ⓤ"; ] ;
 ["U"; "𝕌"; "𝐔"; "Ⓤ"; ] ;
 ["v"; "ν"; "𝕧"; "𝐯"; "𝛖"; "𝛎"; "ⓥ"; "▼"; ] ;
 ["V"; "𝕍"; "𝐕"; "Ⓥ"; ] ;
 ["w"; "ω"; "𝕨"; "𝐰"; "𝛚"; "ⓦ"; ] ;
 ["W"; "Ω"; "𝕎"; "𝐖"; "𝛀"; "Ⓦ"; ] ;
 ["x"; "ξ"; "χ"; "ϰ"; "𝕩"; "𝐱"; "𝛏"; "𝛘"; "𝛞"; "ⓧ"; ] ;
 ["X"; "Ξ"; "𝕏";"𝐗"; "𝚵"; "Ⓧ"; "⦻"; ] ;
 ["y"; "υ"; "𝕪"; "𝐲"; "ⓨ"; ] ;
 ["Y"; "ϒ"; "𝕐"; "𝐘"; "𝚼"; "Ⓨ"; ] ;
 ["z"; "ζ"; "𝕫"; "𝐳"; "𝛇"; "ⓩ"; ] ;
 ["Z"; "ℨ"; "ℤ"; "𝐙"; "Ⓩ"; ] ;
 ["0"; "𝟘"; "⓪"; ] ;
 ["1"; "𝟙"; "①"; "⓵"; ] ;
 ["2"; "𝟚"; "②"; "⓶"; ] ;
 ["3"; "𝟛"; "③"; "⓷"; ] ;
 ["4"; "𝟜"; "④"; "⓸"; ] ;
 ["5"; "𝟝"; "⑤"; "⓹"; ] ;
 ["6"; "𝟞"; "⑥"; "⓺"; ] ;
 ["7"; "𝟟"; "⑦"; "⓻"; ] ;
 ["8"; "𝟠"; "⑧"; "⓼"; "∞"; ] ;
 ["9"; "𝟡"; "⑨"; "⓽"; ] ;
 ]

*)