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