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";;
19 let predefined_virtuals = [
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];
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];
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];
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];
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];
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];
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];
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];
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];
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];
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];
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];
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];
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];
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] ;
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];
1498 let load_predefined_virtuals () =
1501 Virtuals.add_virtual a (Glib.Utf8.first_char b) c)
1505 let predefined_classes = [
1508 ["!"; "¡"; "⫯"; "⫰"; "⟟"; "⫱"; ];
1512 ["#"; "♯"; "⋕"; "⧣"; "⧤"; "⌘"; ];
1513 ["+"; "⨭"; "⨮"; "⨁"; "⊕"; "⊞"; ];
1514 ["-"; "÷"; "⊢"; "⊩"; "⧟"; "⊟"; ];
1515 ["="; "≝"; "≡"; "≘"; "≗"; "≐"; "≑"; "≛"; "≚"; "≙"; "⌆"; "⧦"; "⊜"; "≋"; "⩳"; "≅"; "⩬"; "≂"; "≃"; "≈"; ];
1516 ["→"; "↦"; "⇝"; "⤞"; "⇾"; "⤍"; "⤏"; "⤳"; ] ;
1517 ["⇒"; "⤇"; "➾"; "⇨"; "➡"; "⬈"; "➤"; "➸"; "⇉"; "⥰"; ] ;
1520 ["⇓"; "⇩"; "⬇"; "⬊"; "➷"; ] ;
1521 ["⇕"; "⇳"; "⬍"; "↕"; ];
1522 ["↔"; "⇔"; "⬄"; "⬌"; ] ;
1523 ["≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; "⊆"; "⫃"; "⊑"; ] ;
1524 ["_"; "↓"; "↙"; "⎽"; "⎼"; "⎻"; "⎺"; ];
1525 ["<"; "≺"; "≮"; "⊀"; "〈"; "«"; "❬"; "❮"; "❰"; ] ;
1526 ["("; "❨"; "❪"; "❲"; "（"; ];
1527 [")"; "❩"; "❫"; "❳"; "）"; ];
1532 ["□"; "◽"; "▪"; "◾"; ];
1533 ["◊"; "♢"; "⧫"; "♦"; "⟐"; "⟠"; ] ;
1534 [">"; "⭃"; "⧁"; "〉"; "»"; "❭"; "❯"; "❱"; "▸"; "►"; "▶"; "⊃"; "⊐"; ] ;
1535 ["≥"; "⪀"; "≽"; "⪴"; "⥸"; "⊒"; ];
1536 ["∨"; "⩖"; "∪"; "∩"; "⋓"; "⋒" ] ;
1537 ["a"; "α"; "𝕒"; "𝐚"; "𝛂"; "ⓐ"; ] ;
1538 ["A"; "ℵ"; "𝔸"; "𝐀"; "Ⓐ"; ] ;
1539 ["b"; "β"; "ß"; "𝕓"; "𝐛"; "𝛃"; "ⓑ"; ] ;
1540 ["B"; "ℶ"; "ℬ"; "𝔹"; "𝐁"; "Ⓑ"; ] ;
1541 ["c"; "𝕔"; "𝐜"; "ⓒ"; ] ;
1542 ["C"; "ℭ"; "∁"; "𝐂"; "ℂ"; "Ⓒ"; ] ;
1543 ["d"; "δ"; "∂"; "𝕕"; "ⅆ"; "𝐝"; "𝛅"; "ⓓ"; ] ;
1544 ["D"; "Δ"; "𝔻"; "ⅅ"; "𝐃"; "𝚫"; "Ⓓ"; ] ;
1545 ["e"; "ɛ"; "ε"; "ϵ"; "Є"; "ℯ"; "𝕖"; "ⅇ"; "𝐞"; "𝛆"; "𝛜"; "ⓔ"; ] ;
1546 ["E"; "ℰ"; "𝔼"; "𝐄"; "Ⓔ"; ] ;
1547 ["f"; "φ"; "ψ"; "ϕ"; "⨍"; "𝕗"; "𝐟"; "𝛟"; "𝛙"; "ⓕ"; ] ;
1548 ["F"; "Φ"; "Ψ"; "ℱ"; "𝔽"; "𝐅"; "𝚽"; "𝚿"; "Ⓕ"; ] ;
1549 ["g"; "γ"; "ℊ"; "𝕘"; "𝐠"; "𝛄"; "ⓖ"; ] ;
1550 ["G"; "Γ"; "𝔾"; "𝐆"; "𝚪"; "Ⓖ"; ] ;
1551 ["h"; "η"; "ℌ"; "ℎ"; "𝕙"; "𝐡"; "ⓗ"; ] ;
1552 ["H"; "ℋ"; "ℍ"; "𝐇"; "Ⓗ"; ] ;
1553 ["i"; "ι"; "ℐ"; "𝕚"; "ⅈ"; "𝐢"; "𝛊"; "ⓘ"; ] ;
1554 ["I"; "𝕀"; "𝐈"; "Ⓘ"; ] ;
1555 ["j"; "𝕛"; "𝐣"; "ⓙ"; ] ;
1556 ["J"; "Ј"; "𝕁"; "𝐉"; "Ⓙ"; ] ;
1557 ["k"; "κ"; "𝕜"; "𝐤"; "𝛋"; "ⓚ"; ] ;
1558 ["K"; "𝕂"; "𝐊"; "Ⓚ"; ] ;
1559 ["l"; "λ"; "𝕝"; "𝐥"; "𝛌"; "ⓛ"; ] ;
1560 ["L"; "Λ"; "𝕃"; "𝐋"; "𝚲"; "Ⓛ"; ] ;
1561 ["m"; "μ"; "𝕞"; "𝐦"; "𝛍"; "ⓜ"; ] ;
1562 ["M"; "ℳ"; "𝕄"; "𝐌"; "Ⓜ"; ] ;
1563 ["n"; "𝕟"; "𝐧"; "𝛈"; "ⓝ"; ] ;
1564 ["N"; "ℕ"; "№"; "𝐍"; "Ⓝ"; ] ;
1565 ["o"; "θ"; "ϑ"; "𝕠"; "∘"; "⊚"; "ø"; "○"; "𝐨"; "𝛉"; "ⓞ"; ] ;
1566 ["O"; "Θ"; "𝕆"; "𝐎"; "𝚯"; "𝚹"; "Ⓞ"; ] ;
1567 ["p"; "π"; "𝕡"; "𝐩"; "𝛑"; "ⓟ"; ] ;
1568 ["P"; "Π"; "℘"; "ℙ"; "𝐏"; "𝚷"; "Ⓟ"; ] ;
1569 ["q"; "𝕢"; "𝐪"; "ⓠ"; ] ;
1570 ["Q"; "ℚ"; "𝐐"; "Ⓠ"; ] ;
1571 ["r"; "ρ"; "ϱ"; "𝕣"; "𝐫"; "𝛒"; "𝛠"; "ⓡ"; ] ;
1572 ["R"; "ℛ"; "ℜ"; "ℝ"; "𝐑"; "Ⓡ"; ] ;
1573 ["s"; "σ"; "ς"; "𝕤"; "𝐬"; "𝛔"; "ⓢ"; ] ;
1574 ["S"; "Σ"; "𝕊"; "𝐒"; "𝚺"; "Ⓢ"; ] ;
1575 ["t"; "τ"; "𝕥"; "𝐭"; "𝛕"; "ⓣ"; ] ;
1576 ["T"; "𝕋"; "𝐓"; "Ⓣ"; "⊥"; ] ;
1577 ["u"; "𝕦"; "𝐮"; "ⓤ"; ] ;
1578 ["U"; "𝕌"; "𝐔"; "Ⓤ"; ] ;
1579 ["v"; "ν"; "𝕧"; "𝐯"; "𝛖"; "𝛎"; "ⓥ"; "▼"; ] ;
1580 ["V"; "𝕍"; "𝐕"; "Ⓥ"; ] ;
1581 ["w"; "ω"; "𝕨"; "𝐰"; "𝛚"; "ⓦ"; ] ;
1582 ["W"; "Ω"; "𝕎"; "𝐖"; "𝛀"; "Ⓦ"; ] ;
1583 ["x"; "ξ"; "χ"; "ϰ"; "𝕩"; "𝐱"; "𝛏"; "𝛘"; "𝛞"; "ⓧ"; "⨴"; "⨵"; ] ;
1584 ["X"; "Ξ"; "𝕏";"𝐗"; "𝚵"; "Ⓧ"; "⦻"; "⪤" ] ;
1585 ["y"; "υ"; "𝕪"; "𝐲"; "ⓨ"; ] ;
1586 ["Y"; "ϒ"; "𝕐"; "𝐘"; "𝚼"; "Ⓨ"; ] ;
1587 ["z"; "ζ"; "𝕫"; "𝐳"; "𝛇"; "ⓩ"; ] ;
1588 ["Z"; "ℨ"; "ℤ"; "𝐙"; "Ⓩ"; ] ;
1590 ["1"; "𝟙"; "①"; "⓵"; ] ;
1591 ["2"; "𝟚"; "②"; "⓶"; ] ;
1592 ["3"; "𝟛"; "③"; "⓷"; ] ;
1593 ["4"; "𝟜"; "④"; "⓸"; ] ;
1594 ["5"; "𝟝"; "⑤"; "⓹"; ] ;
1595 ["6"; "𝟞"; "⑥"; "⓺"; ] ;
1596 ["7"; "𝟟"; "⑦"; "⓻"; ] ;
1597 ["8"; "𝟠"; "⑧"; "⓼"; "∞"; ] ;
1598 ["9"; "𝟡"; "⑨"; "⓽"; ] ;
1602 let load_predefined_classes () =
1604 (fun l -> Virtuals.add_eqclass (List.map (Glib.Utf8.first_char) l))
1608 (* vim:set foldmethod=marker: *)
projects / helm.git / blob