]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/predefined_virtuals.ml
use named types to force some constraints asap
[helm.git] / helm / software / matita / predefined_virtuals.ml
1 let logic = "logic";;
2 let symbol = "symbols";;
3 let fraction = "fractions";;
4 let letter = "letters";;
5 let asciiart = "ASCII art";;
6 let equivalence = "equivalence relations";;
7 let order = "order relations";;
8 let circle = "circles";;
9 let square = "squares";;
10 let triangle = "triangles";;
11 let arrow = "arrows";;
12 let set = "set theory";;
13 let math = "mathematics";;
14 let space = "spaces";;
15 let delimiter = "parentheses and delimiters";;
16 let miscellanea = "miscellanea";;
17
18
19 let predefined_virtuals = [
20
21 (* {{{ logics *)
22  ["\\not"; "\\neg"; "\\lnot"                           ], "¬", [logic];
23  ["\\ForAll"; "\\forall"                              ], "∀", [logic];
24  ["\\exist"; "\\Exists"; "\\exists"                    ], "∃", [logic];
25  ["\\nexist"; "\\nexists"; "\\NotExists"               ], "∄", [logic];
26  ["\\and"; "\\land"; "\\wedge"                         ], "∧", [logic];
27  ["\\or"; "\\vee"; "\\lor"                             ], "∨", [logic];
28  ["\\vdash"; "\\RightTee"                             ], "⊢", [logic];
29  ["\\dashv"; "\\LeftTee"                              ], "⊣", [logic];
30  ["\\top"; "\\DownTee"                                ], "⊤", [logic];
31  ["\\bot"; "\\perp"; "\\UpTee"; "\\bottom"              ], "⊥", [logic];
32  ["\\models"                                         ], "⊧", [logic];
33  ["\\vDash"; "\\DoubleRightTee"                       ], "⊨", [logic];
34  ["\\Vdash"                                          ], "⊩", [logic];
35  ["\\Vvdash"                                         ], "⊪", [logic];
36  ["\\VDash"                                          ], "⊫", [logic];
37  ["\\nvdash"                                         ], "⊬", [logic];
38  ["\\nvDash"                                         ], "⊭", [logic];
39  ["\\nVdash"                                         ], "⊮", [logic];
40  ["\\nVDash"                                         ], "⊯", [logic];
41  ["\\Wedge"; "\\xwedge"; "\\bigwedge"                  ], "⋀", [logic];
42  ["\\Vee"; "\\xvee"; "\\bigvee"                        ], "⋁", [logic];
43 (* }}} *)
44
45 (* {{{ symbols *)
46  ["\\cent"                                           ], "¢", [symbol];
47  ["\\pound"                                          ], "£", [symbol];
48  ["\\curren"                                         ], "¤", [symbol];
49  ["\\yen"                                            ], "¥", [symbol];
50  ["\\brvbar"                                         ], "¦", [symbol];
51  ["\\sect"                                           ], "§", [symbol];
52  ["\\uml"; "\\die"; "\\Dot"; "\\DoubleDot"              ], "¨", [symbol];
53  ["\\macr"; "\\OverBar"                               ], "¯", [symbol];
54  ["\\sup2"                                           ], "²", [symbol];
55  ["\\sup3"                                           ], "³", [symbol];
56  ["\\acute"; "\\DiacriticalAcute"                     ], "´", [symbol];
57  ["\\para"                                           ], "¶", [symbol];
58  ["\\middot"; "\\centerdot"; "\\CenterDot"             ], "·", [symbol];
59  ["\\cedil"; "\\Cedilla"                              ], "¸", [symbol];
60  ["\\sup1"                                           ], "¹", [symbol];
61  ["\\iquest"                                         ], "¿", [symbol];
62  ["\\thorn"                                          ], "þ", [symbol];
63  ["\\imath"; "\\inodot"                               ], "ı", [symbol];
64  ["\\Hacek"; "\\caron"                                ], "ˇ", [symbol];
65  ["\\Breve"; "\\breve"                                ], "˘", [symbol];
66  ["\\dot"; "\\DiacriticalDot"                         ], "˙", [symbol];
67  ["\\ogon"                                           ], "˛", [symbol];
68  ["\\tilde"; "\\DiacriticalTilde"                     ], "˜", [symbol];
69  ["\\dblac"; "\\DiacriticalDoubleAcute"               ], "˝", [symbol];
70  ["\\Hat"                                            ], "̂", [symbol];
71  ["\\DownBreve"                                      ], "̑", [symbol];
72  ["\\UnderBar"                                       ], "̲", [symbol];
73  ["\\dash"; "\\hyphen"                                ], "‐", [symbol];
74  ["\\ndash"                                          ], "–", [symbol];
75  ["\\mdash"                                          ], "—", [symbol];
76  ["\\horbar"                                         ], "―", [symbol];
77  ["\\Vert"; "\\Verbar"                                ], "‖", [symbol];
78  ["\\lsquo"; "\\OpenCurlyQuote"                       ], "‘", [symbol];
79  ["\\rsquo"; "\\rsquor"; "\\CloseCurlyQuote"           ], "’", [symbol];
80  ["\\lsquor"                                         ], "‚", [symbol];
81  ["\\ldquo"; "\\OpenCurlyDoubleQuote"                 ], "“", [symbol];
82  ["\\rdquo"; "\\rdquor"; "\\CloseCurlyDoubleQuote"     ], "”", [symbol];
83  ["\\ldquor"                                         ], "„", [symbol];
84  ["\\dagger"                                         ], "†", [symbol];
85  ["\\Dagger"; "\\ddagger"                             ], "‡", [symbol];
86  ["\\nldr"                                           ], "‥", [symbol];
87  ["\\mldr"; "\\dots"; "\\ldots"; "\\hellip"             ], "…", [symbol];
88  ["\\prime"                                          ], "′", [symbol];
89  ["\\Prime"                                          ], "″", [symbol];
90  ["\\tprime"                                         ], "‴", [symbol];
91  ["\\bprime"; "\\backprime"                           ], "‵", [symbol];
92  ["\\caret"                                          ], "⁁", [symbol];
93  ["\\hybull"                                         ], "⁃", [symbol];
94  ["\\bsemi"                                          ], "⁏", [symbol];
95  ["\\qprime"                                         ], "⁗", [symbol];
96  ["\\MediumSpace"                                    ], " ", [symbol];
97  ["\\tdot"; "\\TripleDot"                             ], "⃛", [symbol];
98  ["\\DotDot"                                         ], "⃜", [symbol];
99  ["\\minus"                                          ], "−", [symbol];
100  ["\\angrt"                                          ], "∟", [symbol];
101  ["\\ang"; "\\angle"                                  ], "∠", [symbol];
102  ["\\nang"                                           ], "∠̸", [symbol];
103  ["\\angmsd"; "\\measuredangle"                       ], "∡", [symbol];
104  ["\\angsph"                                         ], "∢", [symbol];
105  ["\\par"; "\\parallel"; "\\DoubleVerticalBar"         ], "∥", [symbol];
106  ["\\there4"; "\\Therefore"; "\\therefore"             ], "∴", [symbol];
107  ["\\becaus"; "\\because"; "\\Because"                 ], "∵", [symbol];
108  ["\\ratio"                                          ], "∶", [symbol];
109  ["\\Colon"; "\\Proportion"                           ], "∷", [symbol];
110  ["\\minusd"; "\\dotminus"                            ], "∸", [symbol];
111  ["\\mDDot"                                          ], "∺", [symbol];
112  ["\\homtht"                                         ], "∻", [symbol];
113  ["\\sim"; "\\Tilde"                                  ], "∼", [symbol];
114  ["\\mstpos"                                         ], "∾", [symbol];
115  ["\\acd"                                            ], "∿", [symbol];
116  ["\\wr"; "\\wreath"; "\\VerticalTilde"                ], "≀", [symbol];
117  ["\\origof"                                         ], "⊶", [symbol];
118  ["\\imof"                                           ], "⊷", [symbol];
119  ["\\mumap"; "\\multimap"                             ], "⊸", [symbol];
120  ["\\hercon"                                         ], "⊹", [symbol];
121  ["\\intcal"; "\\intercal"                            ], "⊺", [symbol];
122  ["\\veebar"                                         ], "⊻", [symbol];
123  ["\\barwed"; "\\barwedge"                            ], "⊼", [symbol];
124  ["\\barvee"                                         ], "⊽", [symbol];
125  ["\\vangrt"                                         ], "⊾", [symbol];
126  ["\\lrtri"                                          ], "⊿", [symbol];
127  ["\\diam"; "\\Diamond"; "\\diamond"                   ], "⋄", [symbol];
128  ["\\sdot"                                           ], "⋅", [symbol];
129  ["\\Star"; "\\star"; "\\sstarf"                       ], "⋆", [symbol];
130  ["\\divonx"; "\\divideontimes"                       ], "⋇", [symbol];
131  ["\\bowtie"                                         ], "⋈", [symbol];
132  ["\\ltimes"                                         ], "⋉", [symbol];
133  ["\\rtimes"                                         ], "⋊", [symbol];
134  ["\\lthree"; "\\leftthreetimes"                      ], "⋋", [symbol];
135  ["\\rthree"; "\\rightthreetimes"                     ], "⋌", [symbol];
136  ["\\cuvee"; "\\curlyvee"                             ], "⋎", [symbol];
137  ["\\cuwed"; "\\curlywedge"                           ], "⋏", [symbol];
138  ["\\fork"; "\\pitchfork"                             ], "⋔", [symbol];
139  ["\\epar"                                           ], "⋕", [symbol];
140  ["\\vdots"; "\\vellip"                               ], "⋮", [symbol];
141  ["\\cdots"; "\\ctdot"                                ], "⋯", [symbol];
142  ["\\utdot"                                          ], "⋰", [symbol];
143  ["\\ddots"; "\\dtdot"                                ], "⋱", [symbol];
144  ["\\Barwed"; "\\doublebarwedge"                      ], "⌆", [symbol];
145  ["\\bnot"                                           ], "⌐", [symbol];
146  ["\\profline"                                       ], "⌒", [symbol];
147  ["\\profsurf"                                       ], "⌓", [symbol];
148  ["\\telrec"                                         ], "⌕", [symbol];
149  ["\\frown"                                          ], "⌢", [symbol];
150  ["\\smile"                                          ], "⌣", [symbol];
151  ["\\blank"                                          ], "␣", [symbol];
152  ["\\HorizontalLine"                                 ], "─", [symbol];
153  ["\\loz"; "\\lozenge"                                ], "◊", [symbol];
154  ["\\starf"; "\\bigstar"                              ], "★", [symbol];
155  ["\\phone"                                          ], "☎", [symbol];
156  ["\\female"                                         ], "♀", [symbol];
157  ["\\male"                                           ], "♂", [symbol];
158  ["\\spades"; "\\spadesuit"                           ], "♠", [symbol];
159  ["\\heartsuit"                                      ], "♡", [symbol];
160  ["\\diamondsuit"                                    ], "♢", [symbol];
161  ["\\clubs"; "\\clubsuit"                             ], "♣", [symbol];
162  ["\\diams"                                          ], "♦", [symbol];
163  ["\\sung"                                           ], "♪", [symbol];
164  ["\\flat"                                           ], "♭", [symbol];
165  ["\\natur"; "\\natural"                              ], "♮", [symbol];
166  ["\\sharp"                                          ], "♯", [symbol];
167  ["\\check"; "\\checkmark"                            ], "✓", [symbol];
168  ["\\cross"                                          ], "✗", [symbol];
169  ["\\malt"; "\\maltese"                               ], "✠", [symbol];
170  ["\\sext"                                           ], "✶", [symbol];
171  ["\\VerticalSeparator"                              ], "❘", [symbol];
172  ["\\lozf"; "\\blacklozenge"                          ], "⧫", [symbol];
173  ["\\OverParenthesis"                                ], "︵", [symbol];
174  ["\\UnderParenthesis"                               ], "︶", [symbol];
175  ["\\OverBrace"                                      ], "︷", [symbol];
176  ["\\UnderBrace"                                     ], "︸", [symbol];
177 (* }}} *)
178
179 (* {{{ fraction *)
180  ["\\frac14"                                         ], "¼", [fraction];
181  ["\\half"; "\\frac"                                  ], "½", [fraction];
182  ["\\frac34"                                         ], "¾", [fraction];
183  ["\\permil"                                         ], "‰", [fraction];
184  ["\\pertenk"                                        ], "‱", [fraction];
185  ["\\incare"                                         ], "℅", [fraction];
186  ["\\frac13"                                         ], "⅓", [fraction];
187  ["\\frac23"                                         ], "⅔", [fraction];
188  ["\\frac15"                                         ], "⅕", [fraction];
189  ["\\frac25"                                         ], "⅖", [fraction];
190  ["\\frac35"                                         ], "⅗", [fraction];
191  ["\\frac45"                                         ], "⅘", [fraction];
192  ["\\frac16"                                         ], "⅙", [fraction];
193  ["\\frac56"                                         ], "⅚", [fraction];
194  ["\\frac18"                                         ], "⅛", [fraction];
195  ["\\frac38"                                         ], "⅜", [fraction];
196  ["\\frac58"                                         ], "⅝", [fraction];
197  ["\\frac78"                                         ], "⅞", [fraction];
198 (* }}} *)
199
200 (* {{{ letters *)
201  ["\\iexcl"                                          ], "¡", [letter];
202  ["\\ordf"                                           ], "ª", [letter];
203  ["\\micro"                                          ], "µ", [letter];
204  ["\\Agrave"                                         ], "À", [letter];
205  ["\\Aacute"                                         ], "Á", [letter];
206  ["\\Acirc"                                          ], "Â", [letter];
207  ["\\Atilde"                                         ], "Ã", [letter];
208  ["\\Auml"                                           ], "Ä", [letter];
209  ["\\Aring"                                          ], "Å", [letter];
210  ["\\AElig"                                          ], "Æ", [letter];
211  ["\\Ccedil"                                         ], "Ç", [letter];
212  ["\\Egrave"                                         ], "È", [letter];
213  ["\\Eacute"                                         ], "É", [letter];
214  ["\\Ecirc"                                          ], "Ê", [letter];
215  ["\\Euml"                                           ], "Ë", [letter];
216  ["\\Igrave"                                         ], "Ì", [letter];
217  ["\\Iacute"                                         ], "Í", [letter];
218  ["\\Icirc"                                          ], "Î", [letter];
219  ["\\Iuml"                                           ], "Ï", [letter];
220  ["\\ETH"                                            ], "Ð", [letter];
221  ["\\Ntilde"                                         ], "Ñ", [letter];
222  ["\\Ograve"                                         ], "Ò", [letter];
223  ["\\Oacute"                                         ], "Ó", [letter];
224  ["\\Ocirc"                                          ], "Ô", [letter];
225  ["\\Otilde"                                         ], "Õ", [letter];
226  ["\\Ouml"                                           ], "Ö", [letter];
227  ["\\Oslash"                                         ], "Ø", [letter];
228  ["\\Ugrave"                                         ], "Ù", [letter];
229  ["\\Uacute"                                         ], "Ú", [letter];
230  ["\\Ucirc"                                          ], "Û", [letter];
231  ["\\Uuml"                                           ], "Ü", [letter];
232  ["\\Yacute"                                         ], "Ý", [letter];
233  ["\\THORN"                                          ], "Þ", [letter];
234  ["\\szlig"                                          ], "ß", [letter];
235  ["\\agrave"                                         ], "à", [letter];
236  ["\\aacute"                                         ], "á", [letter];
237  ["\\acirc"                                          ], "â", [letter];
238  ["\\atilde"                                         ], "ã", [letter];
239  ["\\auml"                                           ], "ä", [letter];
240  ["\\aring"                                          ], "å", [letter];
241  ["\\aelig"                                          ], "æ", [letter];
242  ["\\ccedil"                                         ], "ç", [letter];
243  ["\\egrave"                                         ], "è", [letter];
244  ["\\eacute"                                         ], "é", [letter];
245  ["\\ecirc"                                          ], "ê", [letter];
246  ["\\euml"                                           ], "ë", [letter];
247  ["\\igrave"                                         ], "ì", [letter];
248  ["\\iacute"                                         ], "í", [letter];
249  ["\\icirc"                                          ], "î", [letter];
250  ["\\iuml"                                           ], "ï", [letter];
251  ["\\eth"                                            ], "ð", [letter];
252  ["\\ntilde"                                         ], "ñ", [letter];
253  ["\\ograve"                                         ], "ò", [letter];
254  ["\\oacute"                                         ], "ó", [letter];
255  ["\\ocirc"                                          ], "ô", [letter];
256  ["\\otilde"                                         ], "õ", [letter];
257  ["\\ouml"                                           ], "ö", [letter];
258  ["\\ugrave"                                         ], "ù", [letter];
259  ["\\uacute"                                         ], "ú", [letter];
260  ["\\ucirc"                                          ], "û", [letter];
261  ["\\uuml"                                           ], "ü", [letter];
262  ["\\yacute"                                         ], "ý", [letter];
263  ["\\yuml"                                           ], "ÿ", [letter];
264  ["\\Amacr"                                          ], "Ā", [letter];
265  ["\\amacr"                                          ], "ā", [letter];
266  ["\\Abreve"                                         ], "Ă", [letter];
267  ["\\abreve"                                         ], "ă", [letter];
268  ["\\Aogon"                                          ], "Ą", [letter];
269  ["\\aogon"                                          ], "ą", [letter];
270  ["\\Cacute"                                         ], "Ć", [letter];
271  ["\\cacute"                                         ], "ć", [letter];
272  ["\\Ccirc"                                          ], "Ĉ", [letter];
273  ["\\ccirc"                                          ], "ĉ", [letter];
274  ["\\Cdot"                                           ], "Ċ", [letter];
275  ["\\cdot"                                           ], "ċ", [letter];
276  ["\\Ccaron"                                         ], "Č", [letter];
277  ["\\ccaron"                                         ], "č", [letter];
278  ["\\Dcaron"                                         ], "Ď", [letter];
279  ["\\dcaron"                                         ], "ď", [letter];
280  ["\\Dstrok"                                         ], "Đ", [letter];
281  ["\\dstrok"                                         ], "đ", [letter];
282  ["\\Emacr"                                          ], "Ē", [letter];
283  ["\\emacr"                                          ], "ē", [letter];
284  ["\\Edot"                                           ], "Ė", [letter];
285  ["\\edot"                                           ], "ė", [letter];
286  ["\\Eogon"                                          ], "Ę", [letter];
287  ["\\eogon"                                          ], "ę", [letter];
288  ["\\Ecaron"                                         ], "Ě", [letter];
289  ["\\ecaron"                                         ], "ě", [letter];
290  ["\\Gcirc"                                          ], "Ĝ", [letter];
291  ["\\gcirc"                                          ], "ĝ", [letter];
292  ["\\Gbreve"                                         ], "Ğ", [letter];
293  ["\\gbreve"                                         ], "ğ", [letter];
294  ["\\Gdot"                                           ], "Ġ", [letter];
295  ["\\gdot"                                           ], "ġ", [letter];
296  ["\\Gcedil"                                         ], "Ģ", [letter];
297  ["\\Hcirc"                                          ], "Ĥ", [letter];
298  ["\\hcirc"                                          ], "ĥ", [letter];
299  ["\\Hstrok"                                         ], "Ħ", [letter];
300  ["\\hstrok"                                         ], "ħ", [letter];
301  ["\\Itilde"                                         ], "Ĩ", [letter];
302  ["\\itilde"                                         ], "ĩ", [letter];
303  ["\\Imacr"                                          ], "Ī", [letter];
304  ["\\imacr"                                          ], "ī", [letter];
305  ["\\Iogon"                                          ], "Į", [letter];
306  ["\\iogon"                                          ], "į", [letter];
307  ["\\Idot"                                           ], "İ", [letter];
308  ["\\IJlig"                                          ], "IJ", [letter];
309  ["\\ijlig"                                          ], "ij", [letter];
310  ["\\Jcirc"                                          ], "Ĵ", [letter];
311  ["\\jcirc"                                          ], "ĵ", [letter];
312  ["\\Kcedil"                                         ], "Ķ", [letter];
313  ["\\kcedil"                                         ], "ķ", [letter];
314  ["\\kgreen"                                         ], "ĸ", [letter];
315  ["\\Lacute"                                         ], "Ĺ", [letter];
316  ["\\lacute"                                         ], "ĺ", [letter];
317  ["\\Lcedil"                                         ], "Ļ", [letter];
318  ["\\lcedil"                                         ], "ļ", [letter];
319  ["\\Lcaron"                                         ], "Ľ", [letter];
320  ["\\lcaron"                                         ], "ľ", [letter];
321  ["\\Lmidot"                                         ], "Ŀ", [letter];
322  ["\\lmidot"                                         ], "ŀ", [letter];
323  ["\\Lstrok"                                         ], "Ł", [letter];
324  ["\\lstrok"                                         ], "ł", [letter];
325  ["\\Nacute"                                         ], "Ń", [letter];
326  ["\\nacute"                                         ], "ń", [letter];
327  ["\\Ncedil"                                         ], "Ņ", [letter];
328  ["\\ncedil"                                         ], "ņ", [letter];
329  ["\\Ncaron"                                         ], "Ň", [letter];
330  ["\\ncaron"                                         ], "ň", [letter];
331  ["\\napos"                                          ], "ʼn", [letter];
332  ["\\ENG"                                            ], "Ŋ", [letter];
333  ["\\eng"                                            ], "ŋ", [letter];
334  ["\\Omacr"                                          ], "Ō", [letter];
335  ["\\omacr"                                          ], "ō", [letter];
336  ["\\Odblac"                                         ], "Ő", [letter];
337  ["\\odblac"                                         ], "ő", [letter];
338  ["\\OElig"                                          ], "Œ", [letter];
339  ["\\oelig"                                          ], "œ", [letter];
340  ["\\Racute"                                         ], "Ŕ", [letter];
341  ["\\racute"                                         ], "ŕ", [letter];
342  ["\\Rcedil"                                         ], "Ŗ", [letter];
343  ["\\rcedil"                                         ], "ŗ", [letter];
344  ["\\Rcaron"                                         ], "Ř", [letter];
345  ["\\rcaron"                                         ], "ř", [letter];
346  ["\\Sacute"                                         ], "Ś", [letter];
347  ["\\sacute"                                         ], "ś", [letter];
348  ["\\Scirc"                                          ], "Ŝ", [letter];
349  ["\\scirc"                                          ], "ŝ", [letter];
350  ["\\Scedil"                                         ], "Ş", [letter];
351  ["\\scedil"                                         ], "ş", [letter];
352  ["\\Scaron"                                         ], "Š", [letter];
353  ["\\scaron"                                         ], "š", [letter];
354  ["\\Tcedil"                                         ], "Ţ", [letter];
355  ["\\tcedil"                                         ], "ţ", [letter];
356  ["\\Tcaron"                                         ], "Ť", [letter];
357  ["\\tcaron"                                         ], "ť", [letter];
358  ["\\Tstrok"                                         ], "Ŧ", [letter];
359  ["\\tstrok"                                         ], "ŧ", [letter];
360  ["\\Utilde"                                         ], "Ũ", [letter];
361  ["\\utilde"                                         ], "ũ", [letter];
362  ["\\Umacr"                                          ], "Ū", [letter];
363  ["\\umacr"                                          ], "ū", [letter];
364  ["\\Ubreve"                                         ], "Ŭ", [letter];
365  ["\\ubreve"                                         ], "ŭ", [letter];
366  ["\\Uring"                                          ], "Ů", [letter];
367  ["\\uring"                                          ], "ů", [letter];
368  ["\\Udblac"                                         ], "Ű", [letter];
369  ["\\udblac"                                         ], "ű", [letter];
370  ["\\Uogon"                                          ], "Ų", [letter];
371  ["\\uogon"                                          ], "ų", [letter];
372  ["\\Wcirc"                                          ], "Ŵ", [letter];
373  ["\\wcirc"                                          ], "ŵ", [letter];
374  ["\\Ycirc"                                          ], "Ŷ", [letter];
375  ["\\ycirc"                                          ], "ŷ", [letter];
376  ["\\Yuml"                                           ], "Ÿ", [letter];
377  ["\\Zacute"                                         ], "Ź", [letter];
378  ["\\zacute"                                         ], "ź", [letter];
379  ["\\Zdot"                                           ], "Ż", [letter];
380  ["\\zdot"                                           ], "ż", [letter];
381  ["\\Zcaron"                                         ], "Ž", [letter];
382  ["\\zcaron"                                         ], "ž", [letter];
383  ["\\fnof"                                           ], "ƒ", [letter];
384  ["\\gacute"                                         ], "ǵ", [letter];
385  ["\\epsiv"                                          ], "ɛ", [letter];
386  ["\\Gamma"                                          ], "Γ", [letter];
387  ["\\Delta"                                          ], "Δ", [letter];
388  ["\\Theta"                                          ], "Θ", [letter];
389  ["\\Lambda"                                         ], "Λ", [letter];
390  ["\\Xi"                                             ], "Ξ", [letter];
391  ["\\Pi"                                             ], "Π", [letter];
392  ["\\Sigma"                                          ], "Σ", [letter];
393  ["\\Phi"                                            ], "Φ", [letter];
394  ["\\Psi"                                            ], "Ψ", [letter];
395  ["\\Omega"                                          ], "Ω", [letter];
396  ["\\alpha"                                          ], "α", [letter];
397  ["\\beta"                                           ], "β", [letter];
398  ["\\gamma"                                          ], "γ", [letter];
399  ["\\delta"                                          ], "δ", [letter];
400  ["\\epsi"; "\\varepsilon"; "\\straightepsilon"        ], "ε", [letter];
401  ["\\zeta"                                           ], "ζ", [letter];
402  ["\\eta"                                            ], "η", [letter];
403  ["\\theta"                                          ], "θ", [letter];
404  ["\\iota"                                           ], "ι", [letter];
405  ["\\kappa"                                          ], "κ", [letter];
406  ["\\lambda"                                         ], "λ", [letter];
407  ["\\mu"                                             ], "μ", [letter];
408  ["\\nu"                                             ], "ν", [letter];
409  ["\\xi"                                             ], "ξ", [letter];
410  ["\\o"                                              ], "ο", [letter];
411  ["\\pi"                                             ], "π", [letter];
412  ["\\rho"                                            ], "ρ", [letter];
413  ["\\sigmav"; "\\varsigma"                            ], "ς", [letter];
414  ["\\sigma"                                          ], "σ", [letter];
415  ["\\tau"                                            ], "τ", [letter];
416  ["\\upsi"; "\\upsilon"                               ], "υ", [letter];
417  ["\\varphi"; "\\straightphi"                         ], "φ", [letter];
418  ["\\chi"                                            ], "χ", [letter];
419  ["\\psi"                                            ], "ψ", [letter];
420  ["\\omega"                                          ], "ω", [letter];
421  ["\\thetav"; "\\vartheta"                            ], "ϑ", [letter];
422  ["\\Upsi"; "\\Upsilon"                               ], "ϒ", [letter];
423  ["\\phi"; "\\phiv"                                   ], "ϕ", [letter];
424  ["\\piv"; "\\varpi"                                  ], "ϖ", [letter];
425  ["\\Gammad"; "\\gammad"; "\\digamma"                  ], "Ϝ", [letter];
426  ["\\kappav"; "\\varkappa"                            ], "ϰ", [letter];
427  ["\\rhov"; "\\varrho"                                ], "ϱ", [letter];
428  ["\\epsilon"                                        ], "ϵ", [letter];
429  ["\\bepsi"; "\\backepsilon"                          ], "϶", [letter];
430  ["\\IOcy"                                           ], "Ё", [letter];
431  ["\\DJcy"                                           ], "Ђ", [letter];
432  ["\\GJcy"                                           ], "Ѓ", [letter];
433  ["\\Jukcy"                                          ], "Є", [letter];
434  ["\\DScy"                                           ], "Ѕ", [letter];
435  ["\\Iukcy"                                          ], "І", [letter];
436  ["\\YIcy"                                           ], "Ї", [letter];
437  ["\\Jsercy"                                         ], "Ј", [letter];
438  ["\\LJcy"                                           ], "Љ", [letter];
439  ["\\NJcy"                                           ], "Њ", [letter];
440  ["\\TSHcy"                                          ], "Ћ", [letter];
441  ["\\KJcy"                                           ], "Ќ", [letter];
442  ["\\Ubrcy"                                          ], "Ў", [letter];
443  ["\\DZcy"                                           ], "Џ", [letter];
444  ["\\Acy"                                            ], "А", [letter];
445  ["\\Bcy"                                            ], "Б", [letter];
446  ["\\Vcy"                                            ], "В", [letter];
447  ["\\Gcy"                                            ], "Г", [letter];
448  ["\\Dcy"                                            ], "Д", [letter];
449  ["\\IEcy"                                           ], "Е", [letter];
450  ["\\ZHcy"                                           ], "Ж", [letter];
451  ["\\Zcy"                                            ], "З", [letter];
452  ["\\Icy"                                            ], "И", [letter];
453  ["\\Jcy"                                            ], "Й", [letter];
454  ["\\Kcy"                                            ], "К", [letter];
455  ["\\Lcy"                                            ], "Л", [letter];
456  ["\\Mcy"                                            ], "М", [letter];
457  ["\\Ncy"                                            ], "Н", [letter];
458  ["\\Ocy"                                            ], "О", [letter];
459  ["\\Pcy"                                            ], "П", [letter];
460  ["\\Rcy"                                            ], "Р", [letter];
461  ["\\Scy"                                            ], "С", [letter];
462  ["\\Tcy"                                            ], "Т", [letter];
463  ["\\Ucy"                                            ], "У", [letter];
464  ["\\Fcy"                                            ], "Ф", [letter];
465  ["\\KHcy"                                           ], "Х", [letter];
466  ["\\TScy"                                           ], "Ц", [letter];
467  ["\\CHcy"                                           ], "Ч", [letter];
468  ["\\SHcy"                                           ], "Ш", [letter];
469  ["\\SHCHcy"                                         ], "Щ", [letter];
470  ["\\HARDcy"                                         ], "Ъ", [letter];
471  ["\\Ycy"                                            ], "Ы", [letter];
472  ["\\SOFTcy"                                         ], "Ь", [letter];
473  ["\\Ecy"                                            ], "Э", [letter];
474  ["\\YUcy"                                           ], "Ю", [letter];
475  ["\\YAcy"                                           ], "Я", [letter];
476  ["\\acy"                                            ], "а", [letter];
477  ["\\bcy"                                            ], "б", [letter];
478  ["\\vcy"                                            ], "в", [letter];
479  ["\\gcy"                                            ], "г", [letter];
480  ["\\dcy"                                            ], "д", [letter];
481  ["\\iecy"                                           ], "е", [letter];
482  ["\\zhcy"                                           ], "ж", [letter];
483  ["\\zcy"                                            ], "з", [letter];
484  ["\\icy"                                            ], "и", [letter];
485  ["\\jcy"                                            ], "й", [letter];
486  ["\\kcy"                                            ], "к", [letter];
487  ["\\lcy"                                            ], "л", [letter];
488  ["\\mcy"                                            ], "м", [letter];
489  ["\\ncy"                                            ], "н", [letter];
490  ["\\ocy"                                            ], "о", [letter];
491  ["\\pcy"                                            ], "п", [letter];
492  ["\\rcy"                                            ], "р", [letter];
493  ["\\scy"                                            ], "с", [letter];
494  ["\\tcy"                                            ], "т", [letter];
495  ["\\ucy"                                            ], "у", [letter];
496  ["\\fcy"                                            ], "ф", [letter];
497  ["\\khcy"                                           ], "х", [letter];
498  ["\\tscy"                                           ], "ц", [letter];
499  ["\\chcy"                                           ], "ч", [letter];
500  ["\\shcy"                                           ], "ш", [letter];
501  ["\\shchcy"                                         ], "щ", [letter];
502  ["\\hardcy"                                         ], "ъ", [letter];
503  ["\\ycy"                                            ], "ы", [letter];
504  ["\\softcy"                                         ], "ь", [letter];
505  ["\\ecy"                                            ], "э", [letter];
506  ["\\yucy"                                           ], "ю", [letter];
507  ["\\yacy"                                           ], "я", [letter];
508  ["\\iocy"                                           ], "ё", [letter];
509  ["\\djcy"                                           ], "ђ", [letter];
510  ["\\gjcy"                                           ], "ѓ", [letter];
511  ["\\jukcy"                                          ], "є", [letter];
512  ["\\dscy"                                           ], "ѕ", [letter];
513  ["\\iukcy"                                          ], "і", [letter];
514  ["\\yicy"                                           ], "ї", [letter];
515  ["\\jsercy"                                         ], "ј", [letter];
516  ["\\ljcy"                                           ], "љ", [letter];
517  ["\\njcy"                                           ], "њ", [letter];
518  ["\\tshcy"                                          ], "ћ", [letter];
519  ["\\kjcy"                                           ], "ќ", [letter];
520  ["\\ubrcy"                                          ], "ў", [letter];
521  ["\\dzcy"                                           ], "џ", [letter];
522  ["\\Copf"; "\\complexes"                             ], "ℂ", [letter];
523  ["\\gscr"                                           ], "ℊ", [letter];
524  ["\\Hscr"; "\\hamilt"; "\\HilbertSpace"               ], "ℋ", [letter];
525  ["\\Hfr"; "\\Poincareplane"                          ], "ℌ", [letter];
526  ["\\Hopf"; "\\quaternions"                           ], "ℍ", [letter];
527  ["\\planckh"                                        ], "ℎ", [letter];
528  ["\\hslash"; "\\plankv"                              ], "ℏ", [letter];
529  ["\\hbar"; "\\planck"                                ], "ℏ︀", [letter];
530  ["\\Iscr"; "\\imagline"                              ], "ℐ", [letter];
531  ["\\Im"; "\\Ifr"; "\\image"; "\\imagpart"              ], "ℑ", [letter];
532  ["\\Lscr"; "\\lagran"; "\\Laplacetrf"                 ], "ℒ", [letter];
533  ["\\ell"; "\\lscr"                                   ], "ℓ", [letter];
534  ["\\Nopf"; "\\naturals"                              ], "ℕ", [letter];
535  ["\\numero"                                         ], "№", [letter];
536  ["\\copysr"                                         ], "℗", [letter];
537  ["\\wp"; "\\weierp"                                  ], "℘", [letter];
538  ["\\Popf"; "\\primes"                                ], "ℙ", [letter];
539  ["\\Qopf"; "\\rationals"                             ], "ℚ", [letter];
540  ["\\Rscr"; "\\realine"                               ], "ℛ", [letter];
541  ["\\Re"; "\\Rfr"; "\\real"; "\\realpart"               ], "ℜ", [letter];
542  ["\\Ropf"; "\\reals"                                 ], "ℝ", [letter];
543  ["\\rx"                                             ], "℞", [letter];
544  ["\\trade"                                          ], "™", [letter];
545  ["\\Zopf"; "\\integers"                              ], "ℤ", [letter];
546  ["\\ohm"                                            ], "Ω", [letter];
547  ["\\mho"                                            ], "℧", [letter];
548  ["\\Zfr"; "\\zeetrf"                                 ], "ℨ", [letter];
549  ["\\iiota"                                          ], "℩", [letter];
550  ["\\angst"                                          ], "Å", [letter];
551  ["\\Bscr"; "\\bernou"; "\\Bernoullis"                 ], "ℬ", [letter];
552  ["\\Cfr"; "\\Cayleys"                                ], "ℭ", [letter];
553  ["\\escr"                                           ], "ℯ", [letter];
554  ["\\Escr"; "\\expectation"                           ], "ℰ", [letter];
555  ["\\Fscr"; "\\Fouriertrf"                            ], "ℱ", [letter];
556  ["\\Mscr"; "\\phmmat"; "\\Mellintrf"                  ], "ℳ", [letter];
557  ["\\oscr"; "\\order"; "\\orderof"                     ], "ℴ", [letter];
558  ["\\aleph"                                          ], "ℵ", [letter];
559  ["\\beth"                                           ], "ℶ", [letter];
560  ["\\gimel"                                          ], "ℷ", [letter];
561  ["\\daleth"                                         ], "ℸ", [letter];
562  ["\\DD"; "\\CapitalDifferentialD"                    ], "ⅅ", [letter];
563  ["\\dd"; "\\DifferentialD"                           ], "ⅆ", [letter];
564  ["\\ee"; "\\exponentiale"; "\\ExponentialE"           ], "ⅇ", [letter];
565  ["\\ii"; "\\ImaginaryI"                              ], "ⅈ", [letter];
566  ["\\comp"; "\\complement"                            ], "∁", [letter];
567  ["\\part"; "\\partial"; "\\PartialD"                  ], "∂", [letter];
568  ["\\npart"                                          ], "∂̸", [letter];
569  ["\\easter"                                         ], "≛", [letter];
570  ["\\fpartint"                                       ], "⨍", [letter];
571  ["\\fflig"                                          ], "ff", [letter];
572  ["\\filig"                                          ], "fi", [letter];
573  ["\\fllig"                                          ], "fl", [letter];
574  ["\\ffilig"                                         ], "ffi", [letter];
575  ["\\ffllig"                                         ], "ffl", [letter];
576  ["\\Aopf"                                           ], "𝔸", [letter];
577  ["\\Bopf"                                           ], "𝔹", [letter];
578  ["\\Dopf"                                           ], "𝔻", [letter];
579  ["\\Eopf"                                           ], "𝔼", [letter];
580  ["\\Fopf"                                           ], "𝔽", [letter];
581  ["\\Gopf"                                           ], "𝔾", [letter];
582  ["\\Iopf"                                           ], "𝕀", [letter];
583  ["\\Jopf"                                           ], "𝕁", [letter];
584  ["\\Kopf"                                           ], "𝕂", [letter];
585  ["\\Lopf"; "\\imped"                                 ], "𝕃", [letter];
586  ["\\Mopf"                                           ], "𝕄", [letter];
587  ["\\Oopf"                                           ], "𝕆", [letter];
588  ["\\Sopf"                                           ], "𝕊", [letter];
589  ["\\Topf"                                           ], "𝕋", [letter];
590  ["\\Uopf"                                           ], "𝕌", [letter];
591  ["\\Vopf"                                           ], "𝕍", [letter];
592  ["\\Wopf"                                           ], "𝕎", [letter];
593  ["\\Xopf"                                           ], "𝕏", [letter];
594  ["\\Yopf"                                           ], "𝕐", [letter];
595  ["\\aopf"                                           ], "𝕒", [letter];
596  ["\\bopf"                                           ], "𝕓", [letter];
597  ["\\copf"                                           ], "𝕔", [letter];
598  ["\\dopf"                                           ], "𝕕", [letter];
599  ["\\eopf"                                           ], "𝕖", [letter];
600  ["\\fopf"                                           ], "𝕗", [letter];
601  ["\\gopf"                                           ], "𝕘", [letter];
602  ["\\hopf"                                           ], "𝕙", [letter];
603  ["\\iopf"                                           ], "𝕚", [letter];
604  ["\\jopf"                                           ], "𝕛", [letter];
605  ["\\kopf"                                           ], "𝕜", [letter];
606  ["\\lopf"                                           ], "𝕝", [letter];
607  ["\\mopf"                                           ], "𝕞", [letter];
608  ["\\nopf"                                           ], "𝕟", [letter];
609  ["\\oopf"                                           ], "𝕠", [letter];
610  ["\\popf"                                           ], "𝕡", [letter];
611  ["\\qopf"                                           ], "𝕢", [letter];
612  ["\\ropf"                                           ], "𝕣", [letter];
613  ["\\sopf"                                           ], "𝕤", [letter];
614  ["\\topf"                                           ], "𝕥", [letter];
615  ["\\uopf"                                           ], "𝕦", [letter];
616  ["\\vopf"                                           ], "𝕧", [letter];
617  ["\\wopf"                                           ], "𝕨", [letter];
618  ["\\xopf"                                           ], "𝕩", [letter];
619  ["\\yopf"                                           ], "𝕪", [letter];
620  ["\\zopf"                                           ], "𝕫", [letter];
621 (* }}} *)
622
623 (* {{{ ASCII art *)
624  ["\\lceil"; "\\LeftCeiling"                          ], "⌈", [asciiart];
625  ["\\rceil"; "\\RightCeiling"                         ], "⌉", [asciiart];
626  ["\\lfloor"; "\\LeftFloor"                           ], "⌊", [asciiart];
627  ["\\rfloor"; "\\RightFloor"                          ], "⌋", [asciiart];
628  ["\\drcrop"                                         ], "⌌", [asciiart];
629  ["\\dlcrop"                                         ], "⌍", [asciiart];
630  ["\\urcrop"                                         ], "⌎", [asciiart];
631  ["\\ulcrop"                                         ], "⌏", [asciiart];
632  ["\\ulcorn"; "\\ulcorner"                            ], "⌜", [asciiart];
633  ["\\urcorn"; "\\urcorner"                            ], "⌝", [asciiart];
634  ["\\dlcorn"; "\\llcorner"                            ], "⌞", [asciiart];
635  ["\\drcorn"; "\\lrcorner"                            ], "⌟", [asciiart];
636  ["\\boxh"                                           ], "─", [asciiart];
637  ["\\boxv"                                           ], "│", [asciiart];
638  ["\\boxdr"                                          ], "┌", [asciiart];
639  ["\\boxdl"                                          ], "┐", [asciiart];
640  ["\\boxur"                                          ], "└", [asciiart];
641  ["\\boxul"                                          ], "┘", [asciiart];
642  ["\\boxvr"                                          ], "├", [asciiart];
643  ["\\boxvl"                                          ], "┤", [asciiart];
644  ["\\boxhd"                                          ], "┬", [asciiart];
645  ["\\boxhu"                                          ], "┴", [asciiart];
646  ["\\boxvh"                                          ], "┼", [asciiart];
647  ["\\boxH"                                           ], "═", [asciiart];
648  ["\\boxV"                                           ], "║", [asciiart];
649  ["\\boxdR"                                          ], "╒", [asciiart];
650  ["\\boxDr"                                          ], "╓", [asciiart];
651  ["\\boxDR"                                          ], "╔", [asciiart];
652  ["\\boxdL"                                          ], "╕", [asciiart];
653  ["\\boxDl"                                          ], "╖", [asciiart];
654  ["\\boxDL"                                          ], "╗", [asciiart];
655  ["\\boxuR"                                          ], "╘", [asciiart];
656  ["\\boxUr"                                          ], "╙", [asciiart];
657  ["\\boxUR"                                          ], "╚", [asciiart];
658  ["\\boxuL"                                          ], "╛", [asciiart];
659  ["\\boxUl"                                          ], "╜", [asciiart];
660  ["\\boxUL"                                          ], "╝", [asciiart];
661  ["\\boxvR"                                          ], "╞", [asciiart];
662  ["\\boxVr"                                          ], "╟", [asciiart];
663  ["\\boxVR"                                          ], "╠", [asciiart];
664  ["\\boxvL"                                          ], "╡", [asciiart];
665  ["\\boxVl"                                          ], "╢", [asciiart];
666  ["\\boxVL"                                          ], "╣", [asciiart];
667  ["\\boxHd"                                          ], "╤", [asciiart];
668  ["\\boxhD"                                          ], "╥", [asciiart];
669  ["\\boxHD"                                          ], "╦", [asciiart];
670  ["\\boxHu"                                          ], "╧", [asciiart];
671  ["\\boxhU"                                          ], "╨", [asciiart];
672  ["\\boxHU"                                          ], "╩", [asciiart];
673  ["\\boxvH"                                          ], "╪", [asciiart];
674  ["\\boxVh"                                          ], "╫", [asciiart];
675  ["\\boxVH"                                          ], "╬", [asciiart];
676  ["\\block"                                          ], "█", [asciiart];
677  ["\\blk14"                                          ], "░", [asciiart];
678  ["\\blk12"                                          ], "▒", [asciiart];
679  ["\\blk34"                                          ], "▓", [asciiart];
680 (* }}} *)
681
682 (* {{{ equivalence *)
683  ["\\bsim"; "\\backsim"                               ], "∽", [equivalence];
684  ["\\nsim"; "\\NotTilde"                              ], "≁", [equivalence];
685  ["\\nvsim"                                          ], "≁̸", [equivalence];
686  ["\\esim"; "\\eqsim"; "\\EqualTilde"                  ], "≂", [equivalence];
687  ["\\nesim"; "\\NotEqualTilde"                        ], "≂̸", [equivalence];
688  ["\\sime"; "\\simeq"; "\\TildeEqual"                  ], "≃", [equivalence];
689  ["\\nsime"; "\\nsimeq"; "\\NotTildeEqual"             ], "≄", [equivalence];
690  ["\\cong"; "\\TildeFullEqual"                        ], "≅", [equivalence];
691  ["\\simne"                                          ], "≆", [equivalence];
692  ["\\ncong"; "\\NotTildeFullEqual"                    ], "≇", [equivalence];
693  ["\\ap"; "\\approx"; "\\TildeTilde"                   ], "≈", [equivalence];
694  ["\\nap"; "\\napprox"; "\\NotTildeTilde"              ], "≉", [equivalence];
695  ["\\nvap"                                           ], "≉̸", [equivalence];
696  ["\\apE"; "\\ape"; "\\approxeq"                       ], "≊", [equivalence];
697  ["\\apid"                                           ], "≋", [equivalence];
698  ["\\napid"                                          ], "≋̸", [equivalence];
699  ["\\bcong"; "\\backcong"                             ], "≌", [equivalence];
700  ["\\asymp"; "\\CupCap"                               ], "≍", [equivalence];
701  ["\\bump"; "\\Bumpeq"; "\\HumpDownHump"               ], "≎", [equivalence];
702  ["\\nbump"; "\\NotHumpDownHump"                      ], "≎̸", [equivalence];
703  ["\\bumpe"; "\\bumpeq"; "\\HumpEqual"                 ], "≏", [equivalence];
704  ["\\nbumpe"; "\\NotHumpEqual"                        ], "≏̸", [equivalence];
705  ["\\esdot"; "\\doteq"; "\\DotEqual"                   ], "≐", [equivalence];
706  ["\\eDot"; "\\doteqdot"                              ], "≑", [equivalence];
707  ["\\efDot"; "\\fallingdotseq"                        ], "≒", [equivalence];
708  ["\\erDot"; "\\risingdotseq"                         ], "≓", [equivalence];
709  ["\\colone"; "\\Assign"; "\\coloneq"                  ], "≔", [equivalence];
710  ["\\ecolon"; "\\eqcolon"                             ], "≕", [equivalence];
711  ["\\ecir"; "\\eqcirc"                                ], "≖", [equivalence];
712  ["\\cire"; "\\circeq"                                ], "≗", [equivalence];
713  ["\\wedgeq"                                         ], "≙", [equivalence];
714  ["\\veeeq"                                          ], "≚", [equivalence];
715  ["\\trie"; "\\triangleq"                             ], "≜", [equivalence];
716  ["\\def"                                            ], "≝", [equivalence];
717  ["\\equest"; "\\questeq"                             ], "≟", [equivalence];
718  ["\\ne"; "\\neq"; "\\NotEqual"                        ], "≠", [equivalence];
719  ["\\equiv"; "\\Congruent"                            ], "≡", [equivalence];
720  ["\\nequiv"; "\\NotCongruent"                        ], "≢", [equivalence];
721  ["\\NotCupCap"                                      ], "≭", [equivalence];
722  ["\\bsime"; "\\backsimeq"                            ], "⋍", [equivalence];
723  ["\\bumpE"                                          ], "⪮", [equivalence];
724 (* }}} *)
725
726 (* {{{ order *)
727  ["\\le"; "\\leq";"<="                                 ], "≤", [order];
728  ["\\ge"; "\\geq"; "\\GreaterEqual"                    ], "≥", [order];
729  ["\\lE"; "\\leqq"; "\\LessFullEqual"                  ], "≦", [order];
730  ["\\gE"; "\\geqq"; "\\GreaterFullEqual"               ], "≧", [order];
731  ["\\lnE"; "\\lne"; "\\lneq"; "\\lneqq"                 ], "≨", [order];
732  ["\\gnE"; "\\gne"; "\\gneq"; "\\gneqq"                 ], "≩", [order];
733  ["\\Lt"; "\\ll"; "\\NestedLessLess"                   ], "≪", [order];
734  ["\\nLt"                                            ], "≪̸", [order];
735  ["\\gg"; "\\Gt"; "\\NestedGreaterGreater"             ], "≫", [order];
736  ["\\nGt"                                            ], "≫̸", [order];
737  ["\\nlt"; "\\nvlt"; "\\nless"; "\\NotLess"             ], "≮", [order];
738  ["\\ngt"; "\\ngtr"; "\\nvgt"; "\\NotGreater"           ], "≯", [order];
739  ["\\nlE"; "\\nleq"; "\\nvle"; "\\nles"; "\\nleqq"; "\\nleqslant"; "\\NotLessSlantEqual"; "\\NotGreaterFullEqual"], "≰", [order];
740  ["\\ngE"; "\\nges"; "\\nvge"; "\\ngeq"; "\\ngeqq"; "\\ngeqslant"; "\\NotGreaterSlantEqual"], "≱", [order];
741  ["\\lap"; "\\lsim"; "\\lesssim"; "\\LessTilde"; "\\lessapprox"    ], "≲", [order];
742  ["\\gap"; "\\gsim"; "\\gtrsim"; "\\gtrapprox"; "\\GreaterTilde"   ], "≳", [order];
743  ["\\nlsim"; "\\NotLessTilde"                         ], "≴", [order];
744  ["\\ngsim"; "\\NotGreaterTilde"                      ], "≵", [order];
745  ["\\lessgtr"; "\\LessGreater"                        ], "≶", [order];
746  ["\\gl"; "\\gtrless"; "\\GreaterLess"                 ], "≷", [order];
747  ["\\ntlg"; "\\NotLessGreater"                        ], "≸", [order];
748  ["\\ntgl"; "\\NotGreaterLess"                        ], "≹", [order];
749  ["\\pr"; "\\prec"; "\\Precedes"                       ], "≺", [order];
750  ["\\sc"; "\\succ"; "\\Succeeds"                       ], "≻", [order];
751  ["\\prcue"; "\\preccurlyeq"; "\\PrecedesSlantEqual"   ], "≼", [order];
752  ["\\sce"; "\\sccue"; "\\succeq"; "\\succcurlyeq"; "\\SucceedsEqual"; "\\SucceedsSlantEqual"], "≽", [order];
753  ["\\scE"; "\\prap"; "\\prsim"; "\\precsim"; "\\precapprox"; "\\PrecedesTilde"], "≾", [order];
754  ["\\scap"; "\\scsim"; "\\succsim"; "\\succapprox"; "\\SucceedsTilde"], "≿", [order];
755  ["\\NotSucceedsTilde"                               ], "≿̸", [order];
756  ["\\npr"; "\\nprec"; "\\NotPrecedes"                  ], "⊀", [order];
757  ["\\nsc"; "\\nsucc"; "\\NotSucceeds"                  ], "⊁", [order];
758  ["\\ltdot"; "\\lessdot"                              ], "⋖", [order];
759  ["\\gtdot"; "\\gtrdot"                               ], "⋗", [order];
760  ["\\Ll"                                             ], "⋘", [order];
761  ["\\nLl"                                            ], "⋘̸", [order];
762  ["\\Gg"; "\\ggg"                                     ], "⋙", [order];
763  ["\\nGg"                                            ], "⋙̸", [order];
764  ["\\lEg"; "\\leg"; "\\lesseqgtr"; "\\lesseqqgtr"; "\\LessEqualGreater"], "⋚", [order];
765  ["\\gEl"; "\\gel"; "\\gtreqless"; "\\gtreqqless"; "\\GreaterEqualLess"], "⋛", [order];
766  ["\\els"; "\\eqslantless"                            ], "⋜", [order];
767  ["\\egs"; "\\eqslantgtr"                             ], "⋝", [order];
768  ["\\cuepr"; "\\curlyeqprec"                          ], "⋞", [order];
769  ["\\cuesc"; "\\curlyeqsucc"                          ], "⋟", [order];
770  ["\\nprcue"; "\\NotPrecedesSlantEqual"               ], "⋠", [order];
771  ["\\nsccue"; "\\NotSucceedsSlantEqual"               ], "⋡", [order];
772  ["\\lnsim"                                          ], "⋦", [order];
773  ["\\gnsim"                                          ], "⋧", [order];
774  ["\\prnap"; "\\prnsim"; "\\precnsim"; "\\precnapprox"  ], "⋨", [order];
775  ["\\scnap"; "\\scnsim"; "\\succnsim"; "\\succnapprox"  ], "⋩", [order];
776  ["\\gtrarr"                                         ], "⥸", [order];
777  ["\\les"; "\\leqslant"; "\\LessSlantEqual"            ], "⩽", [order];
778  ["\\ges"; "\\geqslant"; "\\GreaterSlantEqual"         ], "⩾", [order];
779  ["\\lesdot"                                         ], "⩿", [order];
780  ["\\gesdot"                                         ], "⪀", [order];
781  ["\\lesdoto"                                        ], "⪁", [order];
782  ["\\gesdoto"                                        ], "⪂", [order];
783  ["\\lesdotor"                                       ], "⪃", [order];
784  ["\\gesdotol"                                       ], "⪄", [order];
785  ["\\lnap"; "\\lnapprox"                              ], "⪉", [order];
786  ["\\gnap"; "\\gnapprox"                              ], "⪊", [order];
787  ["\\lsime"                                          ], "⪍", [order];
788  ["\\gsime"                                          ], "⪎", [order];
789  ["\\lsimg"                                          ], "⪏", [order];
790  ["\\gsiml"                                          ], "⪐", [order];
791  ["\\lgE"                                            ], "⪑", [order];
792  ["\\glE"                                            ], "⪒", [order];
793  ["\\lesges"                                         ], "⪓", [order];
794  ["\\gesles"                                         ], "⪔", [order];
795  ["\\elsdot"                                         ], "⪗", [order];
796  ["\\egsdot"                                         ], "⪘", [order];
797  ["\\el"                                             ], "⪙", [order];
798  ["\\eg"                                             ], "⪚", [order];
799  ["\\siml"                                           ], "⪝", [order];
800  ["\\simg"                                           ], "⪞", [order];
801  ["\\simlE"                                          ], "⪟", [order];
802  ["\\simgE"                                          ], "⪠", [order];
803  ["\\prE"; "\\pre"; "\\preceq"; "\\PrecedesEqual"       ], "⪯", [order];
804  ["\\npre"; "\\npreceq"; "\\NotPrecedesEqual"          ], "⪯̸", [order];
805  ["\\nsce"; "\\nsucceq"; "\\NotSucceedsEqual"          ], "⪰̸", [order];
806  ["\\prnE"; "\\precneqq"                              ], "⪵", [order];
807  ["\\scnE"; "\\succneqq"                              ], "⪶", [order];
808 (* }}} *)
809
810 (* {{{ circles *)
811  ["\\copy"                                           ], "©", [circle];
812  ["\\reg"; "\\circledR"                               ], "®", [circle];
813  ["\\ordm"                                           ], "º", [circle];
814  ["\\oslash"                                         ], "ø", [circle];
815  ["\\ring"                                           ], "˚", [circle];
816  ["\\bull"; "\\bullet"                                ], "•", [circle];
817  ["\\circ"; "\\compfn"; "\\SmallCircle"                ], "∘", [circle];
818  ["\\oplus"; "\\xoplus"; "\\bigoplus"; "\\CirclePlus"   ], "⊕", [circle];
819  ["\\ominus"; "\\CircleMinus"                         ], "⊖", [circle];
820  ["\\xotime"; "\\otimes"; "\\bigotimes"; "\\CircleTimes"], "⊗", [circle];
821  ["\\osol"                                           ], "⊘", [circle];
822  ["\\odot"; "\\xodot"; "\\bigodot"; "\\CircleDot"       ], "⊙", [circle];
823  ["\\ocir"; "\\circledcirc"                           ], "⊚", [circle];
824  ["\\oast"; "\\circledast"                            ], "⊛", [circle];
825  ["\\odash"; "\\circleddash"                          ], "⊝", [circle];
826  ["\\ovbar"                                          ], "⌽", [circle];
827  ["\\NotNestedLessLess"                              ], "⒡̸", [circle];
828  ["\\NotNestedGreaterGreater"                        ], "⒢̸", [circle];
829  ["\\oS"; "\\circledS"                                ], "Ⓢ", [circle];
830  ["\\cir"                                            ], "○", [circle];
831  ["\\xcirc"; "\\bigcirc"                              ], "◯", [circle];
832 (* }}} *)
833
834 (* {{{ squares *)
835  ["\\plusb"; "\\boxplus"                              ], "⊞", [square];
836  ["\\minusb"; "\\boxminus"                            ], "⊟", [square];
837  ["\\timesb"; "\\boxtimes"                            ], "⊠", [square];
838  ["\\sdotb"; "\\dotsquare"                            ], "⊡", [square];
839  ["\\uhblk"                                          ], "▀", [square];
840  ["\\lhblk"                                          ], "▄", [square];
841  ["\\squ"; "\\square"; "\\Square"                      ], "□", [square];
842  ["\\squf"; "\\squarf"; "\\blacksquare"                ], "▪", [square];
843  ["\\rect"                                           ], "▭", [square];
844  ["\\marker"                                         ], "▮", [square];
845  ["\\EmptySmallSquare"                               ], "◽", [square];
846  ["\\FilledSmallSquare"                              ], "◾", [square];
847 (* }}} *)
848
849 (* {{{ triangles *)
850  ["\\Del"; "\\nabla"                                  ], "∇", [triangle];
851  ["\\vltri"; "\\LeftTriangle"; "\\vartriangleleft"     ], "⊲", [triangle];
852  ["\\vrtri"; "\\RightTriangle"; "\\vartriangleright"   ], "⊳", [triangle];
853  ["\\ltrie"; "\\trianglelefteq"; "\\LeftTriangleEqual" ], "⊴", [triangle];
854  ["\\rtrie"; "\\trianglerighteq"; "\\RightTriangleEqual"         ], "⊵", [triangle];
855  ["\\nltri"; "\\ntriangleleft"; "\\NotLeftTriangle"    ], "⋪", [triangle];
856  ["\\nrtri"; "\\ntriangleright"; "\\NotRightTriangle"  ], "⋫", [triangle];
857  ["\\nltrie"; "\\ntrianglelefteq"; "\\NotLeftTriangleEqual"      ], "⋬", [triangle];
858  ["\\nvltrie"                                        ], "⋬̸", [triangle];
859  ["\\nrtrie"; "\\ntrianglerighteq"; "\\NotRightTriangleEqual"    ], "⋭", [triangle];
860  ["\\nvrtrie"                                        ], "⋭̸", [triangle];
861  ["\\xutri"; "\\bigtriangleup"                        ], "△", [triangle];
862  ["\\utrif"; "\\blacktriangle"                        ], "▴", [triangle];
863  ["\\utri"; "\\triangle"                              ], "▵", [triangle];
864  ["\\rtrif"; "\\blacktriangleright"                   ], "▸", [triangle];
865  ["\\rtri"; "\\triangleright"                         ], "▹", [triangle];
866  ["\\xdtri"; "\\bigtriangledown"                      ], "▽", [triangle];
867  ["\\dtrif"; "\\blacktriangledown"                    ], "▾", [triangle];
868  ["\\dtri"; "\\triangledown"                          ], "▿", [triangle];
869  ["\\ltrif"; "\\blacktriangleleft"                    ], "◂", [triangle];
870  ["\\ltri"; "\\triangleleft"                          ], "◃", [triangle];
871  ["\\tridot"                                         ], "◬", [triangle];
872  ["\\ultri"                                          ], "◸", [triangle];
873  ["\\urtri"                                          ], "◹", [triangle];
874  ["\\lltri"                                          ], "◺", [triangle];
875  ["\\rtriltri"                                       ], "⧎", [triangle];
876  ["\\LeftTriangleBar"                                ], "⧏", [triangle];
877  ["\\NotLeftTriangleBar"                             ], "⧏̸", [triangle];
878  ["\\RightTriangleBar"                               ], "⧐", [triangle];
879  ["\\NotRightTriangleBar"                            ], "⧐̸", [triangle];
880 (* }}} *)
881
882 (* {{{ arrows *)
883  ["\\larr"; "\\gets"; "\\leftarrow"; "\\LeftArrow"      ], "←", [arrow];
884  ["\\uarr"; "\\UpArrow"; "\\uparrow"                   ], "↑", [arrow];
885  ["\\to"; "\\rarr"; "\\RightArrow"; "\\rightarrow";"->"], "→", [arrow];
886  ["\\darr"; "\\downarrow"; "\\DownArrow"               ], "↓", [arrow];
887  ["\\harr"; "\\LeftRightArrow"; "\\leftrightarrow"     ], "↔", [arrow];
888  ["\\varr"; "\\updownarrow"; "\\UpDownArrow"           ], "↕", [arrow];
889  ["\\nwarr"; "\\nwarrow"; "\\UpperLeftArrow"           ], "↖", [arrow];
890  ["\\nearr"; "\\nearrow"; "\\UpperRightArrow"          ], "↗", [arrow];
891  ["\\searr"; "\\searrow"; "\\LowerRightArrow"          ], "↘", [arrow];
892  ["\\swarr"; "\\swarrow"; "\\LowerLeftArrow"           ], "↙", [arrow];
893  ["\\nlarr"; "\\nleftarrow"                           ], "↚", [arrow];
894  ["\\nrarr"; "\\nrightarrow"                          ], "↛", [arrow];
895  ["\\rarrw"; "\\rightsquigarrow"                      ], "↝", [arrow];
896  ["\\nrarrw"                                         ], "↝̸", [arrow];
897  ["\\Larr"; "\\twoheadleftarrow"                      ], "↞", [arrow];
898  ["\\Uarr"                                           ], "↟", [arrow];
899  ["\\Rarr"; "\\twoheadrightarrow"                     ], "↠", [arrow];
900  ["\\Darr"                                           ], "↡", [arrow];
901  ["\\larrtl"; "\\leftarrowtail"                       ], "↢", [arrow];
902  ["\\ratail"; "\\rarrtl"; "\\rightarrowtail"           ], "↣", [arrow];
903  ["\\mapstoleft"; "\\LeftTeeArrow"                    ], "↤", [arrow];
904  ["\\mapstoup"; "\\UpTeeArrow"                        ], "↥", [arrow];
905  ["\\map"; "\\mapsto"; "\\RightTeeArrow"               ], "↦", [arrow];
906  ["\\mapstodown"; "\\DownTeeArrow"                    ], "↧", [arrow];
907  ["\\larrhk"; "\\hookleftarrow"                       ], "↩", [arrow];
908  ["\\rarrhk"; "\\hookrightarrow"                      ], "↪", [arrow];
909  ["\\larrlp"; "\\looparrowleft"                       ], "↫", [arrow];
910  ["\\rarrlp"; "\\looparrowright"                      ], "↬", [arrow];
911  ["\\harrw"; "\\leftrightsquigarrow"                  ], "↭", [arrow];
912  ["\\nharr"; "\\nleftrightarrow"                      ], "↮", [arrow];
913  ["\\Lsh"; "\\lsh"                                    ], "↰", [arrow];
914  ["\\Rsh"; "\\rsh"                                    ], "↱", [arrow];
915  ["\\ldsh"                                           ], "↲", [arrow];
916  ["\\rdsh"                                           ], "↳", [arrow];
917  ["\\cularr"; "\\curvearrowleft"                      ], "↶", [arrow];
918  ["\\curarr"; "\\curvearrowright"                     ], "↷", [arrow];
919  ["\\olarr"; "\\circlearrowleft"                      ], "↺", [arrow];
920  ["\\orarr"; "\\circlearrowright"                     ], "↻", [arrow];
921  ["\\lharu"; "\\LeftVector"; "\\leftharpoonup"         ], "↼", [arrow];
922  ["\\lhard"; "\\DownLeftVector"; "\\leftharpoondown"   ], "↽", [arrow];
923  ["\\uharr"; "\\RightUpVector"; "\\upharpoonright"     ], "↾", [arrow];
924  ["\\uharl"; "\\LeftUpVector"; "\\upharpoonleft"       ], "↿", [arrow];
925  ["\\rharu"; "\\RightVector"; "\\rightharpoonup"       ], "⇀", [arrow];
926  ["\\rhard"; "\\DownRightVector"; "\\rightharpoondown" ], "⇁", [arrow];
927  ["\\dharr"; "\\RightDownVector"; "\\downharpoonright" ], "⇂", [arrow];
928  ["\\dharl"; "\\LeftDownVector"; "\\downharpoonleft"   ], "⇃", [arrow];
929  ["\\rlarr"; "\\rightleftarrows"; "\\RightArrowLeftArrow"        ], "⇄", [arrow];
930  ["\\udarr"; "\\UpArrowDownArrow"                     ], "⇅", [arrow];
931  ["\\lrarr"; "\\leftrightarrows"; "\\LeftArrowRightArrow"        ], "⇆", [arrow];
932  ["\\llarr"; "\\leftleftarrows"                       ], "⇇", [arrow];
933  ["\\uuarr"; "\\upuparrows"                           ], "⇈", [arrow];
934  ["\\rrarr"; "\\rightrightarrows"                     ], "⇉", [arrow];
935  ["\\ddarr"; "\\downdownarrows"                       ], "⇊", [arrow];
936  ["\\lrhar"; "\\leftrightharpoons"; "\\ReverseEquilibrium"       ], "⇋", [arrow];
937  ["\\rlhar"; "\\Equilibrium"; "\\rightleftharpoons"    ], "⇌", [arrow];
938  ["\\nlArr"; "\\nvlArr"; "\\nLeftarrow"                ], "⇍", [arrow];
939  ["\\nhArr"; "\\nvHarr"; "\\nLeftrightarrow"           ], "⇎", [arrow];
940  ["\\nrArr"; "\\nvrArr"; "\\nRightarrow"               ], "⇏", [arrow];
941  ["\\lArr"; "\\Leftarrow"; "\\DoubleLeftArrow"         ], "⇐", [arrow];
942  ["\\uArr"; "\\Uparrow"; "\\DoubleUpArrow"             ], "⇑", [arrow];
943  ["\\rArr"; "\\Implies"; "\\Rightarrow"; "\\Longrightarrow"; "\\DoubleRightArrow"; "=>"], "⇒", [arrow];
944  ["\\dArr"; "\\Downarrow"; "\\DoubleDownArrow"         ], "⇓", [arrow];
945  ["\\iff"; "\\hArr"; "\\Leftrightarrow"; "\\DoubleLeftRightArrow" ], "⇔", [arrow];
946  ["\\vArr"; "\\Updownarrow"; "\\DoubleUpDownArrow"     ], "⇕", [arrow];
947  ["\\nwArr"                                          ], "⇖", [arrow];
948  ["\\neArr"                                          ], "⇗", [arrow];
949  ["\\seArr"                                          ], "⇘", [arrow];
950  ["\\swArr"                                          ], "⇙", [arrow];
951  ["\\lAarr"; "\\Lleftarrow"                           ], "⇚", [arrow];
952  ["\\rAarr"; "\\Rrightarrow"                          ], "⇛", [arrow];
953  ["\\zigrarr"                                        ], "⇝", [arrow];
954  ["\\larrb"; "\\LeftArrowBar"                         ], "⇤", [arrow];
955  ["\\rarrb"; "\\RightArrowBar"                        ], "⇥", [arrow];
956  ["\\duarr"; "\\DownArrowUpArrow"                     ], "⇵", [arrow];
957  ["\\loarr"                                          ], "⇽", [arrow];
958  ["\\roarr"                                          ], "⇾", [arrow];
959  ["\\hoarr"                                          ], "⇿", [arrow];
960  ["\\Map"                                            ], "⤅", [arrow];
961  ["\\lbarr"                                          ], "⤌", [arrow];
962  ["\\rbarr"; "\\bkarow"                               ], "⤍", [arrow];
963  ["\\lBarr"                                          ], "⤎", [arrow];
964  ["\\ac"; "\\rBarr"; "\\dbkarow"                       ], "⤏", [arrow];
965  ["\\RBarr"; "\\drbkarow"                             ], "⤐", [arrow];
966  ["\\DDotrahd"                                       ], "⤑", [arrow];
967  ["\\UpArrowBar"                                     ], "⤒", [arrow];
968  ["\\DownArrowBar"                                   ], "⤓", [arrow];
969  ["\\Rarrtl"                                         ], "⤖", [arrow];
970  ["\\latail"                                         ], "⤙", [arrow];
971  ["\\lAtail"                                         ], "⤛", [arrow];
972  ["\\rAtail"                                         ], "⤜", [arrow];
973  ["\\larrfs"                                         ], "⤝", [arrow];
974  ["\\rarrfs"                                         ], "⤞", [arrow];
975  ["\\larrbfs"                                        ], "⤟", [arrow];
976  ["\\rarrbfs"                                        ], "⤠", [arrow];
977  ["\\nwarhk"                                         ], "⤣", [arrow];
978  ["\\nearhk"                                         ], "⤤", [arrow];
979  ["\\searhk"; "\\hksearow"                            ], "⤥", [arrow];
980  ["\\swarhk"; "\\hkswarow"                            ], "⤦", [arrow];
981  ["\\nwnear"                                         ], "⤧", [arrow];
982  ["\\toea"; "\\nesear"                                ], "⤨", [arrow];
983  ["\\tosa"; "\\seswar"                                ], "⤩", [arrow];
984  ["\\swnwar"                                         ], "⤪", [arrow];
985  ["\\rarrc"                                          ], "⤳", [arrow];
986  ["\\nrarrc"                                         ], "⤳̸", [arrow];
987  ["\\cudarrr"                                        ], "⤵", [arrow];
988  ["\\ldca"                                           ], "⤶", [arrow];
989  ["\\rdca"                                           ], "⤷", [arrow];
990  ["\\cudarrl"                                        ], "⤸", [arrow];
991  ["\\larrpl"                                         ], "⤹", [arrow];
992  ["\\curarrm"                                        ], "⤼", [arrow];
993  ["\\cularrp"                                        ], "⤽", [arrow];
994  ["\\rarrpl"                                         ], "⥅", [arrow];
995  ["\\harrcir"                                        ], "⥈", [arrow];
996  ["\\Uarrocir"                                       ], "⥉", [arrow];
997  ["\\lurdshar"                                       ], "⥊", [arrow];
998  ["\\ldrushar"                                       ], "⥋", [arrow];
999  ["\\LeftRightVector"                                ], "⥎", [arrow];
1000  ["\\RightUpDownVector"                              ], "⥏", [arrow];
1001  ["\\DownLeftRightVector"                            ], "⥐", [arrow];
1002  ["\\LeftUpDownVector"                               ], "⥑", [arrow];
1003  ["\\LeftVectorBar"                                  ], "⥒", [arrow];
1004  ["\\RightVectorBar"                                 ], "⥓", [arrow];
1005  ["\\RightUpVectorBar"                               ], "⥔", [arrow];
1006  ["\\RightDownVectorBar"                             ], "⥕", [arrow];
1007  ["\\DownLeftVectorBar"                              ], "⥖", [arrow];
1008  ["\\DownRightVectorBar"                             ], "⥗", [arrow];
1009  ["\\LeftUpVectorBar"                                ], "⥘", [arrow];
1010  ["\\LeftDownVectorBar"                              ], "⥙", [arrow];
1011  ["\\LeftTeeVector"                                  ], "⥚", [arrow];
1012  ["\\RightTeeVector"                                 ], "⥛", [arrow];
1013  ["\\RightUpTeeVector"                               ], "⥜", [arrow];
1014  ["\\RightDownTeeVector"                             ], "⥝", [arrow];
1015  ["\\DownLeftTeeVector"                              ], "⥞", [arrow];
1016  ["\\DownRightTeeVector"                             ], "⥟", [arrow];
1017  ["\\LeftUpTeeVector"                                ], "⥠", [arrow];
1018  ["\\LeftDownTeeVector"                              ], "⥡", [arrow];
1019  ["\\lHar"                                           ], "⥢", [arrow];
1020  ["\\uHar"                                           ], "⥣", [arrow];
1021  ["\\rHar"                                           ], "⥤", [arrow];
1022  ["\\dHar"                                           ], "⥥", [arrow];
1023  ["\\luruhar"                                        ], "⥦", [arrow];
1024  ["\\ldrdhar"                                        ], "⥧", [arrow];
1025  ["\\ruluhar"                                        ], "⥨", [arrow];
1026  ["\\rdldhar"                                        ], "⥩", [arrow];
1027  ["\\lharul"                                         ], "⥪", [arrow];
1028  ["\\llhard"                                         ], "⥫", [arrow];
1029  ["\\rharul"                                         ], "⥬", [arrow];
1030  ["\\lrhard"                                         ], "⥭", [arrow];
1031  ["\\udhar"; "\\UpEquilibrium"                        ], "⥮", [arrow];
1032  ["\\duhar"; "\\ReverseUpEquilibrium"                 ], "⥯", [arrow];
1033  ["\\RoundImplies"                                   ], "⥰", [arrow];
1034  ["\\erarr"                                          ], "⥱", [arrow];
1035  ["\\simrarr"                                        ], "⥲", [arrow];
1036  ["\\larrsim"                                        ], "⥳", [arrow];
1037  ["\\rarrsim"                                        ], "⥴", [arrow];
1038  ["\\rarrap"                                         ], "⥵", [arrow];
1039  ["\\ltlarr"                                         ], "⥶", [arrow];
1040  ["\\suplarr"                                        ], "⥻", [arrow];
1041  ["\\lfisht"                                         ], "⥼", [arrow];
1042  ["\\rfisht"                                         ], "⥽", [arrow];
1043  ["\\ufisht"                                         ], "⥾", [arrow];
1044  ["\\dfisht"                                         ], "⥿", [arrow];
1045 (* }}} *)
1046
1047 (* {{{ set operations *)
1048  ["\\emptyv"; "\\varnothing"                          ], "∅", [set];
1049  ["\\in"; "\\isin"; "\\isinv"; "\\Element"              ], "∈", [set];
1050  ["\\notin"; "\\NotElement"                           ], "∉", [set];
1051  ["\\notinva"                                        ], "∉̸", [set];
1052  ["\\ni"; "\\niv"; "\\owns"; "\\SuchThat"; "\\ReverseElement"      ], "∋", [set];
1053  ["\\notni"; "\\notniva"; "\\NotReverseElement"        ], "∌", [set];
1054  ["\\coprod"; "\\Coproduct"                           ], "∐", [set];
1055  ["\\cap"                                            ], "∩", [set];
1056  ["\\cup"                                            ], "∪", [set];
1057  ["\\twixt"; "\\between"                              ], "≬", [set];
1058  ["\\subset"                                         ], "⊂", [set];
1059  ["\\supset"; "\\Superset"                            ], "⊃", [set];
1060  ["\\suphsol"                                        ], "⊃/", [set];
1061  ["\\nsub"; "\\vnsub"; "\\nsubset"; "\\NotSubset"       ], "⊄", [set];
1062  ["\\nsup"; "\\vnsup"; "\\nsupset"; "\\NotSuperset"     ], "⊅", [set];
1063  ["\\subE"; "\\sube"; "\\subseteq"; "\\subseteqq"; "\\SubsetEqual" ], "⊆", [set];
1064  ["\\supe"; "\\supE"; "\\supseteq"; "\\supseteqq"; "\\SupersetEqual"], "⊇", [set];
1065  ["\\nsube"; "\\nsubE"; "\\nsubseteq"; "\\nsubseteqq"; "\\NotSubsetEqual"], "⊈", [set];
1066  ["\\nsupe"; "\\nsupE"; "\\nsupseteq"; "\\nsupseteqq"; "\\NotSupersetEqual"], "⊉", [set];
1067  ["\\subne"; "\\subnE"; "\\subsetneq"; "\\subsetneqq"   ], "⊊", [set];
1068  ["\\supne"; "\\supnE"; "\\supsetneq"; "\\supsetneqq"   ], "⊋", [set];
1069  ["\\cupdot"                                         ], "⊍", [set];
1070  ["\\uplus"; "\\xuplus"; "\\biguplus"; "\\UnionPlus"    ], "⊎", [set];
1071  ["\\sqsub"; "\\sqsubset"; "\\SquareSubset"            ], "⊏", [set];
1072  ["\\NotSquareSubset"                                ], "⊏̸", [set];
1073  ["\\sqsup"; "\\sqsupset"; "\\SquareSuperset"          ], "⊐", [set];
1074  ["\\NotSquareSuperset"                              ], "⊐̸", [set];
1075  ["\\sqsube"; "\\sqsubseteq"; "\\SquareSubsetEqual"    ], "⊑", [set];
1076  ["\\sqsupe"; "\\sqsupseteq"; "\\SquareSupersetEqual"  ], "⊒", [set];
1077  ["\\sqcap"; "\\SquareIntersection"                   ], "⊓", [set];
1078  ["\\sqcup"; "\\xsqcup"; "\\bigsqcup"; "\\SquareUnion"  ], "⊔", [set];
1079  ["\\xcap"; "\\bigcap"; "\\Intersection"               ], "⋂", [set];
1080  ["\\xcup"; "\\Union"; "\\bigcup"                      ], "⋃", [set];
1081  ["\\Sub"; "\\Subset"                                 ], "⋐", [set];
1082  ["\\Sup"; "\\Supset"                                 ], "⋑", [set];
1083  ["\\Cap"                                            ], "⋒", [set];
1084  ["\\Cup"                                            ], "⋓", [set];
1085  ["\\nsqsube"; "\\NotSquareSubsetEqual"               ], "⋢", [set];
1086  ["\\nsqsupe"; "\\NotSquareSupersetEqual"             ], "⋣", [set];
1087  ["\\disin"                                          ], "⋲", [set];
1088  ["\\isinsv"                                         ], "⋳", [set];
1089  ["\\isins"                                          ], "⋴", [set];
1090  ["\\isindot"                                        ], "⋵", [set];
1091  ["\\notinvc"                                        ], "⋶", [set];
1092  ["\\notindot"                                       ], "⋶︀", [set];
1093  ["\\notinvb"                                        ], "⋷", [set];
1094  ["\\isinE"                                          ], "⋹", [set];
1095  ["\\nisd"                                           ], "⋺", [set];
1096  ["\\xnis"                                           ], "⋻", [set];
1097  ["\\nis"                                            ], "⋼", [set];
1098  ["\\notnivc"                                        ], "⋽", [set];
1099  ["\\notnivb"                                        ], "⋾", [set];
1100  ["\\subrarr"                                        ], "⥹", [set];
1101 (* }}} *)
1102
1103 (* {{{ math *)
1104  ["\\pm"; "\\plusmn"; "\\PlusMinus"                    ], "±", [math];
1105  ["\\times"                                          ], "×", [math];
1106  ["\\div"; "\\divide"                                 ], "÷", [math];
1107  ["\\prod"; "\\Product"                               ], "∏", [math];
1108  ["\\sum"; "\\Sum"                                    ], "∑", [math];
1109  ["\\mp"; "\\mnplus"; "\\MinusPlus"                    ], "∓", [math];
1110  ["\\plusdo"; "\\dotplus"                             ], "∔", [math];
1111  ["\\setmn"; "\\setminus"; "\\Backslash"               ], "∖", [math];
1112  ["\\lowast"                                         ], "∗", [math];
1113  ["\\Sqrt"; "\\radic"                                 ], "√", [math];
1114  ["\\prop"; "\\vprop"; "\\propto"; "\\varpropto"; "\\Proportional" ], "∝", [math];
1115  ["\\infty"; "\\infin"                                ], "∞", [math];
1116  ["\\mid"; "\\divides"; "\\VerticalBar"                ], "∣", [math];
1117  ["\\nmid"; "\\ndivides"; "\\NotVerticalBar"           ], "∤", [math];
1118  ["\\npar"; "\\nparallel"; "\\NotDoubleVerticalBar"    ], "∦", [math];
1119  ["\\int"; "\\Integral"                               ], "∫", [math];
1120  ["\\Int"                                            ], "∬", [math];
1121  ["\\tint"; "\\iiint"                                 ], "∭", [math];
1122  ["\\oint"; "\\conint"; "\\ContourIntegral"            ], "∮", [math];
1123  ["\\Conint"; "\\DoubleContourIntegral"               ], "∯", [math];
1124  ["\\Cconint"                                        ], "∰", [math];
1125  ["\\cwint"                                          ], "∱", [math];
1126  ["\\cwconint"; "\\ClockwiseContourIntegral"          ], "∲", [math];
1127  ["\\awconint"; "\\CounterClockwiseContourIntegral"   ], "∳", [math];
1128  ["\\qint"; "\\iiiint"                                ], "⨌", [math];
1129  ["\\cirfnint"                                       ], "⨐", [math];
1130  ["\\awint"                                          ], "⨑", [math];
1131  ["\\rppolint"                                       ], "⨒", [math];
1132  ["\\scpolint"                                       ], "⨓", [math];
1133  ["\\npolint"                                        ], "⨔", [math];
1134  ["\\pointint"                                       ], "⨕", [math];
1135  ["\\quatint"                                        ], "⨖", [math];
1136  ["\\intlarhk"                                       ], "⨗", [math];
1137  ["\\Cross"                                          ], "⨯", [math];
1138 (* }}} *)
1139
1140 (* {{{ spaces *)
1141  ["\\nbsp"; "\\NonBreakingSpace"                      ], " ", [space];
1142  ["\\shy"                                            ], "­", [space];
1143  ["\\ensp"                                           ], " ", [space];
1144  ["\\emsp"                                           ], " ", [space];
1145  ["\\emsp13"                                         ], " ", [space];
1146  ["\\emsp14"                                         ], " ", [space];
1147  ["\\numsp"                                          ], " ", [space];
1148  ["\\puncsp"                                         ], " ", [space];
1149  ["\\thinsp"; "\\ThinSpace"                           ], " ", [space];
1150  ["\\ThickSpace"                                     ], "   ", [space];
1151  ["\\hairsp"; "\\VeryThinSpace"                       ], " ", [space];
1152  ["\\ic"; "\\ZeroWidthSpace"; "\\InvisibleComma"       ], "​", [space];
1153  ["\\af"; "\\ApplyFunction"                           ], "⁡", [space];
1154  ["\\it"; "\\InvisibleTimes"                          ], "⁢", [space];
1155  ["\\NoBreak"                                        ], "", [space];
1156 (* }}} *)
1157
1158 (* {{{ parenteses *)
1159  ["\\laquo"                                          ], "«", [delimiter] ;
1160  ["\\raquo"                                          ], "»", [delimiter] ;
1161  ["\\lang"; "\\langle"; "\\LeftAngleBracket"           ], "〈", [delimiter] ;
1162  ["\\rang"; "\\rangle"; "\\RightAngleBracket"          ], "〉", [delimiter] ;
1163  ["\\lmoust"; "\\lmoustache"                          ], "⎰", [delimiter] ;
1164  ["\\rmoust"; "\\rmoustache"                          ], "⎱", [delimiter] ;
1165  ["\\Lang"                                           ], "《", [delimiter] ;
1166  ["\\Rang"                                           ], "》", [delimiter] ;
1167  ["\\lbbrk"                                          ], "〔", [delimiter] ;
1168  ["\\rbbrk"                                          ], "〕", [delimiter] ;
1169  ["\\lopar"                                          ], "〘", [delimiter] ;
1170  ["\\ropar"                                          ], "〙", [delimiter] ;
1171  ["\\lobrk"; "\\LeftDoubleBracket"                    ], "〚", [delimiter] ;
1172  ["\\robrk"; "\\RightDoubleBracket"                   ], "〛", [delimiter] ;
1173 (* }}} *)
1174
1175 (* {{{ Missing font *)
1176  ["\\NegativeThickSpace"                             ], " ︀", [miscellanea];
1177  ["\\NegativeThinSpace"                              ], " ︀", [miscellanea];
1178  ["\\NegativeVeryThinSpace"                          ], " ︀", [miscellanea];
1179  ["\\NegativeMediumSpace"                            ], " ︀", [miscellanea];
1180  ["\\slarr"; "\\ShortLeftArrow"                       ], "←︀", [miscellanea];
1181  ["\\srarr"; "\\ShortRightArrow"                      ], "→︀", [miscellanea];
1182  ["\\empty"; "\\emptyset"                             ], "∅︀", [miscellanea];
1183  ["\\ssetmn"; "\\smallsetminus"                       ], "∖︀", [miscellanea];
1184  ["\\smid"; "\\shortmid"                              ], "∣︀", [miscellanea];
1185  ["\\nsmid"; "\\nshortmid"                            ], "∤︀", [miscellanea];
1186  ["\\spar"; "\\parsl"; "\\shortparallel"               ], "∥︀", [miscellanea];
1187  ["\\nparsl"                                         ], "∥︀⃥", [miscellanea];
1188  ["\\nspar"; "\\nshortparallel"                       ], "∦︀", [miscellanea];
1189  ["\\caps"                                           ], "∩︀", [miscellanea];
1190  ["\\cups"                                           ], "∪︀", [miscellanea];
1191  ["\\thksim"; "\\thicksim"                            ], "∼︀", [miscellanea];
1192  ["\\thkap"; "\\thickapprox"                          ], "≈︀", [miscellanea];
1193  ["\\nedot"                                          ], "≠︀", [miscellanea];
1194  ["\\bnequiv"                                        ], "≡⃥", [miscellanea];
1195  ["\\lvnE"; "\\lvertneqq"                             ], "≨︀", [miscellanea];
1196  ["\\gvnE"; "\\gvertneqq"                             ], "≩︀", [miscellanea];
1197  ["\\nLtv"; "\\NotLessLess"                           ], "≪̸︀", [miscellanea];
1198  ["\\nGtv"; "\\NotGreaterGreater"                     ], "≫̸︀", [miscellanea];
1199  ["\\nle"; "\\NotLessEqual"                           ], "≰⃥", [miscellanea];
1200  ["\\nge"; "\\NotGreaterEqual"                        ], "≱⃥", [miscellanea];
1201  ["\\vsubnE"; "\\vsubne"; "\\varsubsetneq"; "\\varsubsetneqq"     ], "⊊︀", [miscellanea];
1202  ["\\vsupne"; "\\vsupnE"; "\\varsupsetneq"; "\\varsupsetneqq"     ], "⊋︀", [miscellanea];
1203  ["\\sqcaps"                                         ], "⊓︀", [miscellanea];
1204  ["\\sqcups"                                         ], "⊔︀", [miscellanea];
1205  ["\\prurel"                                         ], "⊰", [miscellanea];
1206  ["\\lesg"                                           ], "⋚︀", [miscellanea];
1207  ["\\gesl"                                           ], "⋛︀", [miscellanea];
1208  ["\\ShortUpArrow"                                   ], "⌃︀", [miscellanea];
1209  ["\\ShortDownArrow"                                 ], "⌄︀", [miscellanea];
1210  ["\\target"                                         ], "⌖", [miscellanea];
1211  ["\\cylcty"                                         ], "⌭", [miscellanea];
1212  ["\\profalar"                                       ], "⌮", [miscellanea];
1213  ["\\topbot"                                         ], "⌶", [miscellanea];
1214  ["\\solbar"                                         ], "⌿", [miscellanea];
1215  ["\\angzarr"                                        ], "⍼", [miscellanea];
1216  ["\\tbrk"; "\\OverBracket"                           ], "⎴", [miscellanea];
1217  ["\\bbrk"; "\\UnderBracket"                          ], "⎵", [miscellanea];
1218  ["\\lbrke"                                          ], "⦋", [miscellanea];
1219  ["\\rbrke"                                          ], "⦌", [miscellanea];
1220  ["\\lbrkslu"                                        ], "⦍", [miscellanea];
1221  ["\\rbrksld"                                        ], "⦎", [miscellanea];
1222  ["\\lbrksld"                                        ], "⦏", [miscellanea];
1223  ["\\rbrkslu"                                        ], "⦐", [miscellanea];
1224  ["\\langd"                                          ], "⦑", [miscellanea];
1225  ["\\rangd"                                          ], "⦒", [miscellanea];
1226  ["\\lparlt"                                         ], "⦓", [miscellanea];
1227  ["\\rpargt"                                         ], "⦔", [miscellanea];
1228  ["\\gtlPar"                                         ], "⦕", [miscellanea];
1229  ["\\ltrPar"                                         ], "⦖", [miscellanea];
1230  ["\\vzigzag"                                        ], "⦚", [miscellanea];
1231  ["\\angrtvbd"                                       ], "⦝", [miscellanea];
1232  ["\\angrtvb"                                        ], "⦝︀", [miscellanea];
1233  ["\\ange"                                           ], "⦤", [miscellanea];
1234  ["\\range"                                          ], "⦥", [miscellanea];
1235  ["\\dwangle"                                        ], "⦦", [miscellanea];
1236  ["\\uwangle"                                        ], "⦧", [miscellanea];
1237  ["\\angmsdaa"                                       ], "⦨", [miscellanea];
1238  ["\\angmsdab"                                       ], "⦩", [miscellanea];
1239  ["\\angmsdac"                                       ], "⦪", [miscellanea];
1240  ["\\angmsdad"                                       ], "⦫", [miscellanea];
1241  ["\\angmsdae"                                       ], "⦬", [miscellanea];
1242  ["\\angmsdaf"                                       ], "⦭", [miscellanea];
1243  ["\\angmsdag"                                       ], "⦮", [miscellanea];
1244  ["\\angmsdah"                                       ], "⦯", [miscellanea];
1245  ["\\bemptyv"                                        ], "⦰", [miscellanea];
1246  ["\\demptyv"                                        ], "⦱", [miscellanea];
1247  ["\\cemptyv"                                        ], "⦲", [miscellanea];
1248  ["\\raemptyv"                                       ], "⦳", [miscellanea];
1249  ["\\laemptyv"                                       ], "⦴", [miscellanea];
1250  ["\\ohbar"                                          ], "⦵", [miscellanea];
1251  ["\\omid"                                           ], "⦶", [miscellanea];
1252  ["\\opar"                                           ], "⦷", [miscellanea];
1253  ["\\operp"                                          ], "⦹", [miscellanea];
1254  ["\\olcross"                                        ], "⦻", [miscellanea];
1255  ["\\odsold"                                         ], "⦼", [miscellanea];
1256  ["\\olcir"                                          ], "⦾", [miscellanea];
1257  ["\\ofcir"                                          ], "⦿", [miscellanea];
1258  ["\\olt"                                            ], "⧀", [miscellanea];
1259  ["\\ogt"                                            ], "⧁", [miscellanea];
1260  ["\\cirscir"                                        ], "⧂", [miscellanea];
1261  ["\\cirE"                                           ], "⧃", [miscellanea];
1262  ["\\solb"                                           ], "⧄", [miscellanea];
1263  ["\\bsolb"                                          ], "⧅", [miscellanea];
1264  ["\\boxbox"                                         ], "⧉", [miscellanea];
1265  ["\\trisb"                                          ], "⧍", [miscellanea];
1266  ["\\race"                                           ], "⧚", [miscellanea];
1267  ["\\acE"                                            ], "⧛", [miscellanea];
1268  ["\\iinfin"                                         ], "⧜", [miscellanea];
1269  ["\\nvinfin"                                        ], "⧞", [miscellanea];
1270  ["\\eparsl"                                         ], "⧣", [miscellanea];
1271  ["\\smeparsl"                                       ], "⧤", [miscellanea];
1272  ["\\eqvparsl"                                       ], "⧥", [miscellanea];
1273  ["\\RuleDelayed"                                    ], "⧴", [miscellanea];
1274  ["\\dsol"                                           ], "⧶", [miscellanea];
1275  ["\\pluscir"                                        ], "⨢", [miscellanea];
1276  ["\\plusacir"                                       ], "⨣", [miscellanea];
1277  ["\\simplus"                                        ], "⨤", [miscellanea];
1278  ["\\plusdu"                                         ], "⨥", [miscellanea];
1279  ["\\plussim"                                        ], "⨦", [miscellanea];
1280  ["\\plustwo"                                        ], "⨧", [miscellanea];
1281  ["\\mcomma"                                         ], "⨩", [miscellanea];
1282  ["\\minusdu"                                        ], "⨪", [miscellanea];
1283  ["\\loplus"                                         ], "⨭", [miscellanea];
1284  ["\\roplus"                                         ], "⨮", [miscellanea];
1285  ["\\timesd"                                         ], "⨰", [miscellanea];
1286  ["\\timesbar"                                       ], "⨱", [miscellanea];
1287  ["\\smashp"                                         ], "⨳", [miscellanea];
1288  ["\\lotimes"                                        ], "⨴", [miscellanea];
1289  ["\\rotimes"                                        ], "⨵", [miscellanea];
1290  ["\\otimesas"                                       ], "⨶", [miscellanea];
1291  ["\\Otimes"                                         ], "⨷", [miscellanea];
1292  ["\\odiv"                                           ], "⨸", [miscellanea];
1293  ["\\triplus"                                        ], "⨹", [miscellanea];
1294  ["\\triminus"                                       ], "⨺", [miscellanea];
1295  ["\\tritime"                                        ], "⨻", [miscellanea];
1296  ["\\iprod"; "\\intprod"                              ], "⨼", [miscellanea];
1297  ["\\amalg"                                          ], "⨿", [miscellanea];
1298  ["\\capdot"                                         ], "⩀", [miscellanea];
1299  ["\\ncup"                                           ], "⩂", [miscellanea];
1300  ["\\ncap"                                           ], "⩃", [miscellanea];
1301  ["\\capand"                                         ], "⩄", [miscellanea];
1302  ["\\cupor"                                          ], "⩅", [miscellanea];
1303  ["\\cupcap"                                         ], "⩆", [miscellanea];
1304  ["\\capcup"                                         ], "⩇", [miscellanea];
1305  ["\\cupbrcap"                                       ], "⩈", [miscellanea];
1306  ["\\capbrcup"                                       ], "⩉", [miscellanea];
1307  ["\\cupcup"                                         ], "⩊", [miscellanea];
1308  ["\\capcap"                                         ], "⩋", [miscellanea];
1309  ["\\ccups"                                          ], "⩌", [miscellanea];
1310  ["\\ccaps"                                          ], "⩍", [miscellanea];
1311  ["\\ccupssm"                                        ], "⩐", [miscellanea];
1312  ["\\And"                                            ], "⩓", [miscellanea];
1313  ["\\Or"                                             ], "⩔", [miscellanea];
1314  ["\\andand"                                         ], "⩕", [miscellanea];
1315  ["\\oror"                                           ], "⩖", [miscellanea];
1316  ["\\orslope"                                        ], "⩗", [miscellanea];
1317  ["\\andslope"                                       ], "⩘", [miscellanea];
1318  ["\\andv"                                           ], "⩚", [miscellanea];
1319  ["\\orv"                                            ], "⩛", [miscellanea];
1320  ["\\andd"                                           ], "⩜", [miscellanea];
1321  ["\\ord"                                            ], "⩝", [miscellanea];
1322  ["\\wedbar"                                         ], "⩟", [miscellanea];
1323  ["\\sdote"                                          ], "⩦", [miscellanea];
1324  ["\\simdot"                                         ], "⩪", [miscellanea];
1325  ["\\congdot"                                        ], "⩭", [miscellanea];
1326  ["\\ncongdot"                                       ], "⩭̸", [miscellanea];
1327  ["\\apacir"                                         ], "⩯", [miscellanea];
1328  ["\\napE"                                           ], "⩰̸", [miscellanea];
1329  ["\\eplus"                                          ], "⩱", [miscellanea];
1330  ["\\pluse"                                          ], "⩲", [miscellanea];
1331  ["\\Esim"                                           ], "⩳", [miscellanea];
1332  ["\\Colone"                                         ], "⩴", [miscellanea];
1333  ["\\Equal"                                          ], "⩵", [miscellanea];
1334  ["\\eDDot"; "\\ddotseq"                              ], "⩷", [miscellanea];
1335  ["\\equivDD"                                        ], "⩸", [miscellanea];
1336  ["\\ltcir"                                          ], "⩹", [miscellanea];
1337  ["\\gtcir"                                          ], "⩺", [miscellanea];
1338  ["\\ltquest"                                        ], "⩻", [miscellanea];
1339  ["\\gtquest"                                        ], "⩼", [miscellanea];
1340  ["\\LessLess"                                       ], "⪡", [miscellanea];
1341  ["\\GreaterGreater"                                 ], "⪢", [miscellanea];
1342  ["\\glj"                                            ], "⪤", [miscellanea];
1343  ["\\gla"                                            ], "⪥", [miscellanea];
1344  ["\\ltcc"                                           ], "⪦", [miscellanea];
1345  ["\\gtcc"                                           ], "⪧", [miscellanea];
1346  ["\\lescc"                                          ], "⪨", [miscellanea];
1347  ["\\gescc"                                          ], "⪩", [miscellanea];
1348  ["\\smt"                                            ], "⪪", [miscellanea];
1349  ["\\lat"                                            ], "⪫", [miscellanea];
1350  ["\\smte"                                           ], "⪬", [miscellanea];
1351  ["\\smtes"                                          ], "⪬︀", [miscellanea];
1352  ["\\late"                                           ], "⪭", [miscellanea];
1353  ["\\lates"                                          ], "⪭︀", [miscellanea];
1354  ["\\Sc"                                             ], "⪼", [miscellanea];
1355  ["\\subdot"                                         ], "⪽", [miscellanea];
1356  ["\\supdot"                                         ], "⪾", [miscellanea];
1357  ["\\subplus"                                        ], "⪿", [miscellanea];
1358  ["\\supplus"                                        ], "⫀", [miscellanea];
1359  ["\\submult"                                        ], "⫁", [miscellanea];
1360  ["\\supmult"                                        ], "⫂", [miscellanea];
1361  ["\\subedot"                                        ], "⫃", [miscellanea];
1362  ["\\supedot"                                        ], "⫄", [miscellanea];
1363  ["\\subsim"                                         ], "⫇", [miscellanea];
1364  ["\\supsim"                                         ], "⫈", [miscellanea];
1365  ["\\csub"                                           ], "⫏", [miscellanea];
1366  ["\\csup"                                           ], "⫐", [miscellanea];
1367  ["\\csube"                                          ], "⫑", [miscellanea];
1368  ["\\csupe"                                          ], "⫒", [miscellanea];
1369  ["\\subsup"                                         ], "⫓", [miscellanea];
1370  ["\\supsub"                                         ], "⫔", [miscellanea];
1371  ["\\subsub"                                         ], "⫕", [miscellanea];
1372  ["\\supsup"                                         ], "⫖", [miscellanea];
1373  ["\\suphsub"                                        ], "⫗", [miscellanea];
1374  ["\\supdsub"                                        ], "⫘", [miscellanea];
1375  ["\\forkv"                                          ], "⫙", [miscellanea];
1376  ["\\topfork"                                        ], "⫚", [miscellanea];
1377  ["\\mlcp"                                           ], "⫛", [miscellanea];
1378  ["\\Dashv"; "\\DoubleLeftTee"                        ], "⫤", [miscellanea];
1379  ["\\Vdashl"                                         ], "⫦", [miscellanea];
1380  ["\\Barv"                                           ], "⫧", [miscellanea];
1381  ["\\vBar"                                           ], "⫨", [miscellanea];
1382  ["\\vBarv"                                          ], "⫩", [miscellanea];
1383  ["\\Vbar"                                           ], "⫫", [miscellanea];
1384  ["\\Not"                                            ], "⫬", [miscellanea];
1385  ["\\bNot"                                           ], "⫭", [miscellanea];
1386  ["\\rnmid"                                          ], "⫮", [miscellanea];
1387  ["\\cirmid"                                         ], "⫯", [miscellanea];
1388  ["\\midcir"                                         ], "⫰", [miscellanea];
1389  ["\\topcir"                                         ], "⫱", [miscellanea];
1390  ["\\nhpar"                                          ], "⫲", [miscellanea];
1391  ["\\parsim"                                         ], "⫳", [miscellanea];
1392  ["\\loang"                                          ], "", [miscellanea];
1393  ["\\roang"                                          ], "", [miscellanea];
1394  ["\\xlarr"; "\\LongLeftArrow"                        ], "", [miscellanea];
1395  ["\\xrarr"; "\\LongRightArrow"                       ], "", [miscellanea];
1396  ["\\xharr"; "\\LongLeftRightArrow"                   ], "", [miscellanea];
1397  ["\\xlArr"; "\\DoubleLongLeftArrow"                  ], "", [miscellanea];
1398  ["\\xrArr"; "\\DoubleLongRightArrow"                 ], "", [miscellanea];
1399  ["\\xhArr"; "\\DoubleLongLeftRightArrow"             ], "", [miscellanea];
1400  ["\\xmap"                                           ], "", [miscellanea];
1401  ["\\FilledVerySmallSquare"                          ], "", [miscellanea];
1402  ["\\EmptyVerySmallSquare"                           ], "", [miscellanea];
1403  ["\\dzigrarr"                                       ], "", [miscellanea];
1404  ["\\Ascr"                                           ], "𝒜", [miscellanea];
1405  ["\\Cscr"                                           ], "𝒞", [miscellanea];
1406  ["\\Dscr"                                           ], "𝒟", [miscellanea];
1407  ["\\Gscr"                                           ], "𝒢", [miscellanea];
1408  ["\\Jscr"                                           ], "𝒥", [miscellanea];
1409  ["\\Kscr"                                           ], "𝒦", [miscellanea];
1410  ["\\Nscr"                                           ], "𝒩", [miscellanea];
1411  ["\\Oscr"                                           ], "𝒪", [miscellanea];
1412  ["\\Pscr"                                           ], "𝒫", [miscellanea];
1413  ["\\Qscr"                                           ], "𝒬", [miscellanea];
1414  ["\\Sscr"                                           ], "𝒮", [miscellanea];
1415  ["\\Tscr"                                           ], "𝒯", [miscellanea];
1416  ["\\Uscr"                                           ], "𝒰", [miscellanea];
1417  ["\\Vscr"                                           ], "𝒱", [miscellanea];
1418  ["\\Wscr"                                           ], "𝒲", [miscellanea];
1419  ["\\Xscr"                                           ], "𝒳", [miscellanea];
1420  ["\\Yscr"                                           ], "𝒴", [miscellanea];
1421  ["\\Zscr"                                           ], "𝒵", [miscellanea];
1422  ["\\ascr"                                           ], "𝒶", [miscellanea];
1423  ["\\bscr"                                           ], "𝒷", [miscellanea];
1424  ["\\cscr"                                           ], "𝒸", [miscellanea];
1425  ["\\dscr"                                           ], "𝒹", [miscellanea];
1426  ["\\fscr"                                           ], "𝒻", [miscellanea];
1427  ["\\hscr"                                           ], "𝒽", [miscellanea];
1428  ["\\iscr"                                           ], "𝒾", [miscellanea];
1429  ["\\jscr"                                           ], "𝒿", [miscellanea];
1430  ["\\kscr"                                           ], "𝓀", [miscellanea];
1431  ["\\mscr"                                           ], "𝓂", [miscellanea];
1432  ["\\nscr"                                           ], "𝓃", [miscellanea];
1433  ["\\pscr"                                           ], "𝓅", [miscellanea];
1434  ["\\qscr"                                           ], "𝓆", [miscellanea];
1435  ["\\rscr"                                           ], "𝓇", [miscellanea];
1436  ["\\sscr"                                           ], "𝓈", [miscellanea];
1437  ["\\tscr"                                           ], "𝓉", [miscellanea];
1438  ["\\uscr"                                           ], "𝓊", [miscellanea];
1439  ["\\vscr"                                           ], "𝓋", [miscellanea];
1440  ["\\wscr"                                           ], "𝓌", [miscellanea];
1441  ["\\xscr"                                           ], "𝓍", [miscellanea];
1442  ["\\yscr"                                           ], "𝓎", [miscellanea];
1443  ["\\zscr"                                           ], "𝓏", [miscellanea];
1444  ["\\Afr"                                            ], "𝔄", [miscellanea];
1445  ["\\Bfr"                                            ], "𝔅", [miscellanea];
1446  ["\\Dfr"                                            ], "𝔇", [miscellanea];
1447  ["\\Efr"                                            ], "𝔈", [miscellanea];
1448  ["\\Ffr"                                            ], "𝔉", [miscellanea];
1449  ["\\Gfr"                                            ], "𝔊", [miscellanea];
1450  ["\\Jfr"                                            ], "𝔍", [miscellanea];
1451  ["\\Kfr"                                            ], "𝔎", [miscellanea];
1452  ["\\Lfr"                                            ], "𝔏", [miscellanea];
1453  ["\\Mfr"                                            ], "𝔐", [miscellanea];
1454  ["\\Nfr"                                            ], "𝔑", [miscellanea];
1455  ["\\Ofr"                                            ], "𝔒", [miscellanea];
1456  ["\\Pfr"                                            ], "𝔓", [miscellanea];
1457  ["\\Qfr"                                            ], "𝔔", [miscellanea];
1458  ["\\Sfr"                                            ], "𝔖", [miscellanea];
1459  ["\\Tfr"                                            ], "𝔗", [miscellanea];
1460  ["\\Ufr"                                            ], "𝔘", [miscellanea];
1461  ["\\Vfr"                                            ], "𝔙", [miscellanea];
1462  ["\\Wfr"                                            ], "𝔚", [miscellanea];
1463  ["\\Xfr"                                            ], "𝔛", [miscellanea];
1464  ["\\Yfr"                                            ], "𝔜", [miscellanea];
1465  ["\\afr"                                            ], "𝔞", [miscellanea];
1466  ["\\bfr"                                            ], "𝔟", [miscellanea];
1467  ["\\cfr"                                            ], "𝔠", [miscellanea];
1468  ["\\dfr"                                            ], "𝔡", [miscellanea];
1469  ["\\efr"                                            ], "𝔢", [miscellanea];
1470  ["\\ffr"                                            ], "𝔣", [miscellanea];
1471  ["\\gfr"                                            ], "𝔤", [miscellanea];
1472  ["\\hfr"                                            ], "𝔥", [miscellanea];
1473  ["\\ifr"                                            ], "𝔦", [miscellanea];
1474  ["\\jfr"                                            ], "𝔧", [miscellanea];
1475  ["\\kfr"                                            ], "𝔨", [miscellanea];
1476  ["\\lfr"                                            ], "𝔩", [miscellanea];
1477  ["\\mfr"                                            ], "𝔪", [miscellanea];
1478  ["\\nfr"                                            ], "𝔫", [miscellanea];
1479  ["\\ofr"                                            ], "𝔬", [miscellanea];
1480  ["\\pfr"                                            ], "𝔭", [miscellanea];
1481  ["\\qfr"                                            ], "𝔮", [miscellanea];
1482  ["\\rfr"                                            ], "𝔯", [miscellanea];
1483  ["\\sfr"                                            ], "𝔰", [miscellanea];
1484  ["\\tfr"                                            ], "𝔱", [miscellanea];
1485  ["\\ufr"                                            ], "𝔲", [miscellanea];
1486  ["\\vfr"                                            ], "𝔳", [miscellanea];
1487  ["\\wfr"                                            ], "𝔴", [miscellanea];
1488  ["\\xfr"                                            ], "𝔵", [miscellanea];
1489  ["\\yfr"                                            ], "𝔶", [miscellanea];
1490  ["\\zfr"                                            ], "𝔷", [miscellanea];
1491 (* }}} *)
1492
1493 ]
1494 ;;
1495
1496 let load_predefined_virtuals () =
1497   List.iter 
1498     (fun a,b,c -> 
1499        Virtuals.add_virtual a (Glib.Utf8.first_char b) c) 
1500     predefined_virtuals
1501 ;;
1502
1503 let predefined_classes = [
1504         [ "→"; "⇉"; "⇒"; "⇝"; "⇾"; "⤍"; "⤏"; "⤳"; "⥤"; "⥰"; ] ;
1505         [ "≤"; "≲"; "<"; "≺"; "≼"; "≰"; "≴"; "≮"; "⊀"; "⋠"; ] ;
1506         ["a"; "α"; "𝕒"; ] ;
1507         ["A"; "𝔸"; ] ;
1508         ["b"; "β"; "ß"; "𝕓"; ] ;
1509         ["B"; "ℬ"; "𝔹"; ] ;
1510         ["c"; "𝕔"; ] ;
1511         ["C"; "ℭ"; "∁"; ] ;
1512         ["d"; "δ"; "∂"; "𝕕"; "ⅆ"; ] ;
1513         ["D"; "Δ"; "𝔻"; "ⅅ"; ] ;
1514         ["e"; "ɛ"; "ε"; "ϵ"; "Є"; "ℯ"; "𝕖"; "ⅇ"; ] ;
1515         ["E"; "ℰ"; "𝔼"; ] ;
1516         ["f"; "φ"; "ψ"; "ϕ"; "⨍"; "𝕗"; ] ;
1517         ["F"; "Φ"; "Ψ"; "ℱ"; "𝔽"; ] ;
1518         ["g"; "γ"; "ℊ"; "𝕘"; ] ;
1519         ["G"; "Γ"; "𝔾"; ] ;
1520         ["h"; "ℌ"; "ℎ"; "𝕙"; ] ;
1521         ["H"; "ℋ"; "ℍ"; ] ;
1522         ["i"; "ι"; "ℐ"; "𝕚"; "ⅈ"; ] ;
1523         ["I"; "𝕀"; ] ;
1524         ["j"; "𝕛"; ] ;
1525         ["J"; "Ј"; "𝕁"; ] ;
1526         ["k"; "κ"; "𝕜"; ] ;
1527         ["K"; "𝕂"; ] ;
1528         ["l"; "λ"; "𝕝"; ] ;
1529         ["L"; "Λ"; "𝕃"; ] ;
1530         ["m"; "μ"; "𝕞"; ] ;
1531         ["M"; "ℳ"; "𝕄"; ] ;
1532         ["n"; "η"; "𝕟"; ] ;
1533         ["N"; "ℕ"; "№"; ] ;
1534         ["o"; "θ"; "ω"; "ϑ"; "𝕠"; "ø"; "∘"; ] ;
1535         ["O"; "Θ"; "Ω"; "𝕆"; ] ;
1536         ["p"; "π"; "𝕡"; ] ;
1537         ["P"; "Π"; "℘"; "ℙ"; ] ;
1538         ["q"; "𝕢"; ] ;
1539         ["Q"; "ℚ"; ] ;
1540         ["r"; "ρ"; "ϱ"; "𝕣"; ] ;
1541         ["R"; "ℛ"; "ℜ"; "ℝ"; ] ;
1542         ["s"; "σ"; "ς"; "𝕤"; ] ;
1543         ["S"; "Σ"; "𝕊"; ] ;
1544         ["t"; "τ"; "𝕥"; ] ;
1545         ["T"; "𝕋"; ] ;
1546         ["u"; "υ"; "ϒ"; "𝕦"; ] ;
1547         ["U"; "𝕌"; ] ;
1548         ["v"; "ν"; "𝕧"; ] ;
1549         ["V"; "𝕍"; ] ;
1550         ["w"; "𝕨"; ] ;
1551         ["W"; "𝕎"; ] ;
1552         ["x"; "ξ"; "χ"; "ϰ"; "𝕩"; ] ;
1553         ["X"; "Ξ"; "𝕏"; ] ;
1554         ["y"; "𝕪"; ] ;
1555         ["Y"; "𝕐"; ] ;
1556         ["z"; "ζ"; "𝕫"; ] ;
1557         ["Z"; "ℤ"; "ℨ"; ] ;
1558  ]
1559 ;;
1560
1561 let load_predefined_classes () =
1562   List.iter 
1563     (fun l -> Virtuals.add_eqclass (List.map (Glib.Utf8.first_char) l))
1564     predefined_classes;
1565 ;;
1566
1567 (* vim:set foldmethod=marker: *)