1 /* GENERATED by make_table: DO NOT EDIT! */
2 var macro2utf8 = new Object();
3 var utf82macro = new Object();
4 macro2utf8["nscr"] = "𝓃";
5 utf82macro["𝓃"] = "nscr";
6 macro2utf8["LJcy"] = "Љ";
7 utf82macro["Љ"] = "LJcy";
8 macro2utf8["dd"] = "ⅆ";
9 utf82macro["ⅆ"] = "dd";
10 macro2utf8["Omacr"] = "Ō";
11 utf82macro["Ō"] = "Omacr";
12 macro2utf8["npreceq"] = "⪯̸";
13 utf82macro["⪯̸"] = "npreceq";
14 macro2utf8["Gcirc"] = "Ĝ";
15 utf82macro["Ĝ"] = "Gcirc";
16 macro2utf8["utilde"] = "ũ";
17 utf82macro["ũ"] = "utilde";
18 macro2utf8["rdca"] = "⤷";
19 utf82macro["⤷"] = "rdca";
20 macro2utf8["racute"] = "ŕ";
21 utf82macro["ŕ"] = "racute";
22 macro2utf8["mstpos"] = "∾";
23 utf82macro["∾"] = "mstpos";
24 macro2utf8["supnE"] = "⊋";
25 utf82macro["⊋"] = "supnE";
26 macro2utf8["NotLessLess"] = "≪̸︀";
27 utf82macro["≪̸︀"] = "NotLessLess";
28 macro2utf8["iiint"] = "∭";
29 utf82macro["∭"] = "iiint";
30 macro2utf8["uscr"] = "𝓊";
31 utf82macro["𝓊"] = "uscr";
32 macro2utf8["Sfr"] = "𝔖";
33 utf82macro["𝔖"] = "Sfr";
34 macro2utf8["nsupseteqq"] = "⊉";
35 utf82macro["⊉"] = "nsupseteqq";
36 macro2utf8["nwarrow"] = "↖";
37 utf82macro["↖"] = "nwarrow";
38 macro2utf8["twoheadrightarrow"] = "↠";
39 utf82macro["↠"] = "twoheadrightarrow";
40 macro2utf8["sccue"] = "≽";
41 utf82macro["≽"] = "sccue";
42 macro2utf8["NotSquareSuperset"] = "⊐̸";
43 utf82macro["⊐̸"] = "NotSquareSuperset";
44 macro2utf8["ee"] = "ⅇ";
45 utf82macro["ⅇ"] = "ee";
46 macro2utf8["boxbox"] = "⧉";
47 utf82macro["⧉"] = "boxbox";
48 macro2utf8["andand"] = "⩕";
49 utf82macro["⩕"] = "andand";
50 macro2utf8["LeftVectorBar"] = "⥒";
51 utf82macro["⥒"] = "LeftVectorBar";
52 macro2utf8["eg"] = "⪚";
53 utf82macro["⪚"] = "eg";
54 macro2utf8["csc"] = "csc";
55 utf82macro["csc"] = "csc";
56 macro2utf8["NotRightTriangleEqual"] = "⋭";
57 utf82macro["⋭"] = "NotRightTriangleEqual";
58 macro2utf8["filig"] = "fi";
59 utf82macro["fi"] = "filig";
60 macro2utf8["atilde"] = "ã";
61 utf82macro["ã"] = "atilde";
62 macro2utf8["ring"] = "˚";
63 utf82macro["˚"] = "ring";
64 macro2utf8["congdot"] = "⩭";
65 utf82macro["⩭"] = "congdot";
66 macro2utf8["gE"] = "≧";
67 utf82macro["≧"] = "gE";
68 macro2utf8["rcedil"] = "ŗ";
69 utf82macro["ŗ"] = "rcedil";
70 macro2utf8["el"] = "⪙";
71 utf82macro["⪙"] = "el";
72 macro2utf8["HorizontalLine"] = "─";
73 utf82macro["─"] = "HorizontalLine";
74 macro2utf8["incare"] = "℅";
75 utf82macro["℅"] = "incare";
76 macro2utf8["hoarr"] = "⇿";
77 utf82macro["⇿"] = "hoarr";
78 macro2utf8["SOFTcy"] = "Ь";
79 utf82macro["Ь"] = "SOFTcy";
80 macro2utf8["conint"] = "∮";
81 utf82macro["∮"] = "conint";
82 macro2utf8["OverParenthesis"] = "︵";
83 utf82macro["︵"] = "OverParenthesis";
84 macro2utf8["Uogon"] = "Ų";
85 utf82macro["Ų"] = "Uogon";
86 macro2utf8["supne"] = "⊋";
87 utf82macro["⊋"] = "supne";
88 macro2utf8["num"] = "#";
89 utf82macro["#"] = "num";
90 macro2utf8["zcy"] = "з";
91 utf82macro["з"] = "zcy";
92 macro2utf8["Hfr"] = "ℌ";
93 utf82macro["ℌ"] = "Hfr";
94 macro2utf8["dtri"] = "▿";
95 utf82macro["▿"] = "dtri";
96 macro2utf8["FilledSmallSquare"] = "◾";
97 utf82macro["◾"] = "FilledSmallSquare";
98 macro2utf8["SucceedsEqual"] = "≽";
99 utf82macro["≽"] = "SucceedsEqual";
100 macro2utf8["leftthreetimes"] = "⋋";
101 utf82macro["⋋"] = "leftthreetimes";
102 macro2utf8["ycirc"] = "ŷ";
103 utf82macro["ŷ"] = "ycirc";
104 macro2utf8["sqcup"] = "⊔";
105 utf82macro["⊔"] = "sqcup";
106 macro2utf8["DoubleLeftArrow"] = "⇐";
107 utf82macro["⇐"] = "DoubleLeftArrow";
108 macro2utf8["gtrless"] = "≷";
109 utf82macro["≷"] = "gtrless";
110 macro2utf8["ge"] = "≥";
111 utf82macro["≥"] = "ge";
112 macro2utf8["Product"] = "∏";
113 utf82macro["∏"] = "Product";
114 macro2utf8["NotExists"] = "∄";
115 utf82macro["∄"] = "NotExists";
116 macro2utf8["gg"] = "≫";
117 utf82macro["≫"] = "gg";
118 macro2utf8["curlyvee"] = "⋎";
119 utf82macro["⋎"] = "curlyvee";
120 macro2utf8["ntrianglerighteq"] = "⋭";
121 utf82macro["⋭"] = "ntrianglerighteq";
122 macro2utf8["Colon"] = "∷";
123 utf82macro["∷"] = "Colon";
124 macro2utf8["rbrke"] = "⦌";
125 utf82macro["⦌"] = "rbrke";
126 macro2utf8["LeftDownVector"] = "⇃";
127 utf82macro["⇃"] = "LeftDownVector";
128 macro2utf8["gl"] = "≷";
129 utf82macro["≷"] = "gl";
130 macro2utf8["lrcorner"] = "⌟";
131 utf82macro["⌟"] = "lrcorner";
132 macro2utf8["mapstodown"] = "↧";
133 utf82macro["↧"] = "mapstodown";
134 macro2utf8["excl"] = "!";
135 utf82macro["!"] = "excl";
136 macro2utf8["cdots"] = "⋯";
137 utf82macro["⋯"] = "cdots";
138 macro2utf8["larr"] = "←";
139 utf82macro["←"] = "larr";
140 macro2utf8["dtdot"] = "⋱";
141 utf82macro["⋱"] = "dtdot";
142 macro2utf8["kgreen"] = "ĸ";
143 utf82macro["ĸ"] = "kgreen";
144 macro2utf8["rtri"] = "▹";
145 utf82macro["▹"] = "rtri";
146 macro2utf8["rbarr"] = "⤍";
147 utf82macro["⤍"] = "rbarr";
148 macro2utf8["ocy"] = "о";
149 utf82macro["о"] = "ocy";
150 macro2utf8["gt"] = ">";
151 utf82macro[">"] = "gt";
152 macro2utf8["DownLeftRightVector"] = "⥐";
153 utf82macro["⥐"] = "DownLeftRightVector";
154 macro2utf8["cup"] = "∪";
155 utf82macro["∪"] = "cup";
156 macro2utf8["updownarrow"] = "↕";
157 utf82macro["↕"] = "updownarrow";
158 macro2utf8["Imacr"] = "Ī";
159 utf82macro["Ī"] = "Imacr";
160 macro2utf8["cross"] = "✗";
161 utf82macro["✗"] = "cross";
162 macro2utf8["Acirc"] = "Â";
163 utf82macro["Â"] = "Acirc";
164 macro2utf8["lvertneqq"] = "≨︀";
165 utf82macro["≨︀"] = "lvertneqq";
166 macro2utf8["ccaps"] = "⩍";
167 utf82macro["⩍"] = "ccaps";
168 macro2utf8["NotLeftTriangleEqual"] = "⋬";
169 utf82macro["⋬"] = "NotLeftTriangleEqual";
170 macro2utf8["IJlig"] = "IJ";
171 utf82macro["IJ"] = "IJlig";
172 macro2utf8["boxplus"] = "⊞";
173 utf82macro["⊞"] = "boxplus";
174 macro2utf8["epsilon"] = "ϵ";
175 utf82macro["ϵ"] = "epsilon";
176 macro2utf8["zfr"] = "𝔷";
177 utf82macro["𝔷"] = "zfr";
178 macro2utf8["late"] = "⪭";
179 utf82macro["⪭"] = "late";
180 macro2utf8["ic"] = "​";
181 utf82macro["​"] = "ic";
182 macro2utf8["lrhar"] = "⇋";
183 utf82macro["⇋"] = "lrhar";
184 macro2utf8["gsim"] = "≳";
185 utf82macro["≳"] = "gsim";
186 macro2utf8["inf"] = "inf";
187 utf82macro["inf"] = "inf";
188 macro2utf8["top"] = "⊤";
189 utf82macro["⊤"] = "top";
190 macro2utf8["odsold"] = "⦼";
191 utf82macro["⦼"] = "odsold";
192 macro2utf8["circlearrowright"] = "↻";
193 utf82macro["↻"] = "circlearrowright";
194 macro2utf8["rtimes"] = "⋊";
195 utf82macro["⋊"] = "rtimes";
196 macro2utf8["ii"] = "ⅈ";
197 utf82macro["ⅈ"] = "ii";
198 macro2utf8["DoubleRightTee"] = "⊨";
199 utf82macro["⊨"] = "DoubleRightTee";
200 macro2utf8["dcy"] = "д";
201 utf82macro["д"] = "dcy";
202 macro2utf8["boxdL"] = "╕";
203 utf82macro["╕"] = "boxdL";
204 macro2utf8["duhar"] = "⥯";
205 utf82macro["⥯"] = "duhar";
206 macro2utf8["vert"] = "|";
207 utf82macro["|"] = "vert";
208 macro2utf8["sacute"] = "ś";
209 utf82macro["ś"] = "sacute";
210 macro2utf8["in"] = "∈";
211 utf82macro["∈"] = "in";
212 macro2utf8["Assign"] = "≔";
213 utf82macro["≔"] = "Assign";
214 macro2utf8["nsim"] = "≁";
215 utf82macro["≁"] = "nsim";
216 macro2utf8["boxdR"] = "╒";
217 utf82macro["╒"] = "boxdR";
218 macro2utf8["o"] = "ο";
219 utf82macro["ο"] = "o";
220 macro2utf8["radic"] = "√";
221 utf82macro["√"] = "radic";
222 macro2utf8["it"] = "⁢";
223 utf82macro["⁢"] = "it";
224 macro2utf8["int"] = "∫";
225 utf82macro["∫"] = "int";
226 macro2utf8["cwint"] = "∱";
227 utf82macro["∱"] = "cwint";
228 macro2utf8["ForAll"] = "∀";
229 utf82macro["∀"] = "ForAll";
230 macro2utf8["simplus"] = "⨤";
231 utf82macro["⨤"] = "simplus";
232 macro2utf8["isindot"] = "⋵";
233 utf82macro["⋵"] = "isindot";
234 macro2utf8["rightthreetimes"] = "⋌";
235 utf82macro["⋌"] = "rightthreetimes";
236 macro2utf8["supseteqq"] = "⊇";
237 utf82macro["⊇"] = "supseteqq";
238 macro2utf8["bnot"] = "⌐";
239 utf82macro["⌐"] = "bnot";
240 macro2utf8["rppolint"] = "⨒";
241 utf82macro["⨒"] = "rppolint";
242 macro2utf8["def"] = "≝";
243 utf82macro["≝"] = "def";
244 macro2utf8["TScy"] = "Ц";
245 utf82macro["Ц"] = "TScy";
246 macro2utf8["lE"] = "≦";
247 utf82macro["≦"] = "lE";
248 macro2utf8["ffilig"] = "ffi";
249 utf82macro["ffi"] = "ffilig";
250 macro2utf8["deg"] = "deg";
251 utf82macro["deg"] = "deg";
252 macro2utf8["{"] = "{";
253 utf82macro["{"] = "{";
254 macro2utf8["RightVector"] = "⇀";
255 utf82macro["⇀"] = "RightVector";
256 macro2utf8["ofr"] = "𝔬";
257 utf82macro["𝔬"] = "ofr";
258 macro2utf8["|"] = "|";
259 utf82macro["|"] = "|";
260 macro2utf8["liminf"] = "liminf";
261 utf82macro["liminf"] = "liminf";
262 macro2utf8["}"] = "}";
263 utf82macro["}"] = "}";
264 macro2utf8["LeftUpTeeVector"] = "⥠";
265 utf82macro["⥠"] = "LeftUpTeeVector";
266 macro2utf8["scirc"] = "ŝ";
267 utf82macro["ŝ"] = "scirc";
268 macro2utf8["scedil"] = "ş";
269 utf82macro["ş"] = "scedil";
270 macro2utf8["ufisht"] = "⥾";
271 utf82macro["⥾"] = "ufisht";
272 macro2utf8["LeftUpDownVector"] = "⥑";
273 utf82macro["⥑"] = "LeftUpDownVector";
274 macro2utf8["questeq"] = "≟";
275 utf82macro["≟"] = "questeq";
276 macro2utf8["leftarrow"] = "←";
277 utf82macro["←"] = "leftarrow";
278 macro2utf8["Ycy"] = "Ы";
279 utf82macro["Ы"] = "Ycy";
280 macro2utf8["Coproduct"] = "∐";
281 utf82macro["∐"] = "Coproduct";
282 macro2utf8["det"] = "det";
283 utf82macro["det"] = "det";
284 macro2utf8["boxdl"] = "┐";
285 utf82macro["┐"] = "boxdl";
286 macro2utf8["Aopf"] = "𝔸";
287 utf82macro["𝔸"] = "Aopf";
288 macro2utf8["srarr"] = "→︀";
289 utf82macro["→︀"] = "srarr";
290 macro2utf8["lbrke"] = "⦋";
291 utf82macro["⦋"] = "lbrke";
292 macro2utf8["boxdr"] = "┌";
293 utf82macro["┌"] = "boxdr";
294 macro2utf8["Ntilde"] = "Ñ";
295 utf82macro["Ñ"] = "Ntilde";
296 macro2utf8["gnap"] = "⪊";
297 utf82macro["⪊"] = "gnap";
298 macro2utf8["Cap"] = "⋒";
299 utf82macro["⋒"] = "Cap";
300 macro2utf8["swarhk"] = "⤦";
301 utf82macro["⤦"] = "swarhk";
302 macro2utf8["ogt"] = "⧁";
303 utf82macro["⧁"] = "ogt";
304 macro2utf8["emptyset"] = "∅︀";
305 utf82macro["∅︀"] = "emptyset";
306 macro2utf8["harrw"] = "↭";
307 utf82macro["↭"] = "harrw";
308 macro2utf8["lbarr"] = "⤌";
309 utf82macro["⤌"] = "lbarr";
310 macro2utf8["Tilde"] = "∼";
311 utf82macro["∼"] = "Tilde";
312 macro2utf8["delta"] = "δ";
313 utf82macro["δ"] = "delta";
314 macro2utf8["Hopf"] = "ℍ";
315 utf82macro["ℍ"] = "Hopf";
316 macro2utf8["dfr"] = "𝔡";
317 utf82macro["𝔡"] = "dfr";
318 macro2utf8["le"] = "≤";
319 utf82macro["≤"] = "le";
320 macro2utf8["lg"] = "lg";
321 utf82macro["lg"] = "lg";
322 macro2utf8["ohm"] = "Ω";
323 utf82macro["Ω"] = "ohm";
324 macro2utf8["Jsercy"] = "Ј";
325 utf82macro["Ј"] = "Jsercy";
326 macro2utf8["quaternions"] = "ℍ";
327 utf82macro["ℍ"] = "quaternions";
328 macro2utf8["DoubleLongLeftArrow"] = "";
329 utf82macro[""] = "DoubleLongLeftArrow";
330 macro2utf8["Ncy"] = "Н";
331 utf82macro["Н"] = "Ncy";
332 macro2utf8["nabla"] = "∇";
333 utf82macro["∇"] = "nabla";
334 macro2utf8["ltcir"] = "⩹";
335 utf82macro["⩹"] = "ltcir";
336 macro2utf8["ll"] = "≪";
337 utf82macro["≪"] = "ll";
338 macro2utf8["ln"] = "ln";
339 utf82macro["ln"] = "ln";
340 macro2utf8["rmoust"] = "⎱";
341 utf82macro["⎱"] = "rmoust";
342 macro2utf8["Oopf"] = "𝕆";
343 utf82macro["𝕆"] = "Oopf";
344 macro2utf8["nbsp"] = " ";
345 utf82macro[" "] = "nbsp";
346 macro2utf8["Kcedil"] = "Ķ";
347 utf82macro["Ķ"] = "Kcedil";
348 macro2utf8["vdots"] = "⋮";
349 utf82macro["⋮"] = "vdots";
350 macro2utf8["NotLessTilde"] = "≴";
351 utf82macro["≴"] = "NotLessTilde";
352 macro2utf8["lt"] = "<";
353 utf82macro["<"] = "lt";
354 macro2utf8["djcy"] = "ђ";
355 utf82macro["ђ"] = "djcy";
356 macro2utf8["DownRightTeeVector"] = "⥟";
357 utf82macro["⥟"] = "DownRightTeeVector";
358 macro2utf8["Ograve"] = "Ò";
359 utf82macro["Ò"] = "Ograve";
360 macro2utf8["boxhD"] = "╥";
361 utf82macro["╥"] = "boxhD";
362 macro2utf8["nsime"] = "≄";
363 utf82macro["≄"] = "nsime";
364 macro2utf8["egsdot"] = "⪘";
365 utf82macro["⪘"] = "egsdot";
366 macro2utf8["mDDot"] = "∺";
367 utf82macro["∺"] = "mDDot";
368 macro2utf8["bigodot"] = "⊙";
369 utf82macro["⊙"] = "bigodot";
370 macro2utf8["Vopf"] = "𝕍";
371 utf82macro["𝕍"] = "Vopf";
372 macro2utf8["looparrowright"] = "↬";
373 utf82macro["↬"] = "looparrowright";
374 macro2utf8["yucy"] = "ю";
375 utf82macro["ю"] = "yucy";
376 macro2utf8["trade"] = "™";
377 utf82macro["™"] = "trade";
378 macro2utf8["Yfr"] = "𝔜";
379 utf82macro["𝔜"] = "Yfr";
380 macro2utf8["kjcy"] = "ќ";
381 utf82macro["ќ"] = "kjcy";
382 macro2utf8["mp"] = "∓";
383 utf82macro["∓"] = "mp";
384 macro2utf8["leftrightarrows"] = "⇆";
385 utf82macro["⇆"] = "leftrightarrows";
386 macro2utf8["uharl"] = "↿";
387 utf82macro["↿"] = "uharl";
388 macro2utf8["ncap"] = "⩃";
389 utf82macro["⩃"] = "ncap";
390 macro2utf8["Iogon"] = "Į";
391 utf82macro["Į"] = "Iogon";
392 macro2utf8["NotSubset"] = "⊄";
393 utf82macro["⊄"] = "NotSubset";
394 macro2utf8["Bumpeq"] = "≎";
395 utf82macro["≎"] = "Bumpeq";
396 macro2utf8["mu"] = "μ";
397 utf82macro["μ"] = "mu";
398 macro2utf8["FilledVerySmallSquare"] = "";
399 utf82macro[""] = "FilledVerySmallSquare";
400 macro2utf8["breve"] = "˘";
401 utf82macro["˘"] = "breve";
402 macro2utf8["boxhU"] = "╨";
403 utf82macro["╨"] = "boxhU";
404 macro2utf8["Sigma"] = "Σ";
405 utf82macro["Σ"] = "Sigma";
406 macro2utf8["uharr"] = "↾";
407 utf82macro["↾"] = "uharr";
408 macro2utf8["xrArr"] = "";
409 utf82macro[""] = "xrArr";
410 macro2utf8["ne"] = "≠";
411 utf82macro["≠"] = "ne";
412 macro2utf8["oS"] = "Ⓢ";
413 utf82macro["Ⓢ"] = "oS";
414 macro2utf8["xodot"] = "⊙";
415 utf82macro["⊙"] = "xodot";
416 macro2utf8["ni"] = "∋";
417 utf82macro["∋"] = "ni";
418 macro2utf8["mdash"] = "—";
419 utf82macro["—"] = "mdash";
420 macro2utf8["Verbar"] = "‖";
421 utf82macro["‖"] = "Verbar";
422 macro2utf8["die"] = "¨";
423 utf82macro["¨"] = "die";
424 macro2utf8["veebar"] = "⊻";
425 utf82macro["⊻"] = "veebar";
426 macro2utf8["UpArrowBar"] = "⤒";
427 utf82macro["⤒"] = "UpArrowBar";
428 macro2utf8["Ncaron"] = "Ň";
429 utf82macro["Ň"] = "Ncaron";
430 macro2utf8["RightArrowBar"] = "⇥";
431 utf82macro["⇥"] = "RightArrowBar";
432 macro2utf8["LongLeftArrow"] = "";
433 utf82macro[""] = "LongLeftArrow";
434 macro2utf8["rceil"] = "⌉";
435 utf82macro["⌉"] = "rceil";
436 macro2utf8["LeftDownVectorBar"] = "⥙";
437 utf82macro["⥙"] = "LeftDownVectorBar";
438 macro2utf8["umacr"] = "ū";
439 utf82macro["ū"] = "umacr";
440 macro2utf8["Hacek"] = "ˇ";
441 utf82macro["ˇ"] = "Hacek";
442 macro2utf8["odblac"] = "ő";
443 utf82macro["ő"] = "odblac";
444 macro2utf8["lmidot"] = "ŀ";
445 utf82macro["ŀ"] = "lmidot";
446 macro2utf8["dopf"] = "𝕕";
447 utf82macro["𝕕"] = "dopf";
448 macro2utf8["boxhd"] = "┬";
449 utf82macro["┬"] = "boxhd";
450 macro2utf8["dim"] = "dim";
451 utf82macro["dim"] = "dim";
452 macro2utf8["vnsub"] = "⊄";
453 utf82macro["⊄"] = "vnsub";
454 macro2utf8["Bscr"] = "ℬ";
455 utf82macro["ℬ"] = "Bscr";
456 macro2utf8["plussim"] = "⨦";
457 utf82macro["⨦"] = "plussim";
458 macro2utf8["doublebarwedge"] = "⌆";
459 utf82macro["⌆"] = "doublebarwedge";
460 macro2utf8["nu"] = "ν";
461 utf82macro["ν"] = "nu";
462 macro2utf8["eqcolon"] = "≕";
463 utf82macro["≕"] = "eqcolon";
464 macro2utf8["luruhar"] = "⥦";
465 utf82macro["⥦"] = "luruhar";
466 macro2utf8["Nfr"] = "𝔑";
467 utf82macro["𝔑"] = "Nfr";
468 macro2utf8["preceq"] = "⪯";
469 utf82macro["⪯"] = "preceq";
470 macro2utf8["LeftTee"] = "⊣";
471 utf82macro["⊣"] = "LeftTee";
472 macro2utf8["div"] = "÷";
473 utf82macro["÷"] = "div";
474 macro2utf8["nVDash"] = "⊯";
475 utf82macro["⊯"] = "nVDash";
476 macro2utf8["kopf"] = "𝕜";
477 utf82macro["𝕜"] = "kopf";
478 macro2utf8["Iscr"] = "ℐ";
479 utf82macro["ℐ"] = "Iscr";
480 macro2utf8["vnsup"] = "⊅";
481 utf82macro["⊅"] = "vnsup";
482 macro2utf8["gneq"] = "≩";
483 utf82macro["≩"] = "gneq";
484 macro2utf8["backepsilon"] = "϶";
485 utf82macro["϶"] = "backepsilon";
486 macro2utf8["boxhu"] = "┴";
487 utf82macro["┴"] = "boxhu";
488 macro2utf8["ominus"] = "⊖";
489 utf82macro["⊖"] = "ominus";
490 macro2utf8["or"] = "∨";
491 utf82macro["∨"] = "or";
492 macro2utf8["lesdot"] = "⩿";
493 utf82macro["⩿"] = "lesdot";
494 macro2utf8["RightVectorBar"] = "⥓";
495 utf82macro["⥓"] = "RightVectorBar";
496 macro2utf8["tcedil"] = "ţ";
497 utf82macro["ţ"] = "tcedil";
498 macro2utf8["hstrok"] = "ħ";
499 utf82macro["ħ"] = "hstrok";
500 macro2utf8["nrarrc"] = "⤳̸";
501 utf82macro["⤳̸"] = "nrarrc";
502 macro2utf8["ropf"] = "𝕣";
503 utf82macro["𝕣"] = "ropf";
504 macro2utf8["diamond"] = "⋄";
505 utf82macro["⋄"] = "diamond";
506 macro2utf8["smid"] = "∣︀";
507 utf82macro["∣︀"] = "smid";
508 macro2utf8["nltri"] = "⋪";
509 utf82macro["⋪"] = "nltri";
510 macro2utf8["Pscr"] = "𝒫";
511 utf82macro["𝒫"] = "Pscr";
512 macro2utf8["vartheta"] = "ϑ";
513 utf82macro["ϑ"] = "vartheta";
514 macro2utf8["therefore"] = "∴";
515 utf82macro["∴"] = "therefore";
516 macro2utf8["pi"] = "π";
517 utf82macro["π"] = "pi";
518 macro2utf8["ntrianglelefteq"] = "⋬";
519 utf82macro["⋬"] = "ntrianglelefteq";
520 macro2utf8["nearrow"] = "↗";
521 utf82macro["↗"] = "nearrow";
522 macro2utf8["pm"] = "±";
523 utf82macro["±"] = "pm";
524 macro2utf8["natural"] = "♮";
525 utf82macro["♮"] = "natural";
526 macro2utf8["ucy"] = "у";
527 utf82macro["у"] = "ucy";
528 macro2utf8["olt"] = "⧀";
529 utf82macro["⧀"] = "olt";
530 macro2utf8["Cfr"] = "ℭ";
531 utf82macro["ℭ"] = "Cfr";
532 macro2utf8["yopf"] = "𝕪";
533 utf82macro["𝕪"] = "yopf";
534 macro2utf8["Otilde"] = "Õ";
535 utf82macro["Õ"] = "Otilde";
536 macro2utf8["ntriangleleft"] = "⋪";
537 utf82macro["⋪"] = "ntriangleleft";
538 macro2utf8["pr"] = "≺";
539 utf82macro["≺"] = "pr";
540 macro2utf8["Wscr"] = "𝒲";
541 utf82macro["𝒲"] = "Wscr";
542 macro2utf8["midcir"] = "⫰";
543 utf82macro["⫰"] = "midcir";
544 macro2utf8["Lacute"] = "Ĺ";
545 utf82macro["Ĺ"] = "Lacute";
546 macro2utf8["DoubleDot"] = "¨";
547 utf82macro["¨"] = "DoubleDot";
548 macro2utf8["Tstrok"] = "Ŧ";
549 utf82macro["Ŧ"] = "Tstrok";
550 macro2utf8["nrarrw"] = "↝̸";
551 utf82macro["↝̸"] = "nrarrw";
552 macro2utf8["uArr"] = "⇑";
553 utf82macro["⇑"] = "uArr";
554 macro2utf8["nLtv"] = "≪̸︀";
555 utf82macro["≪̸︀"] = "nLtv";
556 macro2utf8["rangle"] = "〉";
557 utf82macro["〉"] = "rangle";
558 macro2utf8["olcir"] = "⦾";
559 utf82macro["⦾"] = "olcir";
560 macro2utf8["Auml"] = "Ä";
561 utf82macro["Ä"] = "Auml";
562 macro2utf8["Succeeds"] = "≻";
563 utf82macro["≻"] = "Succeeds";
564 macro2utf8["DoubleLongLeftRightArrow"] = "";
565 utf82macro[""] = "DoubleLongLeftRightArrow";
566 macro2utf8["TSHcy"] = "Ћ";
567 utf82macro["Ћ"] = "TSHcy";
568 macro2utf8["gammad"] = "Ϝ";
569 utf82macro["Ϝ"] = "gammad";
570 macro2utf8["epsiv"] = "ɛ";
571 utf82macro["ɛ"] = "epsiv";
572 macro2utf8["notinva"] = "∉̸";
573 utf82macro["∉̸"] = "notinva";
574 macro2utf8["notinvb"] = "⋷";
575 utf82macro["⋷"] = "notinvb";
576 macro2utf8["eqvparsl"] = "⧥";
577 utf82macro["⧥"] = "eqvparsl";
578 macro2utf8["notinvc"] = "⋶";
579 utf82macro["⋶"] = "notinvc";
580 macro2utf8["nsubE"] = "⊈";
581 utf82macro["⊈"] = "nsubE";
582 macro2utf8["supplus"] = "⫀";
583 utf82macro["⫀"] = "supplus";
584 macro2utf8["RightUpDownVector"] = "⥏";
585 utf82macro["⥏"] = "RightUpDownVector";
586 macro2utf8["Tab"] = "\t";
587 utf82macro["\t"] = "Tab";
588 macro2utf8["Lcedil"] = "Ļ";
589 utf82macro["Ļ"] = "Lcedil";
590 macro2utf8["backslash"] = "\\";
591 utf82macro["\\"] = "backslash";
592 macro2utf8["pointint"] = "⨕";
593 utf82macro["⨕"] = "pointint";
594 macro2utf8["jcy"] = "й";
595 utf82macro["й"] = "jcy";
596 macro2utf8["iocy"] = "ё";
597 utf82macro["ё"] = "iocy";
598 macro2utf8["escr"] = "ℯ";
599 utf82macro["ℯ"] = "escr";
600 macro2utf8["submult"] = "⫁";
601 utf82macro["⫁"] = "submult";
602 macro2utf8["iiota"] = "℩";
603 utf82macro["℩"] = "iiota";
604 macro2utf8["lceil"] = "⌈";
605 utf82macro["⌈"] = "lceil";
606 macro2utf8["omacr"] = "ō";
607 utf82macro["ō"] = "omacr";
608 macro2utf8["gneqq"] = "≩";
609 utf82macro["≩"] = "gneqq";
610 macro2utf8["gcirc"] = "ĝ";
611 utf82macro["ĝ"] = "gcirc";
612 macro2utf8["dotsquare"] = "⊡";
613 utf82macro["⊡"] = "dotsquare";
614 macro2utf8["ccaron"] = "č";
615 utf82macro["č"] = "ccaron";
616 macro2utf8["Square"] = "□";
617 utf82macro["□"] = "Square";
618 macro2utf8["RightDownTeeVector"] = "⥝";
619 utf82macro["⥝"] = "RightDownTeeVector";
620 macro2utf8["Ouml"] = "Ö";
621 utf82macro["Ö"] = "Ouml";
622 macro2utf8["lurdshar"] = "⥊";
623 utf82macro["⥊"] = "lurdshar";
624 macro2utf8["SuchThat"] = "∋";
625 utf82macro["∋"] = "SuchThat";
626 macro2utf8["setminus"] = "∖";
627 utf82macro["∖"] = "setminus";
628 macro2utf8["lscr"] = "ℓ";
629 utf82macro["ℓ"] = "lscr";
630 macro2utf8["LessLess"] = "⪡";
631 utf82macro["⪡"] = "LessLess";
632 macro2utf8["Sub"] = "⋐";
633 utf82macro["⋐"] = "Sub";
634 macro2utf8["sc"] = "≻";
635 utf82macro["≻"] = "sc";
636 macro2utf8["rx"] = "℞";
637 utf82macro["℞"] = "rx";
638 macro2utf8["RightFloor"] = "⌋";
639 utf82macro["⌋"] = "RightFloor";
640 macro2utf8["blacksquare"] = "▪";
641 utf82macro["▪"] = "blacksquare";
642 macro2utf8["ufr"] = "𝔲";
643 utf82macro["𝔲"] = "ufr";
644 macro2utf8["block"] = "█";
645 utf82macro["█"] = "block";
646 macro2utf8["dots"] = "…";
647 utf82macro["…"] = "dots";
648 macro2utf8["nvsim"] = "≁̸";
649 utf82macro["≁̸"] = "nvsim";
650 macro2utf8["caret"] = "⁁";
651 utf82macro["⁁"] = "caret";
652 macro2utf8["demptyv"] = "⦱";
653 utf82macro["⦱"] = "demptyv";
654 macro2utf8["Sum"] = "∑";
655 utf82macro["∑"] = "Sum";
656 macro2utf8["sscr"] = "𝓈";
657 utf82macro["𝓈"] = "sscr";
658 macro2utf8["nsube"] = "⊈";
659 utf82macro["⊈"] = "nsube";
660 macro2utf8["Sup"] = "⋑";
661 utf82macro["⋑"] = "Sup";
662 macro2utf8["ccupssm"] = "⩐";
663 utf82macro["⩐"] = "ccupssm";
664 macro2utf8["Because"] = "∵";
665 utf82macro["∵"] = "Because";
666 macro2utf8["harrcir"] = "⥈";
667 utf82macro["⥈"] = "harrcir";
668 macro2utf8["capbrcup"] = "⩉";
669 utf82macro["⩉"] = "capbrcup";
670 macro2utf8["RightUpVectorBar"] = "⥔";
671 utf82macro["⥔"] = "RightUpVectorBar";
672 macro2utf8["caps"] = "∩︀";
673 utf82macro["∩︀"] = "caps";
674 macro2utf8["ohbar"] = "⦵";
675 utf82macro["⦵"] = "ohbar";
676 macro2utf8["laemptyv"] = "⦴";
677 utf82macro["⦴"] = "laemptyv";
678 macro2utf8["uacute"] = "ú";
679 utf82macro["ú"] = "uacute";
680 macro2utf8["straightphi"] = "φ";
681 utf82macro["φ"] = "straightphi";
682 macro2utf8["RightDoubleBracket"] = "〛";
683 utf82macro["〛"] = "RightDoubleBracket";
684 macro2utf8["zscr"] = "𝓏";
685 utf82macro["𝓏"] = "zscr";
686 macro2utf8["uogon"] = "ų";
687 utf82macro["ų"] = "uogon";
688 macro2utf8["Uarr"] = "↟";
689 utf82macro["↟"] = "Uarr";
690 macro2utf8["nsucc"] = "⊁";
691 utf82macro["⊁"] = "nsucc";
692 macro2utf8["RBarr"] = "⤐";
693 utf82macro["⤐"] = "RBarr";
694 macro2utf8["NotRightTriangleBar"] = "⧐̸";
695 utf82macro["⧐̸"] = "NotRightTriangleBar";
696 macro2utf8["to"] = "→";
697 utf82macro["→"] = "to";
698 macro2utf8["rpar"] = ")";
699 utf82macro[")"] = "rpar";
700 macro2utf8["rdsh"] = "↳";
701 utf82macro["↳"] = "rdsh";
702 macro2utf8["jfr"] = "𝔧";
703 utf82macro["𝔧"] = "jfr";
704 macro2utf8["ldquor"] = "„";
705 utf82macro["„"] = "ldquor";
706 macro2utf8["bsime"] = "⋍";
707 utf82macro["⋍"] = "bsime";
708 macro2utf8["lAtail"] = "⤛";
709 utf82macro["⤛"] = "lAtail";
710 macro2utf8["Hcirc"] = "Ĥ";
711 utf82macro["Ĥ"] = "Hcirc";
712 macro2utf8["aacute"] = "á";
713 utf82macro["á"] = "aacute";
714 macro2utf8["dot"] = "˙";
715 utf82macro["˙"] = "dot";
716 macro2utf8["Tcy"] = "Т";
717 utf82macro["Т"] = "Tcy";
718 macro2utf8["nsub"] = "⊄";
719 utf82macro["⊄"] = "nsub";
720 macro2utf8["kappa"] = "κ";
721 utf82macro["κ"] = "kappa";
722 macro2utf8["ovbar"] = "⌽";
723 utf82macro["⌽"] = "ovbar";
724 macro2utf8["shcy"] = "ш";
725 utf82macro["ш"] = "shcy";
726 macro2utf8["kappav"] = "ϰ";
727 utf82macro["ϰ"] = "kappav";
728 macro2utf8["ropar"] = "〙";
729 utf82macro["〙"] = "ropar";
730 macro2utf8["gtcc"] = "⪧";
731 utf82macro["⪧"] = "gtcc";
732 macro2utf8["ecolon"] = "≕";
733 utf82macro["≕"] = "ecolon";
734 macro2utf8["circledast"] = "⊛";
735 utf82macro["⊛"] = "circledast";
736 macro2utf8["colon"] = ":";
737 utf82macro[":"] = "colon";
738 macro2utf8["timesbar"] = "⨱";
739 utf82macro["⨱"] = "timesbar";
740 macro2utf8["precnsim"] = "⋨";
741 utf82macro["⋨"] = "precnsim";
742 macro2utf8["ord"] = "⩝";
743 utf82macro["⩝"] = "ord";
744 macro2utf8["real"] = "ℜ";
745 utf82macro["ℜ"] = "real";
746 macro2utf8["nexists"] = "∄";
747 utf82macro["∄"] = "nexists";
748 macro2utf8["nsup"] = "⊅";
749 utf82macro["⊅"] = "nsup";
750 macro2utf8["zhcy"] = "ж";
751 utf82macro["ж"] = "zhcy";
752 macro2utf8["imacr"] = "ī";
753 utf82macro["ī"] = "imacr";
754 macro2utf8["egrave"] = "è";
755 utf82macro["è"] = "egrave";
756 macro2utf8["acirc"] = "â";
757 utf82macro["â"] = "acirc";
758 macro2utf8["grave"] = "`";
759 utf82macro["`"] = "grave";
760 macro2utf8["biguplus"] = "⊎";
761 utf82macro["⊎"] = "biguplus";
762 macro2utf8["HumpEqual"] = "≏";
763 utf82macro["≏"] = "HumpEqual";
764 macro2utf8["GreaterSlantEqual"] = "⩾";
765 utf82macro["⩾"] = "GreaterSlantEqual";
766 macro2utf8["capand"] = "⩄";
767 utf82macro["⩄"] = "capand";
768 macro2utf8["yuml"] = "ÿ";
769 utf82macro["ÿ"] = "yuml";
770 macro2utf8["orv"] = "⩛";
771 utf82macro["⩛"] = "orv";
772 macro2utf8["Icy"] = "И";
773 utf82macro["И"] = "Icy";
774 macro2utf8["rightharpoondown"] = "⇁";
775 utf82macro["⇁"] = "rightharpoondown";
776 macro2utf8["upsilon"] = "υ";
777 utf82macro["υ"] = "upsilon";
778 macro2utf8["preccurlyeq"] = "≼";
779 utf82macro["≼"] = "preccurlyeq";
780 macro2utf8["ShortUpArrow"] = "⌃︀";
781 utf82macro["⌃︀"] = "ShortUpArrow";
782 macro2utf8["searhk"] = "⤥";
783 utf82macro["⤥"] = "searhk";
784 macro2utf8["commat"] = "@";
785 utf82macro["@"] = "commat";
786 macro2utf8["Sqrt"] = "√";
787 utf82macro["√"] = "Sqrt";
788 macro2utf8["wp"] = "℘";
789 utf82macro["℘"] = "wp";
790 macro2utf8["succnapprox"] = "⋩";
791 utf82macro["⋩"] = "succnapprox";
792 macro2utf8["wr"] = "≀";
793 utf82macro["≀"] = "wr";
794 macro2utf8["NotTildeTilde"] = "≉";
795 utf82macro["≉"] = "NotTildeTilde";
796 macro2utf8["dcaron"] = "ď";
797 utf82macro["ď"] = "dcaron";
798 macro2utf8["Tfr"] = "𝔗";
799 utf82macro["𝔗"] = "Tfr";
800 macro2utf8["bigwedge"] = "⋀";
801 utf82macro["⋀"] = "bigwedge";
802 macro2utf8["DScy"] = "Ѕ";
803 utf82macro["Ѕ"] = "DScy";
804 macro2utf8["nrtrie"] = "⋭";
805 utf82macro["⋭"] = "nrtrie";
806 macro2utf8["esim"] = "≂";
807 utf82macro["≂"] = "esim";
808 macro2utf8["Not"] = "⫬";
809 utf82macro["⫬"] = "Not";
810 macro2utf8["xmap"] = "";
811 utf82macro[""] = "xmap";
812 macro2utf8["rect"] = "▭";
813 utf82macro["▭"] = "rect";
814 macro2utf8["Fouriertrf"] = "ℱ";
815 utf82macro["ℱ"] = "Fouriertrf";
816 macro2utf8["xi"] = "ξ";
817 utf82macro["ξ"] = "xi";
818 macro2utf8["NotTilde"] = "≁";
819 utf82macro["≁"] = "NotTilde";
820 macro2utf8["gbreve"] = "ğ";
821 utf82macro["ğ"] = "gbreve";
822 macro2utf8["par"] = "∥";
823 utf82macro["∥"] = "par";
824 macro2utf8["ddots"] = "⋱";
825 utf82macro["⋱"] = "ddots";
826 macro2utf8["nhArr"] = "⇎";
827 utf82macro["⇎"] = "nhArr";
828 macro2utf8["lsim"] = "≲";
829 utf82macro["≲"] = "lsim";
830 macro2utf8["RightCeiling"] = "⌉";
831 utf82macro["⌉"] = "RightCeiling";
832 macro2utf8["nedot"] = "≠︀";
833 utf82macro["≠︀"] = "nedot";
834 macro2utf8["thksim"] = "∼︀";
835 utf82macro["∼︀"] = "thksim";
836 macro2utf8["lEg"] = "⋚";
837 utf82macro["⋚"] = "lEg";
838 macro2utf8["Ifr"] = "ℑ";
839 utf82macro["ℑ"] = "Ifr";
840 macro2utf8["emsp"] = " ";
841 utf82macro[" "] = "emsp";
842 macro2utf8["lopar"] = "〘";
843 utf82macro["〘"] = "lopar";
844 macro2utf8["iiiint"] = "⨌";
845 utf82macro["⨌"] = "iiiint";
846 macro2utf8["straightepsilon"] = "ε";
847 utf82macro["ε"] = "straightepsilon";
848 macro2utf8["intlarhk"] = "⨗";
849 utf82macro["⨗"] = "intlarhk";
850 macro2utf8["image"] = "ℑ";
851 utf82macro["ℑ"] = "image";
852 macro2utf8["sqsubseteq"] = "⊑";
853 utf82macro["⊑"] = "sqsubseteq";
854 macro2utf8["lnapprox"] = "⪉";
855 utf82macro["⪉"] = "lnapprox";
856 macro2utf8["Leftrightarrow"] = "⇔";
857 utf82macro["⇔"] = "Leftrightarrow";
858 macro2utf8["cemptyv"] = "⦲";
859 utf82macro["⦲"] = "cemptyv";
860 macro2utf8["alpha"] = "α";
861 utf82macro["α"] = "alpha";
862 macro2utf8["uml"] = "¨";
863 utf82macro["¨"] = "uml";
864 macro2utf8["barwedge"] = "⊼";
865 utf82macro["⊼"] = "barwedge";
866 macro2utf8["KHcy"] = "Х";
867 utf82macro["Х"] = "KHcy";
868 macro2utf8["tilde"] = "˜";
869 utf82macro["˜"] = "tilde";
870 macro2utf8["Superset"] = "⊃";
871 utf82macro["⊃"] = "Superset";
872 macro2utf8["gesles"] = "⪔";
873 utf82macro["⪔"] = "gesles";
874 macro2utf8["bigoplus"] = "⊕";
875 utf82macro["⊕"] = "bigoplus";
876 macro2utf8["boxuL"] = "╛";
877 utf82macro["╛"] = "boxuL";
878 macro2utf8["rbbrk"] = "〕";
879 utf82macro["〕"] = "rbbrk";
880 macro2utf8["nrightarrow"] = "↛";
881 utf82macro["↛"] = "nrightarrow";
882 macro2utf8["hkswarow"] = "⤦";
883 utf82macro["⤦"] = "hkswarow";
884 macro2utf8["DiacriticalDoubleAcute"] = "˝";
885 utf82macro["˝"] = "DiacriticalDoubleAcute";
886 macro2utf8["nbumpe"] = "≏̸";
887 utf82macro["≏̸"] = "nbumpe";
888 macro2utf8["uhblk"] = "▀";
889 utf82macro["▀"] = "uhblk";
890 macro2utf8["NotSupersetEqual"] = "⊉";
891 utf82macro["⊉"] = "NotSupersetEqual";
892 macro2utf8["ntgl"] = "≹";
893 utf82macro["≹"] = "ntgl";
894 macro2utf8["Fopf"] = "𝔽";
895 utf82macro["𝔽"] = "Fopf";
896 macro2utf8["boxuR"] = "╘";
897 utf82macro["╘"] = "boxuR";
898 macro2utf8["swarr"] = "↙";
899 utf82macro["↙"] = "swarr";
900 macro2utf8["nsqsube"] = "⋢";
901 utf82macro["⋢"] = "nsqsube";
902 macro2utf8["pluscir"] = "⨢";
903 utf82macro["⨢"] = "pluscir";
904 macro2utf8["pcy"] = "п";
905 utf82macro["п"] = "pcy";
906 macro2utf8["leqslant"] = "⩽";
907 utf82macro["⩽"] = "leqslant";
908 macro2utf8["lnap"] = "⪉";
909 utf82macro["⪉"] = "lnap";
910 macro2utf8["lthree"] = "⋋";
911 utf82macro["⋋"] = "lthree";
912 macro2utf8["smte"] = "⪬";
913 utf82macro["⪬"] = "smte";
914 macro2utf8["olcross"] = "⦻";
915 utf82macro["⦻"] = "olcross";
916 macro2utf8["nvrArr"] = "⇏";
917 utf82macro["⇏"] = "nvrArr";
918 macro2utf8["andslope"] = "⩘";
919 utf82macro["⩘"] = "andslope";
920 macro2utf8["MediumSpace"] = " ";
921 utf82macro[" "] = "MediumSpace";
922 macro2utf8["boxvH"] = "╪";
923 utf82macro["╪"] = "boxvH";
924 macro2utf8["Nacute"] = "Ń";
925 utf82macro["Ń"] = "Nacute";
926 macro2utf8["nGtv"] = "≫̸︀";
927 utf82macro["≫̸︀"] = "nGtv";
928 macro2utf8["Mopf"] = "𝕄";
929 utf82macro["𝕄"] = "Mopf";
930 macro2utf8["dfisht"] = "⥿";
931 utf82macro["⥿"] = "dfisht";
932 macro2utf8["boxvL"] = "╡";
933 utf82macro["╡"] = "boxvL";
934 macro2utf8["pertenk"] = "‱";
935 utf82macro["‱"] = "pertenk";
936 macro2utf8["NotPrecedes"] = "⊀";
937 utf82macro["⊀"] = "NotPrecedes";
938 macro2utf8["profalar"] = "⌮";
939 utf82macro["⌮"] = "profalar";
940 macro2utf8["roplus"] = "⨮";
941 utf82macro["⨮"] = "roplus";
942 macro2utf8["boxvR"] = "╞";
943 utf82macro["╞"] = "boxvR";
944 macro2utf8["utrif"] = "▴";
945 utf82macro["▴"] = "utrif";
946 macro2utf8["uHar"] = "⥣";
947 utf82macro["⥣"] = "uHar";
948 macro2utf8["nltrie"] = "⋬";
949 utf82macro["⋬"] = "nltrie";
950 macro2utf8["NotNestedGreaterGreater"] = "⒢̸";
951 utf82macro["⒢̸"] = "NotNestedGreaterGreater";
952 macro2utf8["smtes"] = "⪬︀";
953 utf82macro["⪬︀"] = "smtes";
954 macro2utf8["LeftAngleBracket"] = "〈";
955 utf82macro["〈"] = "LeftAngleBracket";
956 macro2utf8["iogon"] = "į";
957 utf82macro["į"] = "iogon";
958 macro2utf8["ExponentialE"] = "ⅇ";
959 utf82macro["ⅇ"] = "ExponentialE";
960 macro2utf8["Topf"] = "𝕋";
961 utf82macro["𝕋"] = "Topf";
962 macro2utf8["GreaterEqual"] = "≥";
963 utf82macro["≥"] = "GreaterEqual";
964 macro2utf8["DownTee"] = "⊤";
965 utf82macro["⊤"] = "DownTee";
966 macro2utf8["boxul"] = "┘";
967 utf82macro["┘"] = "boxul";
968 macro2utf8["wreath"] = "≀";
969 utf82macro["≀"] = "wreath";
970 macro2utf8["sigma"] = "σ";
971 utf82macro["σ"] = "sigma";
972 macro2utf8["ENG"] = "Ŋ";
973 utf82macro["Ŋ"] = "ENG";
974 macro2utf8["Ncedil"] = "Ņ";
975 utf82macro["Ņ"] = "Ncedil";
976 macro2utf8["ecy"] = "э";
977 utf82macro["э"] = "ecy";
978 macro2utf8["nsubset"] = "⊄";
979 utf82macro["⊄"] = "nsubset";
980 macro2utf8["LessFullEqual"] = "≦";
981 utf82macro["≦"] = "LessFullEqual";
982 macro2utf8["bsolb"] = "⧅";
983 utf82macro["⧅"] = "bsolb";
984 macro2utf8["boxur"] = "└";
985 utf82macro["└"] = "boxur";
986 macro2utf8["ThinSpace"] = " ";
987 utf82macro[" "] = "ThinSpace";
988 macro2utf8["supdsub"] = "⫘";
989 utf82macro["⫘"] = "supdsub";
990 macro2utf8["colone"] = "≔";
991 utf82macro["≔"] = "colone";
992 macro2utf8["curren"] = "¤";
993 utf82macro["¤"] = "curren";
994 macro2utf8["boxvh"] = "┼";
995 utf82macro["┼"] = "boxvh";
996 macro2utf8["ecaron"] = "ě";
997 utf82macro["ě"] = "ecaron";
998 macro2utf8["UnderBrace"] = "︸";
999 utf82macro["︸"] = "UnderBrace";
1000 macro2utf8["caron"] = "ˇ";
1001 utf82macro["ˇ"] = "caron";
1002 macro2utf8["ultri"] = "◸";
1003 utf82macro["◸"] = "ultri";
1004 macro2utf8["boxvl"] = "┤";
1005 utf82macro["┤"] = "boxvl";
1006 macro2utf8["scap"] = "≿";
1007 utf82macro["≿"] = "scap";
1008 macro2utf8["boxvr"] = "├";
1009 utf82macro["├"] = "boxvr";
1010 macro2utf8["bopf"] = "𝕓";
1011 utf82macro["𝕓"] = "bopf";
1012 macro2utf8["pfr"] = "𝔭";
1013 utf82macro["𝔭"] = "pfr";
1014 macro2utf8["nspar"] = "∦︀";
1015 utf82macro["∦︀"] = "nspar";
1016 macro2utf8["NegativeMediumSpace"] = " ︀";
1017 utf82macro[" ︀"] = "NegativeMediumSpace";
1018 macro2utf8["simgE"] = "⪠";
1019 utf82macro["⪠"] = "simgE";
1020 macro2utf8["nvDash"] = "⊭";
1021 utf82macro["⊭"] = "nvDash";
1022 macro2utf8["NotGreaterFullEqual"] = "≰";
1023 utf82macro["≰"] = "NotGreaterFullEqual";
1024 macro2utf8["uparrow"] = "↑";
1025 utf82macro["↑"] = "uparrow";
1026 macro2utf8["nsupset"] = "⊅";
1027 utf82macro["⊅"] = "nsupset";
1028 macro2utf8["simeq"] = "≃";
1029 utf82macro["≃"] = "simeq";
1030 macro2utf8["Zcy"] = "З";
1031 utf82macro["З"] = "Zcy";
1032 macro2utf8["RightTriangle"] = "⊳";
1033 utf82macro["⊳"] = "RightTriangle";
1034 macro2utf8["Lang"] = "《";
1035 utf82macro["《"] = "Lang";
1036 macro2utf8["Ucirc"] = "Û";
1037 utf82macro["Û"] = "Ucirc";
1038 macro2utf8["iopf"] = "𝕚";
1039 utf82macro["𝕚"] = "iopf";
1040 macro2utf8["leftrightsquigarrow"] = "↭";
1041 utf82macro["↭"] = "leftrightsquigarrow";
1042 macro2utf8["Gscr"] = "𝒢";
1043 utf82macro["𝒢"] = "Gscr";
1044 macro2utf8["lfloor"] = "⌊";
1045 utf82macro["⌊"] = "lfloor";
1046 macro2utf8["lbbrk"] = "〔";
1047 utf82macro["〔"] = "lbbrk";
1048 macro2utf8["bigvee"] = "⋁";
1049 utf82macro["⋁"] = "bigvee";
1050 macro2utf8["ordf"] = "ª";
1051 utf82macro["ª"] = "ordf";
1052 macro2utf8["rsquo"] = "’";
1053 utf82macro["’"] = "rsquo";
1054 macro2utf8["parallel"] = "∥";
1055 utf82macro["∥"] = "parallel";
1056 macro2utf8["half"] = "½";
1057 utf82macro["½"] = "half";
1058 macro2utf8["supseteq"] = "⊇";
1059 utf82macro["⊇"] = "supseteq";
1060 macro2utf8["ngeqq"] = "≱";
1061 utf82macro["≱"] = "ngeqq";
1062 macro2utf8["popf"] = "𝕡";
1063 utf82macro["𝕡"] = "popf";
1064 macro2utf8["NonBreakingSpace"] = " ";
1065 utf82macro[" "] = "NonBreakingSpace";
1066 macro2utf8["softcy"] = "ь";
1067 utf82macro["ь"] = "softcy";
1068 macro2utf8["ordm"] = "º";
1069 utf82macro["º"] = "ordm";
1070 macro2utf8["Nscr"] = "𝒩";
1071 utf82macro["𝒩"] = "Nscr";
1072 macro2utf8["owns"] = "∋";
1073 utf82macro["∋"] = "owns";
1074 macro2utf8["phi"] = "ϕ";
1075 utf82macro["ϕ"] = "phi";
1076 macro2utf8["efr"] = "𝔢";
1077 utf82macro["𝔢"] = "efr";
1078 macro2utf8["nesear"] = "⤨";
1079 utf82macro["⤨"] = "nesear";
1080 macro2utf8["marker"] = "▮";
1081 utf82macro["▮"] = "marker";
1082 macro2utf8["lneq"] = "≨";
1083 utf82macro["≨"] = "lneq";
1084 macro2utf8["parallet"] = "????";
1085 utf82macro["????"] = "parallet";
1086 macro2utf8["ndash"] = "–";
1087 utf82macro["–"] = "ndash";
1088 macro2utf8["DoubleLeftTee"] = "⫤";
1089 utf82macro["⫤"] = "DoubleLeftTee";
1090 macro2utf8["lArr"] = "⇐";
1091 utf82macro["⇐"] = "lArr";
1092 macro2utf8["becaus"] = "∵";
1093 utf82macro["∵"] = "becaus";
1094 macro2utf8["RightTee"] = "⊢";
1095 utf82macro["⊢"] = "RightTee";
1096 macro2utf8["Ocy"] = "О";
1097 utf82macro["О"] = "Ocy";
1098 macro2utf8["ntlg"] = "≸";
1099 utf82macro["≸"] = "ntlg";
1100 macro2utf8["cacute"] = "ć";
1101 utf82macro["ć"] = "cacute";
1102 macro2utf8["wopf"] = "𝕨";
1103 utf82macro["𝕨"] = "wopf";
1104 macro2utf8["Cup"] = "⋓";
1105 utf82macro["⋓"] = "Cup";
1106 macro2utf8["Uscr"] = "𝒰";
1107 utf82macro["𝒰"] = "Uscr";
1108 macro2utf8["NotHumpEqual"] = "≏̸";
1109 utf82macro["≏̸"] = "NotHumpEqual";
1110 macro2utf8["rnmid"] = "⫮";
1111 utf82macro["⫮"] = "rnmid";
1112 macro2utf8["nsupE"] = "⊉";
1113 utf82macro["⊉"] = "nsupE";
1114 macro2utf8["bemptyv"] = "⦰";
1115 utf82macro["⦰"] = "bemptyv";
1116 macro2utf8["lsqb"] = "[";
1117 utf82macro["["] = "lsqb";
1118 macro2utf8["nrarr"] = "↛";
1119 utf82macro["↛"] = "nrarr";
1120 macro2utf8["egs"] = "⋝";
1121 utf82macro["⋝"] = "egs";
1122 macro2utf8["reals"] = "ℝ";
1123 utf82macro["ℝ"] = "reals";
1124 macro2utf8["CupCap"] = "≍";
1125 utf82macro["≍"] = "CupCap";
1126 macro2utf8["Oacute"] = "Ó";
1127 utf82macro["Ó"] = "Oacute";
1128 macro2utf8["Zfr"] = "ℨ";
1129 utf82macro["ℨ"] = "Zfr";
1130 macro2utf8["ReverseEquilibrium"] = "⇋";
1131 utf82macro["⇋"] = "ReverseEquilibrium";
1132 macro2utf8["ccedil"] = "ç";
1133 utf82macro["ç"] = "ccedil";
1134 macro2utf8["bigtriangleup"] = "△";
1135 utf82macro["△"] = "bigtriangleup";
1136 macro2utf8["piv"] = "ϖ";
1137 utf82macro["ϖ"] = "piv";
1138 macro2utf8["cirscir"] = "⧂";
1139 utf82macro["⧂"] = "cirscir";
1140 macro2utf8["exists"] = "∃";
1141 utf82macro["∃"] = "exists";
1142 macro2utf8["Uarrocir"] = "⥉";
1143 utf82macro["⥉"] = "Uarrocir";
1144 macro2utf8["Dcy"] = "Д";
1145 utf82macro["Д"] = "Dcy";
1146 macro2utf8["cscr"] = "𝒸";
1147 utf82macro["𝒸"] = "cscr";
1148 macro2utf8["zcaron"] = "ž";
1149 utf82macro["ž"] = "zcaron";
1150 macro2utf8["isinE"] = "⋹";
1151 utf82macro["⋹"] = "isinE";
1152 macro2utf8["gtcir"] = "⩺";
1153 utf82macro["⩺"] = "gtcir";
1154 macro2utf8["hookrightarrow"] = "↪";
1155 utf82macro["↪"] = "hookrightarrow";
1156 macro2utf8["Int"] = "∬";
1157 utf82macro["∬"] = "Int";
1158 macro2utf8["nsupe"] = "⊉";
1159 utf82macro["⊉"] = "nsupe";
1160 macro2utf8["dotplus"] = "∔";
1161 utf82macro["∔"] = "dotplus";
1162 macro2utf8["ncup"] = "⩂";
1163 utf82macro["⩂"] = "ncup";
1164 macro2utf8["jscr"] = "𝒿";
1165 utf82macro["𝒿"] = "jscr";
1166 macro2utf8["angmsdaa"] = "⦨";
1167 utf82macro["⦨"] = "angmsdaa";
1168 macro2utf8["Iukcy"] = "І";
1169 utf82macro["І"] = "Iukcy";
1170 macro2utf8["flat"] = "♭";
1171 utf82macro["♭"] = "flat";
1172 macro2utf8["bNot"] = "⫭";
1173 utf82macro["⫭"] = "bNot";
1174 macro2utf8["angmsdab"] = "⦩";
1175 utf82macro["⦩"] = "angmsdab";
1176 macro2utf8["angmsdac"] = "⦪";
1177 utf82macro["⦪"] = "angmsdac";
1178 macro2utf8["xdtri"] = "▽";
1179 utf82macro["▽"] = "xdtri";
1180 macro2utf8["iota"] = "ι";
1181 utf82macro["ι"] = "iota";
1182 macro2utf8["angmsdad"] = "⦫";
1183 utf82macro["⦫"] = "angmsdad";
1184 macro2utf8["angmsdae"] = "⦬";
1185 utf82macro["⦬"] = "angmsdae";
1186 macro2utf8["rightarrowtail"] = "↣";
1187 utf82macro["↣"] = "rightarrowtail";
1188 macro2utf8["angmsdaf"] = "⦭";
1189 utf82macro["⦭"] = "angmsdaf";
1190 macro2utf8["Ocirc"] = "Ô";
1191 utf82macro["Ô"] = "Ocirc";
1192 macro2utf8["angmsdag"] = "⦮";
1193 utf82macro["⦮"] = "angmsdag";
1194 macro2utf8["Ofr"] = "𝔒";
1195 utf82macro["𝔒"] = "Ofr";
1196 macro2utf8["maltese"] = "✠";
1197 utf82macro["✠"] = "maltese";
1198 macro2utf8["angmsdah"] = "⦯";
1199 utf82macro["⦯"] = "angmsdah";
1200 macro2utf8["Del"] = "∇";
1201 utf82macro["∇"] = "Del";
1202 macro2utf8["Barwed"] = "⌆";
1203 utf82macro["⌆"] = "Barwed";
1204 macro2utf8["drbkarow"] = "⤐";
1205 utf82macro["⤐"] = "drbkarow";
1206 macro2utf8["qscr"] = "𝓆";
1207 utf82macro["𝓆"] = "qscr";
1208 macro2utf8["ETH"] = "Ð";
1209 utf82macro["Ð"] = "ETH";
1210 macro2utf8["operp"] = "⦹";
1211 utf82macro["⦹"] = "operp";
1212 macro2utf8["daleth"] = "ℸ";
1213 utf82macro["ℸ"] = "daleth";
1214 macro2utf8["bull"] = "•";
1215 utf82macro["•"] = "bull";
1216 macro2utf8["simlE"] = "⪟";
1217 utf82macro["⪟"] = "simlE";
1218 macro2utf8["lsquo"] = "‘";
1219 utf82macro["‘"] = "lsquo";
1220 macro2utf8["Larr"] = "↞";
1221 utf82macro["↞"] = "Larr";
1222 macro2utf8["curarr"] = "↷";
1223 utf82macro["↷"] = "curarr";
1224 macro2utf8["blacktriangleleft"] = "◂";
1225 utf82macro["◂"] = "blacktriangleleft";
1226 macro2utf8["hellip"] = "…";
1227 utf82macro["…"] = "hellip";
1228 macro2utf8["DoubleVerticalBar"] = "∥";
1229 utf82macro["∥"] = "DoubleVerticalBar";
1230 macro2utf8["rBarr"] = "⤏";
1231 utf82macro["⤏"] = "rBarr";
1232 macro2utf8["chcy"] = "ч";
1233 utf82macro["ч"] = "chcy";
1234 macro2utf8["varpi"] = "ϖ";
1235 utf82macro["ϖ"] = "varpi";
1236 macro2utf8["Cconint"] = "∰";
1237 utf82macro["∰"] = "Cconint";
1238 macro2utf8["xlarr"] = "";
1239 utf82macro[""] = "xlarr";
1240 macro2utf8["xscr"] = "𝓍";
1241 utf82macro["𝓍"] = "xscr";
1242 macro2utf8["DoubleLongRightArrow"] = "";
1243 utf82macro[""] = "DoubleLongRightArrow";
1244 macro2utf8["CounterClockwiseContourIntegral"] = "∳";
1245 utf82macro["∳"] = "CounterClockwiseContourIntegral";
1246 macro2utf8["urcrop"] = "⌎";
1247 utf82macro["⌎"] = "urcrop";
1248 macro2utf8["RightAngleBracket"] = "〉";
1249 utf82macro["〉"] = "RightAngleBracket";
1250 macro2utf8["Rcaron"] = "Ř";
1251 utf82macro["Ř"] = "Rcaron";
1252 macro2utf8["latail"] = "⤙";
1253 utf82macro["⤙"] = "latail";
1254 macro2utf8["pitchfork"] = "⋔";
1255 utf82macro["⋔"] = "pitchfork";
1256 macro2utf8["nvinfin"] = "⧞";
1257 utf82macro["⧞"] = "nvinfin";
1258 macro2utf8["hcirc"] = "ĥ";
1259 utf82macro["ĥ"] = "hcirc";
1260 macro2utf8["nexist"] = "∄";
1261 utf82macro["∄"] = "nexist";
1262 macro2utf8["checkmark"] = "✓";
1263 utf82macro["✓"] = "checkmark";
1264 macro2utf8["tridot"] = "◬";
1265 utf82macro["◬"] = "tridot";
1266 macro2utf8["vcy"] = "в";
1267 utf82macro["в"] = "vcy";
1268 macro2utf8["isins"] = "⋴";
1269 utf82macro["⋴"] = "isins";
1270 macro2utf8["fllig"] = "fl";
1271 utf82macro["fl"] = "fllig";
1272 macro2utf8["Dfr"] = "𝔇";
1273 utf82macro["𝔇"] = "Dfr";
1274 macro2utf8["hercon"] = "⊹";
1275 utf82macro["⊹"] = "hercon";
1276 macro2utf8["gEl"] = "⋛";
1277 utf82macro["⋛"] = "gEl";
1278 macro2utf8["bump"] = "≎";
1279 utf82macro["≎"] = "bump";
1280 macro2utf8["aleph"] = "ℵ";
1281 utf82macro["ℵ"] = "aleph";
1282 macro2utf8["Ubreve"] = "Ŭ";
1283 utf82macro["Ŭ"] = "Ubreve";
1284 macro2utf8["isinv"] = "∈";
1285 utf82macro["∈"] = "isinv";
1286 macro2utf8["smile"] = "⌣";
1287 utf82macro["⌣"] = "smile";
1288 macro2utf8["llcorner"] = "⌞";
1289 utf82macro["⌞"] = "llcorner";
1290 macro2utf8["boxH"] = "═";
1291 utf82macro["═"] = "boxH";
1292 macro2utf8["ecir"] = "≖";
1293 utf82macro["≖"] = "ecir";
1294 macro2utf8["varnothing"] = "∅";
1295 utf82macro["∅"] = "varnothing";
1296 macro2utf8["iuml"] = "ï";
1297 utf82macro["ï"] = "iuml";
1298 macro2utf8["mlcp"] = "⫛";
1299 utf82macro["⫛"] = "mlcp";
1300 macro2utf8["leftrightharpoons"] = "⇋";
1301 utf82macro["⇋"] = "leftrightharpoons";
1302 macro2utf8["ncong"] = "≇";
1303 utf82macro["≇"] = "ncong";
1304 macro2utf8["Vert"] = "‖";
1305 utf82macro["‖"] = "Vert";
1306 macro2utf8["vee"] = "∨";
1307 utf82macro["∨"] = "vee";
1308 macro2utf8["star"] = "⋆";
1309 utf82macro["⋆"] = "star";
1310 macro2utf8["boxV"] = "║";
1311 utf82macro["║"] = "boxV";
1312 macro2utf8["LeftRightArrow"] = "↔";
1313 utf82macro["↔"] = "LeftRightArrow";
1314 macro2utf8["leftrightarrow"] = "↔";
1315 utf82macro["↔"] = "leftrightarrow";
1316 macro2utf8["lstrok"] = "ł";
1317 utf82macro["ł"] = "lstrok";
1318 macro2utf8["ell"] = "ℓ";
1319 utf82macro["ℓ"] = "ell";
1320 macro2utf8["VerticalSeparator"] = "❘";
1321 utf82macro["❘"] = "VerticalSeparator";
1322 macro2utf8["Ubrcy"] = "Ў";
1323 utf82macro["Ў"] = "Ubrcy";
1324 macro2utf8["NotGreater"] = "≯";
1325 utf82macro["≯"] = "NotGreater";
1326 macro2utf8["Abreve"] = "Ă";
1327 utf82macro["Ă"] = "Abreve";
1328 macro2utf8["TildeTilde"] = "≈";
1329 utf82macro["≈"] = "TildeTilde";
1330 macro2utf8["CircleTimes"] = "⊗";
1331 utf82macro["⊗"] = "CircleTimes";
1332 macro2utf8["subsetneq"] = "⊊";
1333 utf82macro["⊊"] = "subsetneq";
1334 macro2utf8["ltcc"] = "⪦";
1335 utf82macro["⪦"] = "ltcc";
1336 macro2utf8["els"] = "⋜";
1337 utf82macro["⋜"] = "els";
1338 macro2utf8["succneqq"] = "⪶";
1339 utf82macro["⪶"] = "succneqq";
1340 macro2utf8["kcy"] = "к";
1341 utf82macro["к"] = "kcy";
1342 macro2utf8["nshortmid"] = "∤︀";
1343 utf82macro["∤︀"] = "nshortmid";
1344 macro2utf8["mldr"] = "…";
1345 utf82macro["…"] = "mldr";
1346 macro2utf8["harr"] = "↔";
1347 utf82macro["↔"] = "harr";
1348 macro2utf8["gimel"] = "ℷ";
1349 utf82macro["ℷ"] = "gimel";
1350 macro2utf8["Otimes"] = "⨷";
1351 utf82macro["⨷"] = "Otimes";
1352 macro2utf8["vsubnE"] = "⊊︀";
1353 utf82macro["⊊︀"] = "vsubnE";
1354 macro2utf8["ltdot"] = "⋖";
1355 utf82macro["⋖"] = "ltdot";
1356 macro2utf8["boxh"] = "─";
1357 utf82macro["─"] = "boxh";
1358 macro2utf8["notin"] = "∉";
1359 utf82macro["∉"] = "notin";
1360 macro2utf8["RuleDelayed"] = "⧴";
1361 utf82macro["⧴"] = "RuleDelayed";
1362 macro2utf8["sqsube"] = "⊑";
1363 utf82macro["⊑"] = "sqsube";
1364 macro2utf8["macr"] = "¯";
1365 utf82macro["¯"] = "macr";
1366 macro2utf8["Icirc"] = "Î";
1367 utf82macro["Î"] = "Icirc";
1368 macro2utf8["comma"] = ",";
1369 utf82macro[","] = "comma";
1370 macro2utf8["Cayleys"] = "ℭ";
1371 utf82macro["ℭ"] = "Cayleys";
1372 macro2utf8["rightleftharpoons"] = "⇌";
1373 utf82macro["⇌"] = "rightleftharpoons";
1374 macro2utf8["Rarrtl"] = "⤖";
1375 utf82macro["⤖"] = "Rarrtl";
1376 macro2utf8["SquareSubsetEqual"] = "⊑";
1377 utf82macro["⊑"] = "SquareSubsetEqual";
1378 macro2utf8["NotGreaterEqual"] = "≱⃥";
1379 utf82macro["≱⃥"] = "NotGreaterEqual";
1380 macro2utf8["vfr"] = "𝔳";
1381 utf82macro["𝔳"] = "vfr";
1382 macro2utf8["utri"] = "▵";
1383 utf82macro["▵"] = "utri";
1384 macro2utf8["simne"] = "≆";
1385 utf82macro["≆"] = "simne";
1386 macro2utf8["LeftUpVectorBar"] = "⥘";
1387 utf82macro["⥘"] = "LeftUpVectorBar";
1388 macro2utf8["hksearow"] = "⤥";
1389 utf82macro["⤥"] = "hksearow";
1390 macro2utf8["boxv"] = "│";
1391 utf82macro["│"] = "boxv";
1392 macro2utf8["curvearrowleft"] = "↶";
1393 utf82macro["↶"] = "curvearrowleft";
1394 macro2utf8["eng"] = "ŋ";
1395 utf82macro["ŋ"] = "eng";
1396 macro2utf8["gtrarr"] = "⥸";
1397 utf82macro["⥸"] = "gtrarr";
1398 macro2utf8["iecy"] = "е";
1399 utf82macro["е"] = "iecy";
1400 macro2utf8["varr"] = "↕";
1401 utf82macro["↕"] = "varr";
1402 macro2utf8["lBarr"] = "⤎";
1403 utf82macro["⤎"] = "lBarr";
1404 macro2utf8["ker"] = "ker";
1405 utf82macro["ker"] = "ker";
1406 macro2utf8["imath"] = "ı";
1407 utf82macro["ı"] = "imath";
1408 macro2utf8["Dstrok"] = "Đ";
1409 utf82macro["Đ"] = "Dstrok";
1410 macro2utf8["rlarr"] = "⇄";
1411 utf82macro["⇄"] = "rlarr";
1412 macro2utf8["leftleftarrows"] = "⇇";
1413 utf82macro["⇇"] = "leftleftarrows";
1414 macro2utf8["DifferentialD"] = "ⅆ";
1415 utf82macro["ⅆ"] = "DifferentialD";
1416 macro2utf8["because"] = "∵";
1417 utf82macro["∵"] = "because";
1418 macro2utf8["ulcrop"] = "⌏";
1419 utf82macro["⌏"] = "ulcrop";
1420 macro2utf8["prE"] = "⪯";
1421 utf82macro["⪯"] = "prE";
1422 macro2utf8["oast"] = "⊛";
1423 utf82macro["⊛"] = "oast";
1424 macro2utf8["DotEqual"] = "≐";
1425 utf82macro["≐"] = "DotEqual";
1426 macro2utf8["vsubne"] = "⊊︀";
1427 utf82macro["⊊︀"] = "vsubne";
1428 macro2utf8["hbar"] = "ℏ︀";
1429 utf82macro["ℏ︀"] = "hbar";
1430 macro2utf8["subset"] = "⊂";
1431 utf82macro["⊂"] = "subset";
1432 macro2utf8["UpTeeArrow"] = "↥";
1433 utf82macro["↥"] = "UpTeeArrow";
1434 macro2utf8["LeftFloor"] = "⌊";
1435 utf82macro["⌊"] = "LeftFloor";
1436 macro2utf8["kfr"] = "𝔨";
1437 utf82macro["𝔨"] = "kfr";
1438 macro2utf8["nisd"] = "⋺";
1439 utf82macro["⋺"] = "nisd";
1440 macro2utf8["scnE"] = "⪶";
1441 utf82macro["⪶"] = "scnE";
1442 macro2utf8["Ucy"] = "У";
1443 utf82macro["У"] = "Ucy";
1444 macro2utf8["nprec"] = "⊀";
1445 utf82macro["⊀"] = "nprec";
1446 macro2utf8["ltrPar"] = "⦖";
1447 utf82macro["⦖"] = "ltrPar";
1448 macro2utf8["Scaron"] = "Š";
1449 utf82macro["Š"] = "Scaron";
1450 macro2utf8["InvisibleComma"] = "​";
1451 utf82macro["​"] = "InvisibleComma";
1452 macro2utf8["SquareUnion"] = "⊔";
1453 utf82macro["⊔"] = "SquareUnion";
1454 macro2utf8["ffllig"] = "ffl";
1455 utf82macro["ffl"] = "ffllig";
1456 macro2utf8["approxeq"] = "≊";
1457 utf82macro["≊"] = "approxeq";
1458 macro2utf8["yacute"] = "ý";
1459 utf82macro["ý"] = "yacute";
1460 macro2utf8["pre"] = "⪯";
1461 utf82macro["⪯"] = "pre";
1462 macro2utf8["nsqsupe"] = "⋣";
1463 utf82macro["⋣"] = "nsqsupe";
1464 macro2utf8["supset"] = "⊃";
1465 utf82macro["⊃"] = "supset";
1466 macro2utf8["bsolhsub"] = "\\⊂";
1467 utf82macro["\\⊂"] = "bsolhsub";
1468 macro2utf8["nshortparallel"] = "∦︀";
1469 utf82macro["∦︀"] = "nshortparallel";
1470 macro2utf8["lozenge"] = "◊";
1471 utf82macro["◊"] = "lozenge";
1472 macro2utf8["lnot"] = "¬";
1473 utf82macro["¬"] = "lnot";
1474 macro2utf8["Dopf"] = "𝔻";
1475 utf82macro["𝔻"] = "Dopf";
1476 macro2utf8["leftharpoonup"] = "↼";
1477 utf82macro["↼"] = "leftharpoonup";
1478 macro2utf8["Jcy"] = "Й";
1479 utf82macro["Й"] = "Jcy";
1480 macro2utf8["rightarrow"] = "→";
1481 utf82macro["→"] = "rightarrow";
1482 macro2utf8["ntriangleright"] = "⋫";
1483 utf82macro["⋫"] = "ntriangleright";
1484 macro2utf8["Ccirc"] = "Ĉ";
1485 utf82macro["Ĉ"] = "Ccirc";
1486 macro2utf8["eacute"] = "é";
1487 utf82macro["é"] = "eacute";
1488 macro2utf8["acute"] = "´";
1489 utf82macro["´"] = "acute";
1490 macro2utf8["Precedes"] = "≺";
1491 utf82macro["≺"] = "Precedes";
1492 macro2utf8["middot"] = "·";
1493 utf82macro["·"] = "middot";
1494 macro2utf8["lHar"] = "⥢";
1495 utf82macro["⥢"] = "lHar";
1496 macro2utf8["eparsl"] = "⧣";
1497 utf82macro["⧣"] = "eparsl";
1498 macro2utf8["psi"] = "ψ";
1499 utf82macro["ψ"] = "psi";
1500 macro2utf8["parsl"] = "∥︀";
1501 utf82macro["∥︀"] = "parsl";
1502 macro2utf8["UpperLeftArrow"] = "↖";
1503 utf82macro["↖"] = "UpperLeftArrow";
1504 macro2utf8["oror"] = "⩖";
1505 utf82macro["⩖"] = "oror";
1506 macro2utf8["Kopf"] = "𝕂";
1507 utf82macro["𝕂"] = "Kopf";
1508 macro2utf8["apacir"] = "⩯";
1509 utf82macro["⩯"] = "apacir";
1510 macro2utf8["dharl"] = "⇃";
1511 utf82macro["⇃"] = "dharl";
1512 macro2utf8["nequiv"] = "≢";
1513 utf82macro["≢"] = "nequiv";
1514 macro2utf8["rightleftarrows"] = "⇄";
1515 utf82macro["⇄"] = "rightleftarrows";
1516 macro2utf8["UnderParenthesis"] = "︶";
1517 utf82macro["︶"] = "UnderParenthesis";
1518 macro2utf8["notni"] = "∌";
1519 utf82macro["∌"] = "notni";
1520 macro2utf8["dagger"] = "†";
1521 utf82macro["†"] = "dagger";
1522 macro2utf8["dharr"] = "⇂";
1523 utf82macro["⇂"] = "dharr";
1524 macro2utf8["twoheadleftarrow"] = "↞";
1525 utf82macro["↞"] = "twoheadleftarrow";
1526 macro2utf8["frac12"] = "½";
1527 utf82macro["½"] = "frac12";
1528 macro2utf8["varsubsetneqq"] = "⊊︀";
1529 utf82macro["⊊︀"] = "varsubsetneqq";
1530 macro2utf8["frac13"] = "⅓";
1531 utf82macro["⅓"] = "frac13";
1532 macro2utf8["Ufr"] = "𝔘";
1533 utf82macro["𝔘"] = "Ufr";
1534 macro2utf8["NestedLessLess"] = "≪";
1535 utf82macro["≪"] = "NestedLessLess";
1536 macro2utf8["llarr"] = "⇇";
1537 utf82macro["⇇"] = "llarr";
1538 macro2utf8["frac14"] = "¼";
1539 utf82macro["¼"] = "frac14";
1540 macro2utf8["frac15"] = "⅕";
1541 utf82macro["⅕"] = "frac15";
1542 macro2utf8["Ropf"] = "ℝ";
1543 utf82macro["ℝ"] = "Ropf";
1544 macro2utf8["frac16"] = "⅙";
1545 utf82macro["⅙"] = "frac16";
1546 macro2utf8["lrtri"] = "⊿";
1547 utf82macro["⊿"] = "lrtri";
1548 macro2utf8["frac18"] = "⅛";
1549 utf82macro["⅛"] = "frac18";
1550 macro2utf8["cedil"] = "¸";
1551 utf82macro["¸"] = "cedil";
1552 macro2utf8["subsim"] = "⫇";
1553 utf82macro["⫇"] = "subsim";
1554 macro2utf8["PrecedesTilde"] = "≾";
1555 utf82macro["≾"] = "PrecedesTilde";
1556 macro2utf8["igrave"] = "ì";
1557 utf82macro["ì"] = "igrave";
1558 macro2utf8["gjcy"] = "ѓ";
1559 utf82macro["ѓ"] = "gjcy";
1560 macro2utf8["LeftVector"] = "↼";
1561 utf82macro["↼"] = "LeftVector";
1562 macro2utf8["notniva"] = "∌";
1563 utf82macro["∌"] = "notniva";
1564 macro2utf8["notnivb"] = "⋾";
1565 utf82macro["⋾"] = "notnivb";
1566 macro2utf8["ogon"] = "˛";
1567 utf82macro["˛"] = "ogon";
1568 macro2utf8["notnivc"] = "⋽";
1569 utf82macro["⋽"] = "notnivc";
1570 macro2utf8["Yopf"] = "𝕐";
1571 utf82macro["𝕐"] = "Yopf";
1572 macro2utf8["there4"] = "∴";
1573 utf82macro["∴"] = "there4";
1574 macro2utf8["udarr"] = "⇅";
1575 utf82macro["⇅"] = "udarr";
1576 macro2utf8["bkarow"] = "⤍";
1577 utf82macro["⤍"] = "bkarow";
1578 macro2utf8["frac23"] = "⅔";
1579 utf82macro["⅔"] = "frac23";
1580 macro2utf8["frac25"] = "⅖";
1581 utf82macro["⅖"] = "frac25";
1582 macro2utf8["njcy"] = "њ";
1583 utf82macro["њ"] = "njcy";
1584 macro2utf8["Dashv"] = "⫤";
1585 utf82macro["⫤"] = "Dashv";
1586 macro2utf8["eta"] = "η";
1587 utf82macro["η"] = "eta";
1588 macro2utf8["bcong"] = "≌";
1589 utf82macro["≌"] = "bcong";
1590 macro2utf8["Ugrave"] = "Ù";
1591 utf82macro["Ù"] = "Ugrave";
1592 macro2utf8["csube"] = "⫑";
1593 utf82macro["⫑"] = "csube";
1594 macro2utf8["clubs"] = "♣";
1595 utf82macro["♣"] = "clubs";
1596 macro2utf8["supmult"] = "⫂";
1597 utf82macro["⫂"] = "supmult";
1598 macro2utf8["MinusPlus"] = "∓";
1599 utf82macro["∓"] = "MinusPlus";
1600 macro2utf8["Jfr"] = "𝔍";
1601 utf82macro["𝔍"] = "Jfr";
1602 macro2utf8["ensp"] = " ";
1603 utf82macro[" "] = "ensp";
1604 macro2utf8["ucirc"] = "û";
1605 utf82macro["û"] = "ucirc";
1606 macro2utf8["supsim"] = "⫈";
1607 utf82macro["⫈"] = "supsim";
1608 macro2utf8["eth"] = "ð";
1609 utf82macro["ð"] = "eth";
1610 macro2utf8["OverBrace"] = "︷";
1611 utf82macro["︷"] = "OverBrace";
1612 macro2utf8["Dot"] = "¨";
1613 utf82macro["¨"] = "Dot";
1614 macro2utf8["xcap"] = "⋂";
1615 utf82macro["⋂"] = "xcap";
1616 macro2utf8["vangrt"] = "⊾";
1617 utf82macro["⊾"] = "vangrt";
1618 macro2utf8["NotSubsetEqual"] = "⊈";
1619 utf82macro["⊈"] = "NotSubsetEqual";
1620 macro2utf8["frac34"] = "¾";
1621 utf82macro["¾"] = "frac34";
1622 macro2utf8["frac35"] = "⅗";
1623 utf82macro["⅗"] = "frac35";
1624 macro2utf8["planck"] = "ℏ︀";
1625 utf82macro["ℏ︀"] = "planck";
1626 macro2utf8["lnsim"] = "⋦";
1627 utf82macro["⋦"] = "lnsim";
1628 macro2utf8["gopf"] = "𝕘";
1629 utf82macro["𝕘"] = "gopf";
1630 macro2utf8["frac38"] = "⅜";
1631 utf82macro["⅜"] = "frac38";
1632 macro2utf8["DotDot"] = "⃜";
1633 utf82macro["⃜"] = "DotDot";
1634 macro2utf8["mapstoup"] = "↥";
1635 utf82macro["↥"] = "mapstoup";
1636 macro2utf8["Escr"] = "ℰ";
1637 utf82macro["ℰ"] = "Escr";
1638 macro2utf8["Integral"] = "∫";
1639 utf82macro["∫"] = "Integral";
1640 macro2utf8["Agrave"] = "À";
1641 utf82macro["À"] = "Agrave";
1642 macro2utf8["longleftarrow"] = "????;";
1643 utf82macro["????;"] = "longleftarrow";
1644 macro2utf8["Tcaron"] = "Ť";
1645 utf82macro["Ť"] = "Tcaron";
1646 macro2utf8["nopf"] = "𝕟";
1647 utf82macro["𝕟"] = "nopf";
1648 macro2utf8["LongLeftRightArrow"] = "";
1649 utf82macro[""] = "LongLeftRightArrow";
1650 macro2utf8["Emacr"] = "Ē";
1651 utf82macro["Ē"] = "Emacr";
1652 macro2utf8["omid"] = "⦶";
1653 utf82macro["⦶"] = "omid";
1654 macro2utf8["spades"] = "♠";
1655 utf82macro["♠"] = "spades";
1656 macro2utf8["naturals"] = "ℕ";
1657 utf82macro["ℕ"] = "naturals";
1658 macro2utf8["Lscr"] = "ℒ";
1659 utf82macro["ℒ"] = "Lscr";
1660 macro2utf8["udblac"] = "ű";
1661 utf82macro["ű"] = "udblac";
1662 macro2utf8["SucceedsTilde"] = "≿";
1663 utf82macro["≿"] = "SucceedsTilde";
1664 macro2utf8["frac45"] = "⅘";
1665 utf82macro["⅘"] = "frac45";
1666 macro2utf8["clubsuit"] = "♣";
1667 utf82macro["♣"] = "clubsuit";
1668 macro2utf8["mumap"] = "⊸";
1669 utf82macro["⊸"] = "mumap";
1670 macro2utf8["vltri"] = "⊲";
1671 utf82macro["⊲"] = "vltri";
1672 macro2utf8["LeftArrowBar"] = "⇤";
1673 utf82macro["⇤"] = "LeftArrowBar";
1674 macro2utf8["zacute"] = "ź";
1675 utf82macro["ź"] = "zacute";
1676 macro2utf8["szlig"] = "ß";
1677 utf82macro["ß"] = "szlig";
1678 macro2utf8["suplarr"] = "⥻";
1679 utf82macro["⥻"] = "suplarr";
1680 macro2utf8["RightDownVector"] = "⇂";
1681 utf82macro["⇂"] = "RightDownVector";
1682 macro2utf8["male"] = "♂";
1683 utf82macro["♂"] = "male";
1684 macro2utf8["RightDownVectorBar"] = "⥕";
1685 utf82macro["⥕"] = "RightDownVectorBar";
1686 macro2utf8["gdot"] = "ġ";
1687 utf82macro["ġ"] = "gdot";
1688 macro2utf8["nleqq"] = "≰";
1689 utf82macro["≰"] = "nleqq";
1690 macro2utf8["uopf"] = "𝕦";
1691 utf82macro["𝕦"] = "uopf";
1692 macro2utf8["YIcy"] = "Ї";
1693 utf82macro["Ї"] = "YIcy";
1694 macro2utf8["Sscr"] = "𝒮";
1695 utf82macro["𝒮"] = "Sscr";
1696 macro2utf8["empty"] = "∅︀";
1697 utf82macro["∅︀"] = "empty";
1698 macro2utf8["Vdash"] = "⊩";
1699 utf82macro["⊩"] = "Vdash";
1700 macro2utf8["sqsubset"] = "⊏";
1701 utf82macro["⊏"] = "sqsubset";
1702 macro2utf8["efDot"] = "≒";
1703 utf82macro["≒"] = "efDot";
1704 macro2utf8["times"] = "×";
1705 utf82macro["×"] = "times";
1706 macro2utf8["Oslash"] = "Ø";
1707 utf82macro["Ø"] = "Oslash";
1708 macro2utf8["itilde"] = "ĩ";
1709 utf82macro["ĩ"] = "itilde";
1710 macro2utf8["frac56"] = "⅚";
1711 utf82macro["⅚"] = "frac56";
1712 macro2utf8["numero"] = "№";
1713 utf82macro["№"] = "numero";
1714 macro2utf8["malt"] = "✠";
1715 utf82macro["✠"] = "malt";
1716 macro2utf8["npart"] = "∂̸";
1717 utf82macro["∂̸"] = "npart";
1718 macro2utf8["frac58"] = "⅝";
1719 utf82macro["⅝"] = "frac58";
1720 macro2utf8["Zscr"] = "𝒵";
1721 utf82macro["𝒵"] = "Zscr";
1722 macro2utf8["integers"] = "ℤ";
1723 utf82macro["ℤ"] = "integers";
1724 macro2utf8["CloseCurlyQuote"] = "’";
1725 utf82macro["’"] = "CloseCurlyQuote";
1726 macro2utf8["NewLine"] = "\n";
1727 utf82macro["\n"] = "NewLine";
1728 macro2utf8["fcy"] = "ф";
1729 utf82macro["ф"] = "fcy";
1730 macro2utf8["nwarr"] = "↖";
1731 utf82macro["↖"] = "nwarr";
1732 macro2utf8["thicksim"] = "∼︀";
1733 utf82macro["∼︀"] = "thicksim";
1734 macro2utf8["nprcue"] = "⋠";
1735 utf82macro["⋠"] = "nprcue";
1736 macro2utf8["lcub"] = "{";
1737 utf82macro["{"] = "lcub";
1738 macro2utf8["forall"] = "∀";
1739 utf82macro["∀"] = "forall";
1740 macro2utf8["plusacir"] = "⨣";
1741 utf82macro["⨣"] = "plusacir";
1742 macro2utf8["ascr"] = "𝒶";
1743 utf82macro["𝒶"] = "ascr";
1744 macro2utf8["plustwo"] = "⨧";
1745 utf82macro["⨧"] = "plustwo";
1746 macro2utf8["Utilde"] = "Ũ";
1747 utf82macro["Ũ"] = "Utilde";
1748 macro2utf8["lambda"] = "λ";
1749 utf82macro["λ"] = "lambda";
1750 macro2utf8["odash"] = "⊝";
1751 utf82macro["⊝"] = "odash";
1752 macro2utf8["iukcy"] = "і";
1753 utf82macro["і"] = "iukcy";
1754 macro2utf8["sqsupset"] = "⊐";
1755 utf82macro["⊐"] = "sqsupset";
1756 macro2utf8["Racute"] = "Ŕ";
1757 utf82macro["Ŕ"] = "Racute";
1758 macro2utf8["Longleftarrow"] = "????";
1759 utf82macro["????"] = "Longleftarrow";
1760 macro2utf8["capcap"] = "⩋";
1761 utf82macro["⩋"] = "capcap";
1762 macro2utf8["ocirc"] = "ô";
1763 utf82macro["ô"] = "ocirc";
1764 macro2utf8["nless"] = "≮";
1765 utf82macro["≮"] = "nless";
1766 macro2utf8["Wedge"] = "⋀";
1767 utf82macro["⋀"] = "Wedge";
1768 macro2utf8["qfr"] = "𝔮";
1769 utf82macro["𝔮"] = "qfr";
1770 macro2utf8["natur"] = "♮";
1771 utf82macro["♮"] = "natur";
1772 macro2utf8["hscr"] = "𝒽";
1773 utf82macro["𝒽"] = "hscr";
1774 macro2utf8["ldca"] = "⤶";
1775 utf82macro["⤶"] = "ldca";
1776 macro2utf8["ClockwiseContourIntegral"] = "∲";
1777 utf82macro["∲"] = "ClockwiseContourIntegral";
1778 macro2utf8["exp"] = "exp";
1779 utf82macro["exp"] = "exp";
1780 macro2utf8["RightTeeArrow"] = "↦";
1781 utf82macro["↦"] = "RightTeeArrow";
1782 macro2utf8["orarr"] = "↻";
1783 utf82macro["↻"] = "orarr";
1784 macro2utf8["tanh"] = "tanh";
1785 utf82macro["tanh"] = "tanh";
1786 macro2utf8["frac78"] = "⅞";
1787 utf82macro["⅞"] = "frac78";
1788 macro2utf8["Atilde"] = "Ã";
1789 utf82macro["Ã"] = "Atilde";
1790 macro2utf8["arcsin"] = "arcsin";
1791 utf82macro["arcsin"] = "arcsin";
1792 macro2utf8["Rcedil"] = "Ŗ";
1793 utf82macro["Ŗ"] = "Rcedil";
1794 macro2utf8["oscr"] = "ℴ";
1795 utf82macro["ℴ"] = "oscr";
1796 macro2utf8["InvisibleTimes"] = "⁢";
1797 utf82macro["⁢"] = "InvisibleTimes";
1798 macro2utf8["sime"] = "≃";
1799 utf82macro["≃"] = "sime";
1800 macro2utf8["simg"] = "⪞";
1801 utf82macro["⪞"] = "simg";
1802 macro2utf8["Conint"] = "∯";
1803 utf82macro["∯"] = "Conint";
1804 macro2utf8["Yuml"] = "Ÿ";
1805 utf82macro["Ÿ"] = "Yuml";
1806 macro2utf8["rlhar"] = "⇌";
1807 utf82macro["⇌"] = "rlhar";
1808 macro2utf8["rarrbfs"] = "⤠";
1809 utf82macro["⤠"] = "rarrbfs";
1810 macro2utf8["siml"] = "⪝";
1811 utf82macro["⪝"] = "siml";
1812 macro2utf8["DownRightVectorBar"] = "⥗";
1813 utf82macro["⥗"] = "DownRightVectorBar";
1814 macro2utf8["vscr"] = "𝓋";
1815 utf82macro["𝓋"] = "vscr";
1816 macro2utf8["divide"] = "÷";
1817 utf82macro["÷"] = "divide";
1818 macro2utf8["PlusMinus"] = "±";
1819 utf82macro["±"] = "PlusMinus";
1820 macro2utf8["ffr"] = "𝔣";
1821 utf82macro["𝔣"] = "ffr";
1822 macro2utf8["DownLeftTeeVector"] = "⥞";
1823 utf82macro["⥞"] = "DownLeftTeeVector";
1824 macro2utf8["EmptySmallSquare"] = "◽";
1825 utf82macro["◽"] = "EmptySmallSquare";
1826 macro2utf8["SHCHcy"] = "Щ";
1827 utf82macro["Щ"] = "SHCHcy";
1828 macro2utf8["cirmid"] = "⫯";
1829 utf82macro["⫯"] = "cirmid";
1830 macro2utf8["sigmav"] = "ς";
1831 utf82macro["ς"] = "sigmav";
1832 macro2utf8["csub"] = "⫏";
1833 utf82macro["⫏"] = "csub";
1834 macro2utf8["npar"] = "∦";
1835 utf82macro["∦"] = "npar";
1836 macro2utf8["bsemi"] = "⁏";
1837 utf82macro["⁏"] = "bsemi";
1838 macro2utf8["swArr"] = "⇙";
1839 utf82macro["⇙"] = "swArr";
1840 macro2utf8["Pcy"] = "П";
1841 utf82macro["П"] = "Pcy";
1842 macro2utf8["sinh"] = "sinh";
1843 utf82macro["sinh"] = "sinh";
1844 macro2utf8["lharul"] = "⥪";
1845 utf82macro["⥪"] = "lharul";
1846 macro2utf8["Jukcy"] = "Є";
1847 utf82macro["Є"] = "Jukcy";
1848 macro2utf8["permil"] = "‰";
1849 utf82macro["‰"] = "permil";
1850 macro2utf8["ndivides"] = "∤";
1851 utf82macro["∤"] = "ndivides";
1852 macro2utf8["Aring"] = "Å";
1853 utf82macro["Å"] = "Aring";
1854 macro2utf8["longmapsto"] = "????";
1855 utf82macro["????"] = "longmapsto";
1856 macro2utf8["Esim"] = "⩳";
1857 utf82macro["⩳"] = "Esim";
1858 macro2utf8["csup"] = "⫐";
1859 utf82macro["⫐"] = "csup";
1860 macro2utf8["trie"] = "≜";
1861 utf82macro["≜"] = "trie";
1862 macro2utf8["ubrcy"] = "ў";
1863 utf82macro["ў"] = "ubrcy";
1864 macro2utf8["NotEqualTilde"] = "≂̸";
1865 utf82macro["≂̸"] = "NotEqualTilde";
1866 macro2utf8["dotminus"] = "∸";
1867 utf82macro["∸"] = "dotminus";
1868 macro2utf8["diamondsuit"] = "♢";
1869 utf82macro["♢"] = "diamondsuit";
1870 macro2utf8["xnis"] = "⋻";
1871 utf82macro["⋻"] = "xnis";
1872 macro2utf8["Eogon"] = "Ę";
1873 utf82macro["Ę"] = "Eogon";
1874 macro2utf8["cuvee"] = "⋎";
1875 utf82macro["⋎"] = "cuvee";
1876 macro2utf8["DZcy"] = "Џ";
1877 utf82macro["Џ"] = "DZcy";
1878 macro2utf8["nRightarrow"] = "⇏";
1879 utf82macro["⇏"] = "nRightarrow";
1880 macro2utf8["sqsupe"] = "⊒";
1881 utf82macro["⊒"] = "sqsupe";
1882 macro2utf8["nsccue"] = "⋡";
1883 utf82macro["⋡"] = "nsccue";
1884 macro2utf8["drcrop"] = "⌌";
1885 utf82macro["⌌"] = "drcrop";
1886 macro2utf8["DownBreve"] = "̑";
1887 utf82macro["̑"] = "DownBreve";
1888 macro2utf8["Ecy"] = "Э";
1889 utf82macro["Э"] = "Ecy";
1890 macro2utf8["rdquor"] = "”";
1891 utf82macro["”"] = "rdquor";
1892 macro2utf8["rAtail"] = "⤜";
1893 utf82macro["⤜"] = "rAtail";
1894 macro2utf8["icirc"] = "î";
1895 utf82macro["î"] = "icirc";
1896 macro2utf8["gacute"] = "ǵ";
1897 utf82macro["ǵ"] = "gacute";
1898 macro2utf8["hyphen"] = "‐";
1899 utf82macro["‐"] = "hyphen";
1900 macro2utf8["uuml"] = "ü";
1901 utf82macro["ü"] = "uuml";
1902 macro2utf8["thorn"] = "þ";
1903 utf82macro["þ"] = "thorn";
1904 macro2utf8["ltri"] = "◃";
1905 utf82macro["◃"] = "ltri";
1906 macro2utf8["eqslantgtr"] = "⋝";
1907 utf82macro["⋝"] = "eqslantgtr";
1908 macro2utf8["DoubleContourIntegral"] = "∯";
1909 utf82macro["∯"] = "DoubleContourIntegral";
1910 macro2utf8["lescc"] = "⪨";
1911 utf82macro["⪨"] = "lescc";
1912 macro2utf8["DiacriticalGrave"] = "`";
1913 utf82macro["`"] = "DiacriticalGrave";
1914 macro2utf8["NotPrecedesEqual"] = "⪯̸";
1915 utf82macro["⪯̸"] = "NotPrecedesEqual";
1916 macro2utf8["RightArrow"] = "→";
1917 utf82macro["→"] = "RightArrow";
1918 macro2utf8["race"] = "⧚";
1919 utf82macro["⧚"] = "race";
1920 macro2utf8["topbot"] = "⌶";
1921 utf82macro["⌶"] = "topbot";
1922 macro2utf8["Pfr"] = "𝔓";
1923 utf82macro["𝔓"] = "Pfr";
1924 macro2utf8["napprox"] = "≉";
1925 utf82macro["≉"] = "napprox";
1926 macro2utf8["Sacute"] = "Ś";
1927 utf82macro["Ś"] = "Sacute";
1928 macro2utf8["cupor"] = "⩅";
1929 utf82macro["⩅"] = "cupor";
1930 macro2utf8["OverBar"] = "¯";
1931 utf82macro["¯"] = "OverBar";
1932 macro2utf8["bepsi"] = "϶";
1933 utf82macro["϶"] = "bepsi";
1934 macro2utf8["plankv"] = "ℏ";
1935 utf82macro["ℏ"] = "plankv";
1936 macro2utf8["lap"] = "≲";
1937 utf82macro["≲"] = "lap";
1938 macro2utf8["orslope"] = "⩗";
1939 utf82macro["⩗"] = "orslope";
1940 macro2utf8["beta"] = "β";
1941 utf82macro["β"] = "beta";
1942 macro2utf8["ShortDownArrow"] = "⌄︀";
1943 utf82macro["⌄︀"] = "ShortDownArrow";
1944 macro2utf8["perp"] = "⊥";
1945 utf82macro["⊥"] = "perp";
1946 macro2utf8["lat"] = "⪫";
1947 utf82macro["⪫"] = "lat";
1948 macro2utf8["CenterDot"] = "·";
1949 utf82macro["·"] = "CenterDot";
1950 macro2utf8["urcorner"] = "⌝";
1951 utf82macro["⌝"] = "urcorner";
1952 macro2utf8["models"] = "⊧";
1953 utf82macro["⊧"] = "models";
1954 macro2utf8["beth"] = "ℶ";
1955 utf82macro["ℶ"] = "beth";
1956 macro2utf8["subE"] = "⊆";
1957 utf82macro["⊆"] = "subE";
1958 macro2utf8["subnE"] = "⊊";
1959 utf82macro["⊊"] = "subnE";
1960 macro2utf8["ldots"] = "…";
1961 utf82macro["…"] = "ldots";
1962 macro2utf8["yacy"] = "я";
1963 utf82macro["я"] = "yacy";
1964 macro2utf8["udhar"] = "⥮";
1965 utf82macro["⥮"] = "udhar";
1966 macro2utf8["Scedil"] = "Ş";
1967 utf82macro["Ş"] = "Scedil";
1968 macro2utf8["subsub"] = "⫕";
1969 utf82macro["⫕"] = "subsub";
1970 macro2utf8["nvrtrie"] = "⋭̸";
1971 utf82macro["⋭̸"] = "nvrtrie";
1972 macro2utf8["Phi"] = "Φ";
1973 utf82macro["Φ"] = "Phi";
1974 macro2utf8["Efr"] = "𝔈";
1975 utf82macro["𝔈"] = "Efr";
1976 macro2utf8["larrfs"] = "⤝";
1977 utf82macro["⤝"] = "larrfs";
1978 macro2utf8["angle"] = "∠";
1979 utf82macro["∠"] = "angle";
1980 macro2utf8["TildeFullEqual"] = "≅";
1981 utf82macro["≅"] = "TildeFullEqual";
1982 macro2utf8["Jcirc"] = "Ĵ";
1983 utf82macro["Ĵ"] = "Jcirc";
1984 macro2utf8["THORN"] = "Þ";
1985 utf82macro["Þ"] = "THORN";
1986 macro2utf8["acE"] = "⧛";
1987 utf82macro["⧛"] = "acE";
1988 macro2utf8["Longleftrightarrow"] = "????";
1989 utf82macro["????"] = "Longleftrightarrow";
1990 macro2utf8["xuplus"] = "⊎";
1991 utf82macro["⊎"] = "xuplus";
1992 macro2utf8["searr"] = "↘";
1993 utf82macro["↘"] = "searr";
1994 macro2utf8["gvertneqq"] = "≩︀";
1995 utf82macro["≩︀"] = "gvertneqq";
1996 macro2utf8["subsup"] = "⫓";
1997 utf82macro["⫓"] = "subsup";
1998 macro2utf8["NotSucceedsEqual"] = "⪰̸";
1999 utf82macro["⪰̸"] = "NotSucceedsEqual";
2000 macro2utf8["gtrsim"] = "≳";
2001 utf82macro["≳"] = "gtrsim";
2002 macro2utf8["nrArr"] = "⇏";
2003 utf82macro["⇏"] = "nrArr";
2004 macro2utf8["NotSquareSupersetEqual"] = "⋣";
2005 utf82macro["⋣"] = "NotSquareSupersetEqual";
2006 macro2utf8["notindot"] = "⋶︀";
2007 utf82macro["⋶︀"] = "notindot";
2008 macro2utf8["HARDcy"] = "Ъ";
2009 utf82macro["Ъ"] = "HARDcy";
2010 macro2utf8["jmath"] = "j︀";
2011 utf82macro["j︀"] = "jmath";
2012 macro2utf8["aelig"] = "æ";
2013 utf82macro["æ"] = "aelig";
2014 macro2utf8["slarr"] = "←︀";
2015 utf82macro["←︀"] = "slarr";
2016 macro2utf8["dlcrop"] = "⌍";
2017 utf82macro["⌍"] = "dlcrop";
2018 macro2utf8["sube"] = "⊆";
2019 utf82macro["⊆"] = "sube";
2020 macro2utf8["cuepr"] = "⋞";
2021 utf82macro["⋞"] = "cuepr";
2022 macro2utf8["supsub"] = "⫔";
2023 utf82macro["⫔"] = "supsub";
2024 macro2utf8["trianglelefteq"] = "⊴";
2025 utf82macro["⊴"] = "trianglelefteq";
2026 macro2utf8["subne"] = "⊊";
2027 utf82macro["⊊"] = "subne";
2028 macro2utf8["between"] = "≬";
2029 utf82macro["≬"] = "between";
2030 macro2utf8["measuredangle"] = "∡";
2031 utf82macro["∡"] = "measuredangle";
2032 macro2utf8["swnwar"] = "⤪";
2033 utf82macro["⤪"] = "swnwar";
2034 macro2utf8["lcy"] = "л";
2035 utf82macro["л"] = "lcy";
2036 macro2utf8["ccirc"] = "ĉ";
2037 utf82macro["ĉ"] = "ccirc";
2038 macro2utf8["larrhk"] = "↩";
2039 utf82macro["↩"] = "larrhk";
2040 macro2utf8["DiacriticalTilde"] = "˜";
2041 utf82macro["˜"] = "DiacriticalTilde";
2042 macro2utf8["brvbar"] = "¦";
2043 utf82macro["¦"] = "brvbar";
2044 macro2utf8["triangledown"] = "▿";
2045 utf82macro["▿"] = "triangledown";
2046 macro2utf8["dtrif"] = "▾";
2047 utf82macro["▾"] = "dtrif";
2048 macro2utf8["Bopf"] = "𝔹";
2049 utf82macro["𝔹"] = "Bopf";
2050 macro2utf8["xwedge"] = "⋀";
2051 utf82macro["⋀"] = "xwedge";
2052 macro2utf8["rightsquigarrow"] = "↝";
2053 utf82macro["↝"] = "rightsquigarrow";
2054 macro2utf8["acd"] = "∿";
2055 utf82macro["∿"] = "acd";
2056 macro2utf8["supsup"] = "⫖";
2057 utf82macro["⫖"] = "supsup";
2058 macro2utf8["UpEquilibrium"] = "⥮";
2059 utf82macro["⥮"] = "UpEquilibrium";
2060 macro2utf8["succ"] = "≻";
2061 utf82macro["≻"] = "succ";
2062 macro2utf8["eqslantless"] = "⋜";
2063 utf82macro["⋜"] = "eqslantless";
2064 macro2utf8["coprod"] = "∐";
2065 utf82macro["∐"] = "coprod";
2066 macro2utf8["OpenCurlyDoubleQuote"] = "“";
2067 utf82macro["“"] = "OpenCurlyDoubleQuote";
2068 macro2utf8["NotGreaterSlantEqual"] = "≱";
2069 utf82macro["≱"] = "NotGreaterSlantEqual";
2070 macro2utf8["solb"] = "⧄";
2071 utf82macro["⧄"] = "solb";
2072 macro2utf8["HumpDownHump"] = "≎";
2073 utf82macro["≎"] = "HumpDownHump";
2074 macro2utf8["gtrapprox"] = "≳";
2075 utf82macro["≳"] = "gtrapprox";
2076 macro2utf8["Iopf"] = "𝕀";
2077 utf82macro["𝕀"] = "Iopf";
2078 macro2utf8["leg"] = "⋚";
2079 utf82macro["⋚"] = "leg";
2080 macro2utf8["wfr"] = "𝔴";
2081 utf82macro["𝔴"] = "wfr";
2082 macro2utf8["mapstoleft"] = "↤";
2083 utf82macro["↤"] = "mapstoleft";
2084 macro2utf8["gnapprox"] = "⪊";
2085 utf82macro["⪊"] = "gnapprox";
2086 macro2utf8["lgE"] = "⪑";
2087 utf82macro["⪑"] = "lgE";
2088 macro2utf8["CloseCurlyDoubleQuote"] = "”";
2089 utf82macro["”"] = "CloseCurlyDoubleQuote";
2090 macro2utf8["NotNestedLessLess"] = "⒡̸";
2091 utf82macro["⒡̸"] = "NotNestedLessLess";
2092 macro2utf8["acy"] = "а";
2093 utf82macro["а"] = "acy";
2094 macro2utf8["leq"] = "≤";
2095 utf82macro["≤"] = "leq";
2096 macro2utf8["Popf"] = "ℙ";
2097 utf82macro["ℙ"] = "Popf";
2098 macro2utf8["les"] = "⩽";
2099 utf82macro["⩽"] = "les";
2100 macro2utf8["succcurlyeq"] = "≽";
2101 utf82macro["≽"] = "succcurlyeq";
2102 macro2utf8["heartsuit"] = "♡";
2103 utf82macro["♡"] = "heartsuit";
2104 macro2utf8["angmsd"] = "∡";
2105 utf82macro["∡"] = "angmsd";
2106 macro2utf8["cuesc"] = "⋟";
2107 utf82macro["⋟"] = "cuesc";
2108 macro2utf8["lesseqgtr"] = "⋚";
2109 utf82macro["⋚"] = "lesseqgtr";
2110 macro2utf8["vartriangleright"] = "⊳";
2111 utf82macro["⊳"] = "vartriangleright";
2112 macro2utf8["csupe"] = "⫒";
2113 utf82macro["⫒"] = "csupe";
2114 macro2utf8["rthree"] = "⋌";
2115 utf82macro["⋌"] = "rthree";
2116 macro2utf8["Idot"] = "İ";
2117 utf82macro["İ"] = "Idot";
2118 macro2utf8["gtdot"] = "⋗";
2119 utf82macro["⋗"] = "gtdot";
2120 macro2utf8["dashv"] = "⊣";
2121 utf82macro["⊣"] = "dashv";
2122 macro2utf8["Odblac"] = "Ő";
2123 utf82macro["Ő"] = "Odblac";
2124 macro2utf8["Lmidot"] = "Ŀ";
2125 utf82macro["Ŀ"] = "Lmidot";
2126 macro2utf8["andd"] = "⩜";
2127 utf82macro["⩜"] = "andd";
2128 macro2utf8["Wopf"] = "𝕎";
2129 utf82macro["𝕎"] = "Wopf";
2130 macro2utf8["nvltrie"] = "⋬̸";
2131 utf82macro["⋬̸"] = "nvltrie";
2132 macro2utf8["nhpar"] = "⫲";
2133 utf82macro["⫲"] = "nhpar";
2134 macro2utf8["geqslant"] = "⩾";
2135 utf82macro["⩾"] = "geqslant";
2136 macro2utf8["xlArr"] = "";
2137 utf82macro[""] = "xlArr";
2138 macro2utf8["SquareSubset"] = "⊏";
2139 utf82macro["⊏"] = "SquareSubset";
2140 macro2utf8["intcal"] = "⊺";
2141 utf82macro["⊺"] = "intcal";
2142 macro2utf8["ljcy"] = "љ";
2143 utf82macro["љ"] = "ljcy";
2144 macro2utf8["lfr"] = "𝔩";
2145 utf82macro["𝔩"] = "lfr";
2146 macro2utf8["gtlPar"] = "⦕";
2147 utf82macro["⦕"] = "gtlPar";
2148 macro2utf8["zigrarr"] = "⇝";
2149 utf82macro["⇝"] = "zigrarr";
2150 macro2utf8["nvap"] = "≉̸";
2151 utf82macro["≉̸"] = "nvap";
2152 macro2utf8["boxtimes"] = "⊠";
2153 utf82macro["⊠"] = "boxtimes";
2154 macro2utf8["raquo"] = "»";
2155 utf82macro["»"] = "raquo";
2156 macro2utf8["CircleMinus"] = "⊖";
2157 utf82macro["⊖"] = "CircleMinus";
2158 macro2utf8["centerdot"] = "·";
2159 utf82macro["·"] = "centerdot";
2160 macro2utf8["xoplus"] = "⊕";
2161 utf82macro["⊕"] = "xoplus";
2162 macro2utf8["simdot"] = "⩪";
2163 utf82macro["⩪"] = "simdot";
2164 macro2utf8["Vcy"] = "В";
2165 utf82macro["В"] = "Vcy";
2166 macro2utf8["profline"] = "⌒";
2167 utf82macro["⌒"] = "profline";
2168 macro2utf8["ltquest"] = "⩻";
2169 utf82macro["⩻"] = "ltquest";
2170 macro2utf8["andv"] = "⩚";
2171 utf82macro["⩚"] = "andv";
2172 macro2utf8["lessgtr"] = "≶";
2173 utf82macro["≶"] = "lessgtr";
2174 macro2utf8["lesdoto"] = "⪁";
2175 utf82macro["⪁"] = "lesdoto";
2176 macro2utf8["NotSquareSubset"] = "⊏̸";
2177 utf82macro["⊏̸"] = "NotSquareSubset";
2178 macro2utf8["bullet"] = "•";
2179 utf82macro["•"] = "bullet";
2180 macro2utf8["rarrsim"] = "⥴";
2181 utf82macro["⥴"] = "rarrsim";
2182 macro2utf8["Tcedil"] = "Ţ";
2183 utf82macro["Ţ"] = "Tcedil";
2184 macro2utf8["Hstrok"] = "Ħ";
2185 utf82macro["Ħ"] = "Hstrok";
2186 macro2utf8["eopf"] = "𝕖";
2187 utf82macro["𝕖"] = "eopf";
2188 macro2utf8["Theta"] = "Θ";
2189 utf82macro["Θ"] = "Theta";
2190 macro2utf8["Cscr"] = "𝒞";
2191 utf82macro["𝒞"] = "Cscr";
2192 macro2utf8["emacr"] = "ē";
2193 utf82macro["ē"] = "emacr";
2194 macro2utf8["UnionPlus"] = "⊎";
2195 utf82macro["⊎"] = "UnionPlus";
2196 macro2utf8["Vee"] = "⋁";
2197 utf82macro["⋁"] = "Vee";
2198 macro2utf8["arctan"] = "arctan";
2199 utf82macro["arctan"] = "arctan";
2200 macro2utf8["afr"] = "𝔞";
2201 utf82macro["𝔞"] = "afr";
2202 macro2utf8["thinsp"] = " ";
2203 utf82macro[" "] = "thinsp";
2204 macro2utf8["bottom"] = "⊥";
2205 utf82macro["⊥"] = "bottom";
2206 macro2utf8["lopf"] = "𝕝";
2207 utf82macro["𝕝"] = "lopf";
2208 macro2utf8["larrlp"] = "↫";
2209 utf82macro["↫"] = "larrlp";
2210 macro2utf8["lbrace"] = "{";
2211 utf82macro["{"] = "lbrace";
2212 macro2utf8["Jscr"] = "𝒥";
2213 utf82macro["𝒥"] = "Jscr";
2214 macro2utf8["Kcy"] = "К";
2215 utf82macro["К"] = "Kcy";
2216 macro2utf8["shortparallel"] = "∥︀";
2217 utf82macro["∥︀"] = "shortparallel";
2218 macro2utf8["hairsp"] = " ";
2219 utf82macro[" "] = "hairsp";
2220 macro2utf8["osol"] = "⊘";
2221 utf82macro["⊘"] = "osol";
2222 macro2utf8["lbrack"] = "[";
2223 utf82macro["["] = "lbrack";
2224 macro2utf8["hArr"] = "⇔";
2225 utf82macro["⇔"] = "hArr";
2226 macro2utf8["vdash"] = "⊢";
2227 utf82macro["⊢"] = "vdash";
2228 macro2utf8["UpDownArrow"] = "↕";
2229 utf82macro["↕"] = "UpDownArrow";
2230 macro2utf8["edot"] = "ė";
2231 utf82macro["ė"] = "edot";
2232 macro2utf8["vzigzag"] = "⦚";
2233 utf82macro["⦚"] = "vzigzag";
2234 macro2utf8["sopf"] = "𝕤";
2235 utf82macro["𝕤"] = "sopf";
2236 macro2utf8["NotLessGreater"] = "≸";
2237 utf82macro["≸"] = "NotLessGreater";
2238 macro2utf8["Qscr"] = "𝒬";
2239 utf82macro["𝒬"] = "Qscr";
2240 macro2utf8["Gammad"] = "Ϝ";
2241 utf82macro["Ϝ"] = "Gammad";
2242 macro2utf8["SubsetEqual"] = "⊆";
2243 utf82macro["⊆"] = "SubsetEqual";
2244 macro2utf8["uplus"] = "⊎";
2245 utf82macro["⊎"] = "uplus";
2246 macro2utf8["LeftTriangle"] = "⊲";
2247 utf82macro["⊲"] = "LeftTriangle";
2248 macro2utf8["ange"] = "⦤";
2249 utf82macro["⦤"] = "ange";
2250 macro2utf8["lim"] = "lim";
2251 utf82macro["lim"] = "lim";
2252 macro2utf8["triangleright"] = "▹";
2253 utf82macro["▹"] = "triangleright";
2254 macro2utf8["angrt"] = "∟";
2255 utf82macro["∟"] = "angrt";
2256 macro2utf8["rfloor"] = "⌋";
2257 utf82macro["⌋"] = "rfloor";
2258 macro2utf8["bigtriangledown"] = "▽";
2259 utf82macro["▽"] = "bigtriangledown";
2260 macro2utf8["ofcir"] = "⦿";
2261 utf82macro["⦿"] = "ofcir";
2262 macro2utf8["Vfr"] = "𝔙";
2263 utf82macro["𝔙"] = "Vfr";
2264 macro2utf8["zopf"] = "𝕫";
2265 utf82macro["𝕫"] = "zopf";
2266 macro2utf8["UpArrowDownArrow"] = "⇅";
2267 utf82macro["⇅"] = "UpArrowDownArrow";
2268 macro2utf8["Xscr"] = "𝒳";
2269 utf82macro["𝒳"] = "Xscr";
2270 macro2utf8["digamma"] = "Ϝ";
2271 utf82macro["Ϝ"] = "digamma";
2272 macro2utf8["SmallCircle"] = "∘";
2273 utf82macro["∘"] = "SmallCircle";
2274 macro2utf8["vArr"] = "⇕";
2275 utf82macro["⇕"] = "vArr";
2276 macro2utf8["eqsim"] = "≂";
2277 utf82macro["≂"] = "eqsim";
2278 macro2utf8["downharpoonright"] = "⇂";
2279 utf82macro["⇂"] = "downharpoonright";
2280 macro2utf8["Ccaron"] = "Č";
2281 utf82macro["Č"] = "Ccaron";
2282 macro2utf8["sdot"] = "⋅";
2283 utf82macro["⋅"] = "sdot";
2284 macro2utf8["frown"] = "⌢";
2285 utf82macro["⌢"] = "frown";
2286 macro2utf8["angst"] = "Å";
2287 utf82macro["Å"] = "angst";
2288 macro2utf8["lesges"] = "⪓";
2289 utf82macro["⪓"] = "lesges";
2290 macro2utf8["iacute"] = "í";
2291 utf82macro["í"] = "iacute";
2292 macro2utf8["wedge"] = "∧";
2293 utf82macro["∧"] = "wedge";
2294 macro2utf8["ssetmn"] = "∖︀";
2295 utf82macro["∖︀"] = "ssetmn";
2296 macro2utf8["rotimes"] = "⨵";
2297 utf82macro["⨵"] = "rotimes";
2298 macro2utf8["laquo"] = "«";
2299 utf82macro["«"] = "laquo";
2300 macro2utf8["bigstar"] = "★";
2301 utf82macro["★"] = "bigstar";
2302 macro2utf8["Rrightarrow"] = "⇛";
2303 utf82macro["⇛"] = "Rrightarrow";
2304 macro2utf8["erDot"] = "≓";
2305 utf82macro["≓"] = "erDot";
2306 macro2utf8["subseteq"] = "⊆";
2307 utf82macro["⊆"] = "subseteq";
2308 macro2utf8["leftharpoondown"] = "↽";
2309 utf82macro["↽"] = "leftharpoondown";
2310 macro2utf8["infin"] = "∞";
2311 utf82macro["∞"] = "infin";
2312 macro2utf8["zdot"] = "ż";
2313 utf82macro["ż"] = "zdot";
2314 macro2utf8["solbar"] = "⌿";
2315 utf82macro["⌿"] = "solbar";
2316 macro2utf8["Iuml"] = "Ï";
2317 utf82macro["Ï"] = "Iuml";
2318 macro2utf8["Kfr"] = "𝔎";
2319 utf82macro["𝔎"] = "Kfr";
2320 macro2utf8["fscr"] = "𝒻";
2321 utf82macro["𝒻"] = "fscr";
2322 macro2utf8["DJcy"] = "Ђ";
2323 utf82macro["Ђ"] = "DJcy";
2324 macro2utf8["veeeq"] = "≚";
2325 utf82macro["≚"] = "veeeq";
2326 macro2utf8["Star"] = "⋆";
2327 utf82macro["⋆"] = "Star";
2328 macro2utf8["lsquor"] = "‚";
2329 utf82macro["‚"] = "lsquor";
2330 macro2utf8["Uacute"] = "Ú";
2331 utf82macro["Ú"] = "Uacute";
2332 macro2utf8["weierp"] = "℘";
2333 utf82macro["℘"] = "weierp";
2334 macro2utf8["rang"] = "〉";
2335 utf82macro["〉"] = "rang";
2336 macro2utf8["hamilt"] = "ℋ";
2337 utf82macro["ℋ"] = "hamilt";
2338 macro2utf8["angsph"] = "∢";
2339 utf82macro["∢"] = "angsph";
2340 macro2utf8["YUcy"] = "Ю";
2341 utf82macro["Ю"] = "YUcy";
2342 macro2utf8["Wcirc"] = "Ŵ";
2343 utf82macro["Ŵ"] = "Wcirc";
2344 macro2utf8["supsetneq"] = "⊋";
2345 utf82macro["⊋"] = "supsetneq";
2346 macro2utf8["gap"] = "≳";
2347 utf82macro["≳"] = "gap";
2348 macro2utf8["mscr"] = "𝓂";
2349 utf82macro["𝓂"] = "mscr";
2350 macro2utf8["KJcy"] = "Ќ";
2351 utf82macro["Ќ"] = "KJcy";
2352 macro2utf8["qprime"] = "⁗";
2353 utf82macro["⁗"] = "qprime";
2354 macro2utf8["EqualTilde"] = "≂";
2355 utf82macro["≂"] = "EqualTilde";
2356 macro2utf8["vBar"] = "⫨";
2357 utf82macro["⫨"] = "vBar";
2358 macro2utf8["larrpl"] = "⤹";
2359 utf82macro["⤹"] = "larrpl";
2360 macro2utf8["nvge"] = "≱";
2361 utf82macro["≱"] = "nvge";
2362 macro2utf8["approx"] = "≈";
2363 utf82macro["≈"] = "approx";
2364 macro2utf8["lnE"] = "≨";
2365 utf82macro["≨"] = "lnE";
2366 macro2utf8["NotGreaterLess"] = "≹";
2367 utf82macro["≹"] = "NotGreaterLess";
2368 macro2utf8["epar"] = "⋕";
2369 utf82macro["⋕"] = "epar";
2370 macro2utf8["bigotimes"] = "⊗";
2371 utf82macro["⊗"] = "bigotimes";
2372 macro2utf8["xharr"] = "";
2373 utf82macro[""] = "xharr";
2374 macro2utf8["roang"] = "";
2375 utf82macro[""] = "roang";
2376 macro2utf8["xcup"] = "⋃";
2377 utf82macro["⋃"] = "xcup";
2378 macro2utf8["tscr"] = "𝓉";
2379 utf82macro["𝓉"] = "tscr";
2380 macro2utf8["thkap"] = "≈︀";
2381 utf82macro["≈︀"] = "thkap";
2382 macro2utf8["Aacute"] = "Á";
2383 utf82macro["Á"] = "Aacute";
2384 macro2utf8["rcy"] = "р";
2385 utf82macro["р"] = "rcy";
2386 macro2utf8["jukcy"] = "є";
2387 utf82macro["є"] = "jukcy";
2388 macro2utf8["hookleftarrow"] = "↩";
2389 utf82macro["↩"] = "hookleftarrow";
2390 macro2utf8["napid"] = "≋̸";
2391 utf82macro["≋̸"] = "napid";
2392 macro2utf8["tscy"] = "ц";
2393 utf82macro["ц"] = "tscy";
2394 macro2utf8["nvgt"] = "≯";
2395 utf82macro["≯"] = "nvgt";
2396 macro2utf8["lpar"] = "(";
2397 utf82macro["("] = "lpar";
2398 macro2utf8["ldsh"] = "↲";
2399 utf82macro["↲"] = "ldsh";
2400 macro2utf8["aring"] = "å";
2401 utf82macro["å"] = "aring";
2402 macro2utf8["nGg"] = "⋙̸";
2403 utf82macro["⋙̸"] = "nGg";
2404 macro2utf8["LessEqualGreater"] = "⋚";
2405 utf82macro["⋚"] = "LessEqualGreater";
2406 macro2utf8["gcd"] = "gcd";
2407 utf82macro["gcd"] = "gcd";
2408 macro2utf8["oplus"] = "⊕";
2409 utf82macro["⊕"] = "oplus";
2410 macro2utf8["lcaron"] = "ľ";
2411 utf82macro["ľ"] = "lcaron";
2412 macro2utf8["DownArrow"] = "↓";
2413 utf82macro["↓"] = "DownArrow";
2414 macro2utf8["xutri"] = "△";
2415 utf82macro["△"] = "xutri";
2416 macro2utf8["Psi"] = "Ψ";
2417 utf82macro["Ψ"] = "Psi";
2418 macro2utf8["lesssim"] = "≲";
2419 utf82macro["≲"] = "lesssim";
2420 macro2utf8["topcir"] = "⫱";
2421 utf82macro["⫱"] = "topcir";
2422 macro2utf8["puncsp"] = " ";
2423 utf82macro[" "] = "puncsp";
2424 macro2utf8["origof"] = "⊶";
2425 utf82macro["⊶"] = "origof";
2426 macro2utf8["gnsim"] = "⋧";
2427 utf82macro["⋧"] = "gnsim";
2428 macro2utf8["eogon"] = "ę";
2429 utf82macro["ę"] = "eogon";
2430 macro2utf8["spar"] = "∥︀";
2431 utf82macro["∥︀"] = "spar";
2432 macro2utf8["LowerRightArrow"] = "↘";
2433 utf82macro["↘"] = "LowerRightArrow";
2434 macro2utf8["Lleftarrow"] = "⇚";
2435 utf82macro["⇚"] = "Lleftarrow";
2436 macro2utf8["nGt"] = "≫̸";
2437 utf82macro["≫̸"] = "nGt";
2438 macro2utf8["euml"] = "ë";
2439 utf82macro["ë"] = "euml";
2440 macro2utf8["reg"] = "®";
2441 utf82macro["®"] = "reg";
2442 macro2utf8["exponentiale"] = "ⅇ";
2443 utf82macro["ⅇ"] = "exponentiale";
2444 macro2utf8["qint"] = "⨌";
2445 utf82macro["⨌"] = "qint";
2446 macro2utf8["sqcups"] = "⊔︀";
2447 utf82macro["⊔︀"] = "sqcups";
2448 macro2utf8["lne"] = "≨";
2449 utf82macro["≨"] = "lne";
2450 macro2utf8["LessSlantEqual"] = "⩽";
2451 utf82macro["⩽"] = "LessSlantEqual";
2452 macro2utf8["Egrave"] = "È";
2453 utf82macro["È"] = "Egrave";
2454 macro2utf8["orderof"] = "ℴ";
2455 utf82macro["ℴ"] = "orderof";
2456 macro2utf8["cirE"] = "⧃";
2457 utf82macro["⧃"] = "cirE";
2458 macro2utf8["nleqslant"] = "≰";
2459 utf82macro["≰"] = "nleqslant";
2460 macro2utf8["gcy"] = "г";
2461 utf82macro["г"] = "gcy";
2462 macro2utf8["curvearrowright"] = "↷";
2463 utf82macro["↷"] = "curvearrowright";
2464 macro2utf8["ratail"] = "↣";
2465 utf82macro["↣"] = "ratail";
2466 macro2utf8["emsp13"] = " ";
2467 utf82macro[" "] = "emsp13";
2468 macro2utf8["sdotb"] = "⊡";
2469 utf82macro["⊡"] = "sdotb";
2470 macro2utf8["horbar"] = "―";
2471 utf82macro["―"] = "horbar";
2472 macro2utf8["emsp14"] = " ";
2473 utf82macro[" "] = "emsp14";
2474 macro2utf8["npre"] = "⪯̸";
2475 utf82macro["⪯̸"] = "npre";
2476 macro2utf8["rbrksld"] = "⦎";
2477 utf82macro["⦎"] = "rbrksld";
2478 macro2utf8["sdote"] = "⩦";
2479 utf82macro["⩦"] = "sdote";
2480 macro2utf8["varsupsetneqq"] = "⊋︀";
2481 utf82macro["⊋︀"] = "varsupsetneqq";
2482 macro2utf8["VeryThinSpace"] = " ";
2483 utf82macro[" "] = "VeryThinSpace";
2484 macro2utf8["DownArrowBar"] = "⤓";
2485 utf82macro["⤓"] = "DownArrowBar";
2486 macro2utf8["Rightarrow"] = "⇒";
2487 utf82macro["⇒"] = "Rightarrow";
2488 macro2utf8["ocir"] = "⊚";
2489 utf82macro["⊚"] = "ocir";
2490 macro2utf8["NotHumpDownHump"] = "≎̸";
2491 utf82macro["≎̸"] = "NotHumpDownHump";
2492 macro2utf8["darr"] = "↓";
2493 utf82macro["↓"] = "darr";
2494 macro2utf8["geqq"] = "≧";
2495 utf82macro["≧"] = "geqq";
2496 macro2utf8["sup1"] = "¹";
2497 utf82macro["¹"] = "sup1";
2498 macro2utf8["log"] = "log";
2499 utf82macro["log"] = "log";
2500 macro2utf8["sup2"] = "²";
2501 utf82macro["²"] = "sup2";
2502 macro2utf8["micro"] = "µ";
2503 utf82macro["µ"] = "micro";
2504 macro2utf8["amp"] = "&";
2505 utf82macro["&"] = "amp";
2506 macro2utf8["arccos"] = "arccos";
2507 utf82macro["arccos"] = "arccos";
2508 macro2utf8["sup3"] = "³";
2509 utf82macro["³"] = "sup3";
2510 macro2utf8["GreaterTilde"] = "≳";
2511 utf82macro["≳"] = "GreaterTilde";
2512 macro2utf8["circeq"] = "≗";
2513 utf82macro["≗"] = "circeq";
2514 macro2utf8["rfr"] = "𝔯";
2515 utf82macro["𝔯"] = "rfr";
2516 macro2utf8["dash"] = "‐";
2517 utf82macro["‐"] = "dash";
2518 macro2utf8["rbrkslu"] = "⦐";
2519 utf82macro["⦐"] = "rbrkslu";
2520 macro2utf8["Dcaron"] = "Ď";
2521 utf82macro["Ď"] = "Dcaron";
2522 macro2utf8["and"] = "∧";
2523 utf82macro["∧"] = "and";
2524 macro2utf8["Vbar"] = "⫫";
2525 utf82macro["⫫"] = "Vbar";
2526 macro2utf8["angzarr"] = "⍼";
2527 utf82macro["⍼"] = "angzarr";
2528 macro2utf8["gel"] = "⋛";
2529 utf82macro["⋛"] = "gel";
2530 macro2utf8["ang"] = "∠";
2531 utf82macro["∠"] = "ang";
2532 macro2utf8["lor"] = "∨";
2533 utf82macro["∨"] = "lor";
2534 macro2utf8["circ"] = "∘";
2535 utf82macro["∘"] = "circ";
2536 macro2utf8["upharpoonright"] = "↾";
2537 utf82macro["↾"] = "upharpoonright";
2538 macro2utf8["dblac"] = "˝";
2539 utf82macro["˝"] = "dblac";
2540 macro2utf8["subsetneqq"] = "⊊";
2541 utf82macro["⊊"] = "subsetneqq";
2542 macro2utf8["rhard"] = "⇁";
2543 utf82macro["⇁"] = "rhard";
2544 macro2utf8["Intersection"] = "⋂";
2545 utf82macro["⋂"] = "Intersection";
2546 macro2utf8["cire"] = "≗";
2547 utf82macro["≗"] = "cire";
2548 macro2utf8["apE"] = "≊";
2549 utf82macro["≊"] = "apE";
2550 macro2utf8["sung"] = "♪";
2551 utf82macro["♪"] = "sung";
2552 macro2utf8["geq"] = "≥";
2553 utf82macro["≥"] = "geq";
2554 macro2utf8["succsim"] = "≿";
2555 utf82macro["≿"] = "succsim";
2556 macro2utf8["ges"] = "⩾";
2557 utf82macro["⩾"] = "ges";
2558 macro2utf8["Gbreve"] = "Ğ";
2559 utf82macro["Ğ"] = "Gbreve";
2560 macro2utf8["intercal"] = "⊺";
2561 utf82macro["⊺"] = "intercal";
2562 macro2utf8["supE"] = "⊇";
2563 utf82macro["⊇"] = "supE";
2564 macro2utf8["NotCupCap"] = "≭";
2565 utf82macro["≭"] = "NotCupCap";
2566 macro2utf8["loz"] = "◊";
2567 utf82macro["◊"] = "loz";
2568 macro2utf8["capcup"] = "⩇";
2569 utf82macro["⩇"] = "capcup";
2570 macro2utf8["larrtl"] = "↢";
2571 utf82macro["↢"] = "larrtl";
2572 macro2utf8["AElig"] = "Æ";
2573 utf82macro["Æ"] = "AElig";
2574 macro2utf8["rarr"] = "→";
2575 utf82macro["→"] = "rarr";
2576 macro2utf8["varkappa"] = "ϰ";
2577 utf82macro["ϰ"] = "varkappa";
2578 macro2utf8["upsi"] = "υ";
2579 utf82macro["υ"] = "upsi";
2580 macro2utf8["loang"] = "";
2581 utf82macro[""] = "loang";
2582 macro2utf8["looparrowleft"] = "↫";
2583 utf82macro["↫"] = "looparrowleft";
2584 macro2utf8["IOcy"] = "Ё";
2585 utf82macro["Ё"] = "IOcy";
2586 macro2utf8["backprime"] = "‵";
2587 utf82macro["‵"] = "backprime";
2588 macro2utf8["sstarf"] = "⋆";
2589 utf82macro["⋆"] = "sstarf";
2590 macro2utf8["rharu"] = "⇀";
2591 utf82macro["⇀"] = "rharu";
2592 macro2utf8["gesl"] = "⋛︀";
2593 utf82macro["⋛︀"] = "gesl";
2594 macro2utf8["xotime"] = "⊗";
2595 utf82macro["⊗"] = "xotime";
2596 macro2utf8["minus"] = "−";
2597 utf82macro["−"] = "minus";
2598 macro2utf8["gvnE"] = "≩︀";
2599 utf82macro["≩︀"] = "gvnE";
2600 macro2utf8["gfr"] = "𝔤";
2601 utf82macro["𝔤"] = "gfr";
2602 macro2utf8["lfisht"] = "⥼";
2603 utf82macro["⥼"] = "lfisht";
2604 macro2utf8["jcirc"] = "ĵ";
2605 utf82macro["ĵ"] = "jcirc";
2606 macro2utf8["roarr"] = "⇾";
2607 utf82macro["⇾"] = "roarr";
2608 macro2utf8["rho"] = "ρ";
2609 utf82macro["ρ"] = "rho";
2610 macro2utf8["nvle"] = "≰";
2611 utf82macro["≰"] = "nvle";
2612 macro2utf8["sect"] = "§";
2613 utf82macro["§"] = "sect";
2614 macro2utf8["ggg"] = "⋙";
2615 utf82macro["⋙"] = "ggg";
2616 macro2utf8["plusb"] = "⊞";
2617 utf82macro["⊞"] = "plusb";
2618 macro2utf8["NotTildeFullEqual"] = "≇";
2619 utf82macro["≇"] = "NotTildeFullEqual";
2620 macro2utf8["NegativeVeryThinSpace"] = " ︀";
2621 utf82macro[" ︀"] = "NegativeVeryThinSpace";
2622 macro2utf8["ape"] = "≊";
2623 utf82macro["≊"] = "ape";
2624 macro2utf8["pluse"] = "⩲";
2625 utf82macro["⩲"] = "pluse";
2626 macro2utf8["dollar"] = "$";
2627 utf82macro["$"] = "dollar";
2628 macro2utf8["divonx"] = "⋇";
2629 utf82macro["⋇"] = "divonx";
2630 macro2utf8["partial"] = "∂";
2631 utf82macro["∂"] = "partial";
2632 macro2utf8["DoubleLeftRightArrow"] = "⇔";
2633 utf82macro["⇔"] = "DoubleLeftRightArrow";
2634 macro2utf8["varepsilon"] = "ε";
2635 utf82macro["ε"] = "varepsilon";
2636 macro2utf8["supe"] = "⊇";
2637 utf82macro["⊇"] = "supe";
2638 macro2utf8["nvlt"] = "≮";
2639 utf82macro["≮"] = "nvlt";
2640 macro2utf8["angrtvb"] = "⦝︀";
2641 utf82macro["⦝︀"] = "angrtvb";
2642 macro2utf8["gets"] = "←";
2643 utf82macro["←"] = "gets";
2644 macro2utf8["nparallel"] = "∦";
2645 utf82macro["∦"] = "nparallel";
2646 macro2utf8["varphi"] = "φ";
2647 utf82macro["φ"] = "varphi";
2648 macro2utf8["nsupseteq"] = "⊉";
2649 utf82macro["⊉"] = "nsupseteq";
2650 macro2utf8["circledR"] = "®";
2651 utf82macro["®"] = "circledR";
2652 macro2utf8["circledS"] = "Ⓢ";
2653 utf82macro["Ⓢ"] = "circledS";
2654 macro2utf8["primes"] = "ℙ";
2655 utf82macro["ℙ"] = "primes";
2656 macro2utf8["cuwed"] = "⋏";
2657 utf82macro["⋏"] = "cuwed";
2658 macro2utf8["cupcap"] = "⩆";
2659 utf82macro["⩆"] = "cupcap";
2660 macro2utf8["nLl"] = "⋘̸";
2661 utf82macro["⋘̸"] = "nLl";
2662 macro2utf8["lozf"] = "⧫";
2663 utf82macro["⧫"] = "lozf";
2664 macro2utf8["ShortLeftArrow"] = "←︀";
2665 utf82macro["←︀"] = "ShortLeftArrow";
2666 macro2utf8["nLt"] = "≪̸";
2667 utf82macro["≪̸"] = "nLt";
2668 macro2utf8["lesdotor"] = "⪃";
2669 utf82macro["⪃"] = "lesdotor";
2670 macro2utf8["Fcy"] = "Ф";
2671 utf82macro["Ф"] = "Fcy";
2672 macro2utf8["scnsim"] = "⋩";
2673 utf82macro["⋩"] = "scnsim";
2674 macro2utf8["VerticalLine"] = "|";
2675 utf82macro["|"] = "VerticalLine";
2676 macro2utf8["nwArr"] = "⇖";
2677 utf82macro["⇖"] = "nwArr";
2678 macro2utf8["LeftTeeArrow"] = "↤";
2679 utf82macro["↤"] = "LeftTeeArrow";
2680 macro2utf8["iprod"] = "⨼";
2681 utf82macro["⨼"] = "iprod";
2682 macro2utf8["lsh"] = "↰";
2683 utf82macro["↰"] = "lsh";
2684 macro2utf8["Congruent"] = "≡";
2685 utf82macro["≡"] = "Congruent";
2686 macro2utf8["NotLeftTriangle"] = "⋪";
2687 utf82macro["⋪"] = "NotLeftTriangle";
2688 macro2utf8["rdldhar"] = "⥩";
2689 utf82macro["⥩"] = "rdldhar";
2690 macro2utf8["varpropto"] = "∝";
2691 utf82macro["∝"] = "varpropto";
2692 macro2utf8["nvlArr"] = "⇍";
2693 utf82macro["⇍"] = "nvlArr";
2694 macro2utf8["arg"] = "arg";
2695 utf82macro["arg"] = "arg";
2696 macro2utf8["lhard"] = "↽";
2697 utf82macro["↽"] = "lhard";
2698 macro2utf8["surd"] = "????";
2699 utf82macro["????"] = "surd";
2700 macro2utf8["napos"] = "ʼn";
2701 utf82macro["ʼn"] = "napos";
2702 macro2utf8["lparlt"] = "⦓";
2703 utf82macro["⦓"] = "lparlt";
2704 macro2utf8["hslash"] = "ℏ";
2705 utf82macro["ℏ"] = "hslash";
2706 macro2utf8["Gopf"] = "𝔾";
2707 utf82macro["𝔾"] = "Gopf";
2708 macro2utf8["SHcy"] = "Ш";
2709 utf82macro["Ш"] = "SHcy";
2710 macro2utf8["triangle"] = "▵";
2711 utf82macro["▵"] = "triangle";
2712 macro2utf8["Qfr"] = "𝔔";
2713 utf82macro["𝔔"] = "Qfr";
2714 macro2utf8["DiacriticalAcute"] = "´";
2715 utf82macro["´"] = "DiacriticalAcute";
2716 macro2utf8["tbrk"] = "⎴";
2717 utf82macro["⎴"] = "tbrk";
2718 macro2utf8["Implies"] = "⇒";
2719 utf82macro["⇒"] = "Implies";
2720 macro2utf8["comp"] = "∁";
2721 utf82macro["∁"] = "comp";
2722 macro2utf8["ddarr"] = "⇊";
2723 utf82macro["⇊"] = "ddarr";
2724 macro2utf8["Colone"] = "⩴";
2725 utf82macro["⩴"] = "Colone";
2726 macro2utf8["smashp"] = "⨳";
2727 utf82macro["⨳"] = "smashp";
2728 macro2utf8["ccups"] = "⩌";
2729 utf82macro["⩌"] = "ccups";
2730 macro2utf8["triangleq"] = "≜";
2731 utf82macro["≜"] = "triangleq";
2732 macro2utf8["NotSquareSubsetEqual"] = "⋢";
2733 utf82macro["⋢"] = "NotSquareSubsetEqual";
2734 macro2utf8["Nopf"] = "ℕ";
2735 utf82macro["ℕ"] = "Nopf";
2736 macro2utf8["ZHcy"] = "Ж";
2737 utf82macro["Ж"] = "ZHcy";
2738 macro2utf8["map"] = "↦";
2739 utf82macro["↦"] = "map";
2740 macro2utf8["lharu"] = "↼";
2741 utf82macro["↼"] = "lharu";
2742 macro2utf8["glE"] = "⪒";
2743 utf82macro["⪒"] = "glE";
2744 macro2utf8["cong"] = "≅";
2745 utf82macro["≅"] = "cong";
2746 macro2utf8["Ecaron"] = "Ě";
2747 utf82macro["Ě"] = "Ecaron";
2748 macro2utf8["Uring"] = "Ů";
2749 utf82macro["Ů"] = "Uring";
2750 macro2utf8["blacktriangleright"] = "▸";
2751 utf82macro["▸"] = "blacktriangleright";
2752 macro2utf8["ntilde"] = "ñ";
2753 utf82macro["ñ"] = "ntilde";
2754 macro2utf8["max"] = "max";
2755 utf82macro["max"] = "max";
2756 macro2utf8["loarr"] = "⇽";
2757 utf82macro["⇽"] = "loarr";
2758 macro2utf8["LeftArrow"] = "←";
2759 utf82macro["←"] = "LeftArrow";
2760 macro2utf8["Gdot"] = "Ġ";
2761 utf82macro["Ġ"] = "Gdot";
2762 macro2utf8["Uopf"] = "𝕌";
2763 utf82macro["𝕌"] = "Uopf";
2764 macro2utf8["bigsqcup"] = "⊔";
2765 utf82macro["⊔"] = "bigsqcup";
2766 macro2utf8["wedgeq"] = "≙";
2767 utf82macro["≙"] = "wedgeq";
2768 macro2utf8["RoundImplies"] = "⥰";
2769 utf82macro["⥰"] = "RoundImplies";
2770 macro2utf8["prap"] = "≾";
2771 utf82macro["≾"] = "prap";
2772 macro2utf8["gescc"] = "⪩";
2773 utf82macro["⪩"] = "gescc";
2774 macro2utf8["realine"] = "ℛ";
2775 utf82macro["ℛ"] = "realine";
2776 macro2utf8["ast"] = "*";
2777 utf82macro["*"] = "ast";
2778 macro2utf8["subedot"] = "⫃";
2779 utf82macro["⫃"] = "subedot";
2780 macro2utf8["LeftTeeVector"] = "⥚";
2781 utf82macro["⥚"] = "LeftTeeVector";
2782 macro2utf8["female"] = "♀";
2783 utf82macro["♀"] = "female";
2784 macro2utf8["circlearrowleft"] = "↺";
2785 utf82macro["↺"] = "circlearrowleft";
2786 macro2utf8["Ffr"] = "𝔉";
2787 utf82macro["𝔉"] = "Ffr";
2788 macro2utf8["VDash"] = "⊫";
2789 utf82macro["⊫"] = "VDash";
2790 macro2utf8["jsercy"] = "ј";
2791 utf82macro["ј"] = "jsercy";
2792 macro2utf8["Proportional"] = "∝";
2793 utf82macro["∝"] = "Proportional";
2794 macro2utf8["OverBracket"] = "⎴";
2795 utf82macro["⎴"] = "OverBracket";
2796 macro2utf8["gla"] = "⪥";
2797 utf82macro["⪥"] = "gla";
2798 macro2utf8["NotElement"] = "∉";
2799 utf82macro["∉"] = "NotElement";
2800 macro2utf8["theta"] = "θ";
2801 utf82macro["θ"] = "theta";
2802 macro2utf8["kcedil"] = "ķ";
2803 utf82macro["ķ"] = "kcedil";
2804 macro2utf8["smeparsl"] = "⧤";
2805 utf82macro["⧤"] = "smeparsl";
2806 macro2utf8["rarrb"] = "⇥";
2807 utf82macro["⇥"] = "rarrb";
2808 macro2utf8["rarrc"] = "⤳";
2809 utf82macro["⤳"] = "rarrc";
2810 macro2utf8["ograve"] = "ò";
2811 utf82macro["ò"] = "ograve";
2812 macro2utf8["glj"] = "⪤";
2813 utf82macro["⪤"] = "glj";
2814 macro2utf8["infty"] = "∞";
2815 utf82macro["∞"] = "infty";
2816 macro2utf8["gnE"] = "≩";
2817 utf82macro["≩"] = "gnE";
2818 macro2utf8["copf"] = "𝕔";
2819 utf82macro["𝕔"] = "copf";
2820 macro2utf8["LeftArrowRightArrow"] = "⇆";
2821 utf82macro["⇆"] = "LeftArrowRightArrow";
2822 macro2utf8["cwconint"] = "∲";
2823 utf82macro["∲"] = "cwconint";
2824 macro2utf8["Ascr"] = "𝒜";
2825 utf82macro["𝒜"] = "Ascr";
2826 macro2utf8["NegativeThinSpace"] = " ︀";
2827 utf82macro[" ︀"] = "NegativeThinSpace";
2828 macro2utf8["varsubsetneq"] = "⊊︀";
2829 utf82macro["⊊︀"] = "varsubsetneq";
2830 macro2utf8["trisb"] = "⧍";
2831 utf82macro["⧍"] = "trisb";
2832 macro2utf8["rightharpoonup"] = "⇀";
2833 utf82macro["⇀"] = "rightharpoonup";
2834 macro2utf8["imagline"] = "ℐ";
2835 utf82macro["ℐ"] = "imagline";
2836 macro2utf8["mcy"] = "м";
2837 utf82macro["м"] = "mcy";
2838 macro2utf8["Cacute"] = "Ć";
2839 utf82macro["Ć"] = "Cacute";
2840 macro2utf8["bumpeq"] = "≏";
2841 utf82macro["≏"] = "bumpeq";
2842 macro2utf8["jopf"] = "𝕛";
2843 utf82macro["𝕛"] = "jopf";
2844 macro2utf8["shchcy"] = "щ";
2845 utf82macro["щ"] = "shchcy";
2846 macro2utf8["rarrw"] = "↝";
2847 utf82macro["↝"] = "rarrw";
2848 macro2utf8["uuarr"] = "⇈";
2849 utf82macro["⇈"] = "uuarr";
2850 macro2utf8["doteq"] = "≐";
2851 utf82macro["≐"] = "doteq";
2852 macro2utf8["cudarrl"] = "⤸";
2853 utf82macro["⤸"] = "cudarrl";
2854 macro2utf8["varsigma"] = "ς";
2855 utf82macro["ς"] = "varsigma";
2856 macro2utf8["Hscr"] = "ℋ";
2857 utf82macro["ℋ"] = "Hscr";
2858 macro2utf8["DownArrowUpArrow"] = "⇵";
2859 utf82macro["⇵"] = "DownArrowUpArrow";
2860 macro2utf8["Ecirc"] = "Ê";
2861 utf82macro["Ê"] = "Ecirc";
2862 macro2utf8["DD"] = "ⅅ";
2863 utf82macro["ⅅ"] = "DD";
2864 macro2utf8["copy"] = "©";
2865 utf82macro["©"] = "copy";
2866 macro2utf8["SquareIntersection"] = "⊓";
2867 utf82macro["⊓"] = "SquareIntersection";
2868 macro2utf8["RightUpVector"] = "↾";
2869 utf82macro["↾"] = "RightUpVector";
2870 macro2utf8["NotSucceedsSlantEqual"] = "⋡";
2871 utf82macro["⋡"] = "NotSucceedsSlantEqual";
2872 macro2utf8["cudarrr"] = "⤵";
2873 utf82macro["⤵"] = "cudarrr";
2874 macro2utf8["verbar"] = "|";
2875 utf82macro["|"] = "verbar";
2876 macro2utf8["ncaron"] = "ň";
2877 utf82macro["ň"] = "ncaron";
2878 macro2utf8["prurel"] = "⊰";
2879 utf82macro["⊰"] = "prurel";
2880 macro2utf8["nearr"] = "↗";
2881 utf82macro["↗"] = "nearr";
2882 macro2utf8["cdot"] = "ċ";
2883 utf82macro["ċ"] = "cdot";
2884 macro2utf8["qopf"] = "𝕢";
2885 utf82macro["𝕢"] = "qopf";
2886 macro2utf8["SucceedsSlantEqual"] = "≽";
2887 utf82macro["≽"] = "SucceedsSlantEqual";
2888 macro2utf8["Oscr"] = "𝒪";
2889 utf82macro["𝒪"] = "Oscr";
2890 macro2utf8["xfr"] = "𝔵";
2891 utf82macro["𝔵"] = "xfr";
2892 macro2utf8["gne"] = "≩";
2893 utf82macro["≩"] = "gne";
2894 macro2utf8["Ccedil"] = "Ç";
2895 utf82macro["Ç"] = "Ccedil";
2896 macro2utf8["nlarr"] = "↚";
2897 utf82macro["↚"] = "nlarr";
2898 macro2utf8["inodot"] = "ı";
2899 utf82macro["ı"] = "inodot";
2900 macro2utf8["prec"] = "≺";
2901 utf82macro["≺"] = "prec";
2902 macro2utf8["percnt"] = "%";
2903 utf82macro["%"] = "percnt";
2904 macro2utf8["Exists"] = "∃";
2905 utf82macro["∃"] = "Exists";
2906 macro2utf8["bcy"] = "б";
2907 utf82macro["б"] = "bcy";
2908 macro2utf8["xopf"] = "𝕩";
2909 utf82macro["𝕩"] = "xopf";
2910 macro2utf8["nsimeq"] = "≄";
2911 utf82macro["≄"] = "nsimeq";
2912 macro2utf8["nrtri"] = "⋫";
2913 utf82macro["⋫"] = "nrtri";
2914 macro2utf8["barvee"] = "⊽";
2915 utf82macro["⊽"] = "barvee";
2916 macro2utf8["Vscr"] = "𝒱";
2917 utf82macro["𝒱"] = "Vscr";
2918 macro2utf8["Zcaron"] = "Ž";
2919 utf82macro["Ž"] = "Zcaron";
2920 macro2utf8["ReverseElement"] = "∋";
2921 utf82macro["∋"] = "ReverseElement";
2922 macro2utf8["npolint"] = "⨔";
2923 utf82macro["⨔"] = "npolint";
2924 macro2utf8["NotGreaterTilde"] = "≵";
2925 utf82macro["≵"] = "NotGreaterTilde";
2926 macro2utf8["lmoustache"] = "⎰";
2927 utf82macro["⎰"] = "lmoustache";
2928 macro2utf8["forkv"] = "⫙";
2929 utf82macro["⫙"] = "forkv";
2930 macro2utf8["rmoustache"] = "⎱";
2931 utf82macro["⎱"] = "rmoustache";
2932 macro2utf8["DownLeftVectorBar"] = "⥖";
2933 utf82macro["⥖"] = "DownLeftVectorBar";
2934 macro2utf8["cosh"] = "cosh";
2935 utf82macro["cosh"] = "cosh";
2936 macro2utf8["mfr"] = "𝔪";
2937 utf82macro["𝔪"] = "mfr";
2938 macro2utf8["LessGreater"] = "≶";
2939 utf82macro["≶"] = "LessGreater";
2940 macro2utf8["zeetrf"] = "ℨ";
2941 utf82macro["ℨ"] = "zeetrf";
2942 macro2utf8["DiacriticalDot"] = "˙";
2943 utf82macro["˙"] = "DiacriticalDot";
2944 macro2utf8["Poincareplane"] = "ℌ";
2945 utf82macro["ℌ"] = "Poincareplane";
2946 macro2utf8["curlyeqsucc"] = "⋟";
2947 utf82macro["⋟"] = "curlyeqsucc";
2948 macro2utf8["Equal"] = "⩵";
2949 utf82macro["⩵"] = "Equal";
2950 macro2utf8["divides"] = "∣";
2951 utf82macro["∣"] = "divides";
2952 macro2utf8["scpolint"] = "⨓";
2953 utf82macro["⨓"] = "scpolint";
2954 macro2utf8["ngsim"] = "≵";
2955 utf82macro["≵"] = "ngsim";
2956 macro2utf8["larrbfs"] = "⤟";
2957 utf82macro["⤟"] = "larrbfs";
2958 macro2utf8["HilbertSpace"] = "ℋ";
2959 utf82macro["ℋ"] = "HilbertSpace";
2960 macro2utf8["otilde"] = "õ";
2961 utf82macro["õ"] = "otilde";
2962 macro2utf8["larrb"] = "⇤";
2963 utf82macro["⇤"] = "larrb";
2964 macro2utf8["wcirc"] = "ŵ";
2965 utf82macro["ŵ"] = "wcirc";
2966 macro2utf8["dscr"] = "𝒹";
2967 utf82macro["𝒹"] = "dscr";
2968 macro2utf8["phmmat"] = "ℳ";
2969 utf82macro["ℳ"] = "phmmat";
2970 macro2utf8["lacute"] = "ĺ";
2971 utf82macro["ĺ"] = "lacute";
2972 macro2utf8["tstrok"] = "ŧ";
2973 utf82macro["ŧ"] = "tstrok";
2974 macro2utf8["NotDoubleVerticalBar"] = "∦";
2975 utf82macro["∦"] = "NotDoubleVerticalBar";
2976 macro2utf8["lagran"] = "ℒ";
2977 utf82macro["ℒ"] = "lagran";
2978 macro2utf8["NotRightTriangle"] = "⋫";
2979 utf82macro["⋫"] = "NotRightTriangle";
2980 macro2utf8["dscy"] = "ѕ";
2981 utf82macro["ѕ"] = "dscy";
2982 macro2utf8["rightrightarrows"] = "⇉";
2983 utf82macro["⇉"] = "rightrightarrows";
2984 macro2utf8["seArr"] = "⇘";
2985 utf82macro["⇘"] = "seArr";
2986 macro2utf8["RightTriangleBar"] = "⧐";
2987 utf82macro["⧐"] = "RightTriangleBar";
2988 macro2utf8["coth"] = "coth";
2989 utf82macro["coth"] = "coth";
2990 macro2utf8["swarrow"] = "↙";
2991 utf82macro["↙"] = "swarrow";
2992 macro2utf8["semi"] = ";";
2993 utf82macro[";"] = "semi";
2994 macro2utf8["kscr"] = "𝓀";
2995 utf82macro["𝓀"] = "kscr";
2996 macro2utf8["NotLessEqual"] = "≰⃥";
2997 utf82macro["≰⃥"] = "NotLessEqual";
2998 macro2utf8["cularr"] = "↶";
2999 utf82macro["↶"] = "cularr";
3000 macro2utf8["blacklozenge"] = "⧫";
3001 utf82macro["⧫"] = "blacklozenge";
3002 macro2utf8["realpart"] = "ℜ";
3003 utf82macro["ℜ"] = "realpart";
3004 macro2utf8["LeftTriangleEqual"] = "⊴";
3005 utf82macro["⊴"] = "LeftTriangleEqual";
3006 macro2utf8["bfr"] = "𝔟";
3007 utf82macro["𝔟"] = "bfr";
3008 macro2utf8["Uuml"] = "Ü";
3009 utf82macro["Ü"] = "Uuml";
3010 macro2utf8["longleftrightarrow"] = "????";
3011 utf82macro["????"] = "longleftrightarrow";
3012 macro2utf8["lcedil"] = "ļ";
3013 utf82macro["ļ"] = "lcedil";
3014 macro2utf8["complement"] = "∁";
3015 utf82macro["∁"] = "complement";
3016 macro2utf8["rscr"] = "𝓇";
3017 utf82macro["𝓇"] = "rscr";
3018 macro2utf8["mho"] = "℧";
3019 utf82macro["℧"] = "mho";
3020 macro2utf8["mcomma"] = "⨩";
3021 utf82macro["⨩"] = "mcomma";
3022 macro2utf8["wedbar"] = "⩟";
3023 utf82macro["⩟"] = "wedbar";
3024 macro2utf8["NotVerticalBar"] = "∤";
3025 utf82macro["∤"] = "NotVerticalBar";
3026 macro2utf8["Lcy"] = "Л";
3027 utf82macro["Л"] = "Lcy";
3028 macro2utf8["tprime"] = "‴";
3029 utf82macro["‴"] = "tprime";
3030 macro2utf8["precneqq"] = "⪵";
3031 utf82macro["⪵"] = "precneqq";
3032 macro2utf8["Downarrow"] = "⇓";
3033 utf82macro["⇓"] = "Downarrow";
3034 macro2utf8["rsh"] = "↱";
3035 utf82macro["↱"] = "rsh";
3036 macro2utf8["mid"] = "∣";
3037 utf82macro["∣"] = "mid";
3038 macro2utf8["blank"] = "␣";
3039 utf82macro["␣"] = "blank";
3040 macro2utf8["square"] = "□";
3041 utf82macro["□"] = "square";
3042 macro2utf8["squarf"] = "▪";
3043 utf82macro["▪"] = "squarf";
3044 macro2utf8["fflig"] = "ff";
3045 utf82macro["ff"] = "fflig";
3046 macro2utf8["downdownarrows"] = "⇊";
3047 utf82macro["⇊"] = "downdownarrows";
3048 macro2utf8["yscr"] = "𝓎";
3049 utf82macro["𝓎"] = "yscr";
3050 macro2utf8["subdot"] = "⪽";
3051 utf82macro["⪽"] = "subdot";
3052 macro2utf8["ShortRightArrow"] = "→︀";
3053 utf82macro["→︀"] = "ShortRightArrow";
3054 macro2utf8["NotCongruent"] = "≢";
3055 utf82macro["≢"] = "NotCongruent";
3056 macro2utf8["Gg"] = "⋙";
3057 utf82macro["⋙"] = "Gg";
3058 macro2utf8["Lstrok"] = "Ł";
3059 utf82macro["Ł"] = "Lstrok";
3060 macro2utf8["min"] = "max";
3061 utf82macro["max"] = "min";
3062 macro2utf8["Laplacetrf"] = "ℒ";
3063 utf82macro["ℒ"] = "Laplacetrf";
3064 macro2utf8["rarrap"] = "⥵";
3065 utf82macro["⥵"] = "rarrap";
3066 macro2utf8["NotLessSlantEqual"] = "≰";
3067 utf82macro["≰"] = "NotLessSlantEqual";
3068 macro2utf8["DoubleRightArrow"] = "⇒";
3069 utf82macro["⇒"] = "DoubleRightArrow";
3070 macro2utf8["Wfr"] = "𝔚";
3071 utf82macro["𝔚"] = "Wfr";
3072 macro2utf8["subrarr"] = "⥹";
3073 utf82macro["⥹"] = "subrarr";
3074 macro2utf8["numsp"] = " ";
3075 utf82macro[" "] = "numsp";
3076 macro2utf8["khcy"] = "х";
3077 utf82macro["х"] = "khcy";
3078 macro2utf8["oint"] = "∮";
3079 utf82macro["∮"] = "oint";
3080 macro2utf8["vprop"] = "∝";
3081 utf82macro["∝"] = "vprop";
3082 macro2utf8["hardcy"] = "ъ";
3083 utf82macro["ъ"] = "hardcy";
3084 macro2utf8["boxminus"] = "⊟";
3085 utf82macro["⊟"] = "boxminus";
3086 macro2utf8["GreaterLess"] = "≷";
3087 utf82macro["≷"] = "GreaterLess";
3088 macro2utf8["thetav"] = "ϑ";
3089 utf82macro["ϑ"] = "thetav";
3090 macro2utf8["scE"] = "≾";
3091 utf82macro["≾"] = "scE";
3092 macro2utf8["Gt"] = "≫";
3093 utf82macro["≫"] = "Gt";
3094 macro2utf8["Acy"] = "А";
3095 utf82macro["А"] = "Acy";
3096 macro2utf8["backcong"] = "≌";
3097 utf82macro["≌"] = "backcong";
3098 macro2utf8["gtquest"] = "⩼";
3099 utf82macro["⩼"] = "gtquest";
3100 macro2utf8["awint"] = "⨑";
3101 utf82macro["⨑"] = "awint";
3102 macro2utf8["profsurf"] = "⌓";
3103 utf82macro["⌓"] = "profsurf";
3104 macro2utf8["capdot"] = "⩀";
3105 utf82macro["⩀"] = "capdot";
3106 macro2utf8["supdot"] = "⪾";
3107 utf82macro["⪾"] = "supdot";
3108 macro2utf8["oelig"] = "œ";
3109 utf82macro["œ"] = "oelig";
3110 macro2utf8["doteqdot"] = "≑";
3111 utf82macro["≑"] = "doteqdot";
3112 macro2utf8["rharul"] = "⥬";
3113 utf82macro["⥬"] = "rharul";
3114 macro2utf8["cylcty"] = "⌭";
3115 utf82macro["⌭"] = "cylcty";
3116 macro2utf8["epsi"] = "ε";
3117 utf82macro["ε"] = "epsi";
3118 macro2utf8["eqcirc"] = "≖";
3119 utf82macro["≖"] = "eqcirc";
3120 macro2utf8["nLeftarrow"] = "⇍";
3121 utf82macro["⇍"] = "nLeftarrow";
3122 macro2utf8["rtrie"] = "⊵";
3123 utf82macro["⊵"] = "rtrie";
3124 macro2utf8["para"] = "¶";
3125 utf82macro["¶"] = "para";
3126 macro2utf8["Lfr"] = "𝔏";
3127 utf82macro["𝔏"] = "Lfr";
3128 macro2utf8["rtrif"] = "▸";
3129 utf82macro["▸"] = "rtrif";
3130 macro2utf8["NotReverseElement"] = "∌";
3131 utf82macro["∌"] = "NotReverseElement";
3132 macro2utf8["emptyv"] = "∅";
3133 utf82macro["∅"] = "emptyv";
3134 macro2utf8["nldr"] = "‥";
3135 utf82macro["‥"] = "nldr";
3136 macro2utf8["leqq"] = "≦";
3137 utf82macro["≦"] = "leqq";
3138 macro2utf8["CapitalDifferentialD"] = "ⅅ";
3139 utf82macro["ⅅ"] = "CapitalDifferentialD";
3140 macro2utf8["supsetneqq"] = "⊋";
3141 utf82macro["⊋"] = "supsetneqq";
3142 macro2utf8["boxDL"] = "╗";
3143 utf82macro["╗"] = "boxDL";
3144 macro2utf8["Im"] = "ℑ";
3145 utf82macro["ℑ"] = "Im";
3146 macro2utf8["sce"] = "≽";
3147 utf82macro["≽"] = "sce";
3148 macro2utf8["prsim"] = "≾";
3149 utf82macro["≾"] = "prsim";
3150 macro2utf8["diams"] = "♦";
3151 utf82macro["♦"] = "diams";
3152 macro2utf8["gtreqqless"] = "⋛";
3153 utf82macro["⋛"] = "gtreqqless";
3154 macro2utf8["boxDR"] = "╔";
3155 utf82macro["╔"] = "boxDR";
3156 macro2utf8["vartriangleleft"] = "⊲";
3157 utf82macro["⊲"] = "vartriangleleft";
3158 macro2utf8["SupersetEqual"] = "⊇";
3159 utf82macro["⊇"] = "SupersetEqual";
3160 macro2utf8["Omega"] = "Ω";
3161 utf82macro["Ω"] = "Omega";
3162 macro2utf8["nsubseteqq"] = "⊈";
3163 utf82macro["⊈"] = "nsubseteqq";
3164 macro2utf8["Subset"] = "⋐";
3165 utf82macro["⋐"] = "Subset";
3166 macro2utf8["ncongdot"] = "⩭̸";
3167 utf82macro["⩭̸"] = "ncongdot";
3168 macro2utf8["minusb"] = "⊟";
3169 utf82macro["⊟"] = "minusb";
3170 macro2utf8["ltimes"] = "⋉";
3171 utf82macro["⋉"] = "ltimes";
3172 macro2utf8["seswar"] = "⤩";
3173 utf82macro["⤩"] = "seswar";
3174 macro2utf8["part"] = "∂";
3175 utf82macro["∂"] = "part";
3176 macro2utf8["bumpE"] = "⪮";
3177 utf82macro["⪮"] = "bumpE";
3178 macro2utf8["minusd"] = "∸";
3179 utf82macro["∸"] = "minusd";
3180 macro2utf8["Amacr"] = "Ā";
3181 utf82macro["Ā"] = "Amacr";
3182 macro2utf8["nleq"] = "≰";
3183 utf82macro["≰"] = "nleq";
3184 macro2utf8["nles"] = "≰";
3185 utf82macro["≰"] = "nles";
3186 macro2utf8["NotLess"] = "≮";
3187 utf82macro["≮"] = "NotLess";
3188 macro2utf8["scy"] = "с";
3189 utf82macro["с"] = "scy";
3190 macro2utf8["iinfin"] = "⧜";
3191 utf82macro["⧜"] = "iinfin";
3192 macro2utf8["Afr"] = "𝔄";
3193 utf82macro["𝔄"] = "Afr";
3194 macro2utf8["isinsv"] = "⋳";
3195 utf82macro["⋳"] = "isinsv";
3196 macro2utf8["prnE"] = "⪵";
3197 utf82macro["⪵"] = "prnE";
3198 macro2utf8["lesg"] = "⋚︀";
3199 utf82macro["⋚︀"] = "lesg";
3200 macro2utf8["cups"] = "∪︀";
3201 utf82macro["∪︀"] = "cups";
3202 macro2utf8["thickapprox"] = "≈︀";
3203 utf82macro["≈︀"] = "thickapprox";
3204 macro2utf8["RightTeeVector"] = "⥛";
3205 utf82macro["⥛"] = "RightTeeVector";
3206 macro2utf8["LowerLeftArrow"] = "↙";
3207 utf82macro["↙"] = "LowerLeftArrow";
3208 macro2utf8["utdot"] = "⋰";
3209 utf82macro["⋰"] = "utdot";
3210 macro2utf8["homtht"] = "∻";
3211 utf82macro["∻"] = "homtht";
3212 macro2utf8["ddotseq"] = "⩷";
3213 utf82macro["⩷"] = "ddotseq";
3214 macro2utf8["bowtie"] = "⋈";
3215 utf82macro["⋈"] = "bowtie";
3216 macro2utf8["succnsim"] = "⋩";
3217 utf82macro["⋩"] = "succnsim";
3218 macro2utf8["boxDl"] = "╖";
3219 utf82macro["╖"] = "boxDl";
3220 macro2utf8["quot"] = """;
3221 utf82macro["""] = "quot";
3222 macro2utf8["lvnE"] = "≨︀";
3223 utf82macro["≨︀"] = "lvnE";
3224 macro2utf8["CircleDot"] = "⊙";
3225 utf82macro["⊙"] = "CircleDot";
3226 macro2utf8["lsime"] = "⪍";
3227 utf82macro["⪍"] = "lsime";
3228 macro2utf8["Yacute"] = "Ý";
3229 utf82macro["Ý"] = "Yacute";
3230 macro2utf8["esdot"] = "≐";
3231 utf82macro["≐"] = "esdot";
3232 macro2utf8["Supset"] = "⋑";
3233 utf82macro["⋑"] = "Supset";
3234 macro2utf8["lsimg"] = "⪏";
3235 utf82macro["⪏"] = "lsimg";
3236 macro2utf8["eDot"] = "≑";
3237 utf82macro["≑"] = "eDot";
3238 macro2utf8["sec"] = "sec";
3239 utf82macro["sec"] = "sec";
3240 macro2utf8["boxDr"] = "╓";
3241 utf82macro["╓"] = "boxDr";
3242 macro2utf8["plus"] = "+";
3243 utf82macro["+"] = "plus";
3244 macro2utf8["ddagger"] = "‡";
3245 utf82macro["‡"] = "ddagger";
3246 macro2utf8["Vdashl"] = "⫦";
3247 utf82macro["⫦"] = "Vdashl";
3248 macro2utf8["equest"] = "≟";
3249 utf82macro["≟"] = "equest";
3250 macro2utf8["quest"] = "?";
3251 utf82macro["?"] = "quest";
3252 macro2utf8["divideontimes"] = "⋇";
3253 utf82macro["⋇"] = "divideontimes";
3254 macro2utf8["nsmid"] = "∤︀";
3255 utf82macro["∤︀"] = "nsmid";
3256 macro2utf8["fnof"] = "ƒ";
3257 utf82macro["ƒ"] = "fnof";
3258 macro2utf8["bumpe"] = "≏";
3259 utf82macro["≏"] = "bumpe";
3260 macro2utf8["lhblk"] = "▄";
3261 utf82macro["▄"] = "lhblk";
3262 macro2utf8["prnap"] = "⋨";
3263 utf82macro["⋨"] = "prnap";
3264 macro2utf8["compfn"] = "∘";
3265 utf82macro["∘"] = "compfn";
3266 macro2utf8["nsucceq"] = "⪰̸";
3267 utf82macro["⪰̸"] = "nsucceq";
3268 macro2utf8["RightArrowLeftArrow"] = "⇄";
3269 utf82macro["⇄"] = "RightArrowLeftArrow";
3270 macro2utf8["sharp"] = "♯";
3271 utf82macro["♯"] = "sharp";
3272 macro2utf8["CHcy"] = "Ч";
3273 utf82macro["Ч"] = "CHcy";
3274 macro2utf8["dwangle"] = "⦦";
3275 utf82macro["⦦"] = "dwangle";
3276 macro2utf8["angrtvbd"] = "⦝";
3277 utf82macro["⦝"] = "angrtvbd";
3278 macro2utf8["period"] = ".";
3279 utf82macro["."] = "period";
3280 macro2utf8["phone"] = "☎";
3281 utf82macro["☎"] = "phone";
3282 macro2utf8["Eacute"] = "É";
3283 utf82macro["É"] = "Eacute";
3284 macro2utf8["dzigrarr"] = "";
3285 utf82macro[""] = "dzigrarr";
3286 macro2utf8["Ll"] = "⋘";
3287 utf82macro["⋘"] = "Ll";
3288 macro2utf8["succapprox"] = "≿";
3289 utf82macro["≿"] = "succapprox";
3290 macro2utf8["rarrfs"] = "⤞";
3291 utf82macro["⤞"] = "rarrfs";
3292 macro2utf8["dbkarow"] = "⤏";
3293 utf82macro["⤏"] = "dbkarow";
3294 macro2utf8["zeta"] = "ζ";
3295 utf82macro["ζ"] = "zeta";
3296 macro2utf8["Lt"] = "≪";
3297 utf82macro["≪"] = "Lt";
3298 macro2utf8["triminus"] = "⨺";
3299 utf82macro["⨺"] = "triminus";
3300 macro2utf8["odiv"] = "⨸";
3301 utf82macro["⨸"] = "odiv";
3302 macro2utf8["ltrie"] = "⊴";
3303 utf82macro["⊴"] = "ltrie";
3304 macro2utf8["Dagger"] = "‡";
3305 utf82macro["‡"] = "Dagger";
3306 macro2utf8["ltrif"] = "◂";
3307 utf82macro["◂"] = "ltrif";
3308 macro2utf8["boxHD"] = "╦";
3309 utf82macro["╦"] = "boxHD";
3310 macro2utf8["timesb"] = "⊠";
3311 utf82macro["⊠"] = "timesb";
3312 macro2utf8["check"] = "✓";
3313 utf82macro["✓"] = "check";
3314 macro2utf8["urcorn"] = "⌝";
3315 utf82macro["⌝"] = "urcorn";
3316 macro2utf8["timesd"] = "⨰";
3317 utf82macro["⨰"] = "timesd";
3318 macro2utf8["tshcy"] = "ћ";
3319 utf82macro["ћ"] = "tshcy";
3320 macro2utf8["sfr"] = "𝔰";
3321 utf82macro["𝔰"] = "sfr";
3322 macro2utf8["lmoust"] = "⎰";
3323 utf82macro["⎰"] = "lmoust";
3324 macro2utf8["ruluhar"] = "⥨";
3325 utf82macro["⥨"] = "ruluhar";
3326 macro2utf8["bne"] = "=⃥";
3327 utf82macro["=⃥"] = "bne";
3328 macro2utf8["prod"] = "∏";
3329 utf82macro["∏"] = "prod";
3330 macro2utf8["Eopf"] = "𝔼";
3331 utf82macro["𝔼"] = "Eopf";
3332 macro2utf8["scsim"] = "≿";
3333 utf82macro["≿"] = "scsim";
3334 macro2utf8["GreaterEqualLess"] = "⋛";
3335 utf82macro["⋛"] = "GreaterEqualLess";
3336 macro2utf8["Igrave"] = "Ì";
3337 utf82macro["Ì"] = "Igrave";
3338 macro2utf8["Longrightarrow"] = "⇒";
3339 utf82macro["⇒"] = "Longrightarrow";
3340 macro2utf8["bigcap"] = "⋂";
3341 utf82macro["⋂"] = "bigcap";
3342 macro2utf8["boxHU"] = "╩";
3343 utf82macro["╩"] = "boxHU";
3344 macro2utf8["uring"] = "ů";
3345 utf82macro["ů"] = "uring";
3346 macro2utf8["equivDD"] = "⩸";
3347 utf82macro["⩸"] = "equivDD";
3348 macro2utf8["prop"] = "∝";
3349 utf82macro["∝"] = "prop";
3350 macro2utf8["Lopf"] = "𝕃";
3351 utf82macro["𝕃"] = "Lopf";
3352 macro2utf8["ldrushar"] = "⥋";
3353 utf82macro["⥋"] = "ldrushar";
3354 macro2utf8["rarrhk"] = "↪";
3355 utf82macro["↪"] = "rarrhk";
3356 macro2utf8["Leftarrow"] = "⇐";
3357 utf82macro["⇐"] = "Leftarrow";
3358 macro2utf8["lltri"] = "◺";
3359 utf82macro["◺"] = "lltri";
3360 macro2utf8["NestedGreaterGreater"] = "≫";
3361 utf82macro["≫"] = "NestedGreaterGreater";
3362 macro2utf8["GreaterFullEqual"] = "≧";
3363 utf82macro["≧"] = "GreaterFullEqual";
3364 macro2utf8["robrk"] = "〛";
3365 utf82macro["〛"] = "robrk";
3366 macro2utf8["larrsim"] = "⥳";
3367 utf82macro["⥳"] = "larrsim";
3368 macro2utf8["boxHd"] = "╤";
3369 utf82macro["╤"] = "boxHd";
3370 macro2utf8["vDash"] = "⊨";
3371 utf82macro["⊨"] = "vDash";
3372 macro2utf8["hfr"] = "𝔥";
3373 utf82macro["𝔥"] = "hfr";
3374 macro2utf8["Edot"] = "Ė";
3375 utf82macro["Ė"] = "Edot";
3376 macro2utf8["Vvdash"] = "⊪";
3377 utf82macro["⊪"] = "Vvdash";
3378 macro2utf8["Sopf"] = "𝕊";
3379 utf82macro["𝕊"] = "Sopf";
3380 macro2utf8["upuparrows"] = "⇈";
3381 utf82macro["⇈"] = "upuparrows";
3382 macro2utf8["RightUpTeeVector"] = "⥜";
3383 utf82macro["⥜"] = "RightUpTeeVector";
3384 macro2utf8["DownLeftVector"] = "↽";
3385 utf82macro["↽"] = "DownLeftVector";
3386 macro2utf8["xhArr"] = "";
3387 utf82macro[""] = "xhArr";
3388 macro2utf8["triplus"] = "⨹";
3389 utf82macro["⨹"] = "triplus";
3390 macro2utf8["bot"] = "⊥";
3391 utf82macro["⊥"] = "bot";
3392 macro2utf8["Rcy"] = "Р";
3393 utf82macro["Р"] = "Rcy";
3394 macro2utf8["eDDot"] = "⩷";
3395 utf82macro["⩷"] = "eDDot";
3396 macro2utf8["subseteqq"] = "⊆";
3397 utf82macro["⊆"] = "subseteqq";
3398 macro2utf8["cirfnint"] = "⨐";
3399 utf82macro["⨐"] = "cirfnint";
3400 macro2utf8["spadesuit"] = "♠";
3401 utf82macro["♠"] = "spadesuit";
3402 macro2utf8["nacute"] = "ń";
3403 utf82macro["ń"] = "nacute";
3404 macro2utf8["Zopf"] = "ℤ";
3405 utf82macro["ℤ"] = "Zopf";
3406 macro2utf8["upharpoonleft"] = "↿";
3407 utf82macro["↿"] = "upharpoonleft";
3408 macro2utf8["shy"] = "­";
3409 utf82macro["­"] = "shy";
3410 macro2utf8["nparsl"] = "∥︀⃥";
3411 utf82macro["∥︀⃥"] = "nparsl";
3412 macro2utf8["boxHu"] = "╧";
3413 utf82macro["╧"] = "boxHu";
3414 macro2utf8["ThickSpace"] = "   ";
3415 utf82macro["   "] = "ThickSpace";
3416 macro2utf8["Or"] = "⩔";
3417 utf82macro["⩔"] = "Or";
3418 macro2utf8["raemptyv"] = "⦳";
3419 utf82macro["⦳"] = "raemptyv";
3420 macro2utf8["Aogon"] = "Ą";
3421 utf82macro["Ą"] = "Aogon";
3422 macro2utf8["IEcy"] = "Е";
3423 utf82macro["Е"] = "IEcy";
3424 macro2utf8["sim"] = "∼";
3425 utf82macro["∼"] = "sim";
3426 macro2utf8["sin"] = "sin";
3427 utf82macro["sin"] = "sin";
3428 macro2utf8["copysr"] = "℗";
3429 utf82macro["℗"] = "copysr";
3430 macro2utf8["scnap"] = "⋩";
3431 utf82macro["⋩"] = "scnap";
3432 macro2utf8["rdquo"] = "”";
3433 utf82macro["”"] = "rdquo";
3434 macro2utf8["aopf"] = "𝕒";
3435 utf82macro["𝕒"] = "aopf";
3436 macro2utf8["Pi"] = "Π";
3437 utf82macro["Π"] = "Pi";
3438 macro2utf8["Udblac"] = "Ű";
3439 utf82macro["Ű"] = "Udblac";
3440 macro2utf8["expectation"] = "ℰ";
3441 utf82macro["ℰ"] = "expectation";
3442 macro2utf8["Zacute"] = "Ź";
3443 utf82macro["Ź"] = "Zacute";
3444 macro2utf8["urtri"] = "◹";
3445 utf82macro["◹"] = "urtri";
3446 macro2utf8["NotTildeEqual"] = "≄";
3447 utf82macro["≄"] = "NotTildeEqual";
3448 macro2utf8["ncedil"] = "ņ";
3449 utf82macro["ņ"] = "ncedil";
3450 macro2utf8["Gamma"] = "Γ";
3451 utf82macro["Γ"] = "Gamma";
3452 macro2utf8["ecirc"] = "ê";
3453 utf82macro["ê"] = "ecirc";
3454 macro2utf8["dsol"] = "⧶";
3455 utf82macro["⧶"] = "dsol";
3456 macro2utf8["Gcy"] = "Г";
3457 utf82macro["Г"] = "Gcy";
3458 macro2utf8["Pr"] = "Pr";
3459 utf82macro["Pr"] = "Pr";
3460 macro2utf8["Zdot"] = "Ż";
3461 utf82macro["Ż"] = "Zdot";
3462 macro2utf8["mnplus"] = "∓";
3463 utf82macro["∓"] = "mnplus";
3464 macro2utf8["hopf"] = "𝕙";
3465 utf82macro["𝕙"] = "hopf";
3466 macro2utf8["blacktriangledown"] = "▾";
3467 utf82macro["▾"] = "blacktriangledown";
3468 macro2utf8["LeftCeiling"] = "⌈";
3469 utf82macro["⌈"] = "LeftCeiling";
3470 macro2utf8["ulcorn"] = "⌜";
3471 utf82macro["⌜"] = "ulcorn";
3472 macro2utf8["searrow"] = "↘";
3473 utf82macro["↘"] = "searrow";
3474 macro2utf8["GreaterGreater"] = "⪢";
3475 utf82macro["⪢"] = "GreaterGreater";
3476 macro2utf8["Fscr"] = "ℱ";
3477 utf82macro["ℱ"] = "Fscr";
3478 macro2utf8["cupcup"] = "⩊";
3479 utf82macro["⩊"] = "cupcup";
3480 macro2utf8["NotEqual"] = "≠";
3481 utf82macro["≠"] = "NotEqual";
3482 macro2utf8["sext"] = "✶";
3483 utf82macro["✶"] = "sext";
3484 macro2utf8["CirclePlus"] = "⊕";
3485 utf82macro["⊕"] = "CirclePlus";
3486 macro2utf8["erarr"] = "⥱";
3487 utf82macro["⥱"] = "erarr";
3488 macro2utf8["dArr"] = "⇓";
3489 utf82macro["⇓"] = "dArr";
3490 macro2utf8["PrecedesSlantEqual"] = "≼";
3491 utf82macro["≼"] = "PrecedesSlantEqual";
3492 macro2utf8["Itilde"] = "Ĩ";
3493 utf82macro["Ĩ"] = "Itilde";
3494 macro2utf8["gesdoto"] = "⪂";
3495 utf82macro["⪂"] = "gesdoto";
3496 macro2utf8["Rang"] = "》";
3497 utf82macro["》"] = "Rang";
3498 macro2utf8["nwarhk"] = "⤣";
3499 utf82macro["⤣"] = "nwarhk";
3500 macro2utf8["minusdu"] = "⨪";
3501 utf82macro["⨪"] = "minusdu";
3502 macro2utf8["oopf"] = "𝕠";
3503 utf82macro["𝕠"] = "oopf";
3504 macro2utf8["Mscr"] = "ℳ";
3505 utf82macro["ℳ"] = "Mscr";
3506 macro2utf8["Rfr"] = "ℜ";
3507 utf82macro["ℜ"] = "Rfr";
3508 macro2utf8["langle"] = "〈";
3509 utf82macro["〈"] = "langle";
3510 macro2utf8["And"] = "⩓";
3511 utf82macro["⩓"] = "And";
3512 macro2utf8["bprime"] = "‵";
3513 utf82macro["‵"] = "bprime";
3514 macro2utf8["nLeftrightarrow"] = "⇎";
3515 utf82macro["⇎"] = "nLeftrightarrow";
3516 macro2utf8["Re"] = "ℜ";
3517 utf82macro["ℜ"] = "Re";
3518 macro2utf8["OpenCurlyQuote"] = "‘";
3519 utf82macro["‘"] = "OpenCurlyQuote";
3520 macro2utf8["vopf"] = "𝕧";
3521 utf82macro["𝕧"] = "vopf";
3522 macro2utf8["ulcorner"] = "⌜";
3523 utf82macro["⌜"] = "ulcorner";
3524 macro2utf8["nap"] = "≉";
3525 utf82macro["≉"] = "nap";
3526 macro2utf8["Tscr"] = "𝒯";
3527 utf82macro["𝒯"] = "Tscr";
3528 macro2utf8["gtreqless"] = "⋛";
3529 utf82macro["⋛"] = "gtreqless";
3530 macro2utf8["rarrlp"] = "↬";
3531 utf82macro["↬"] = "rarrlp";
3532 macro2utf8["Lambda"] = "Λ";
3533 utf82macro["Λ"] = "Lambda";
3534 macro2utf8["lobrk"] = "〚";
3535 utf82macro["〚"] = "lobrk";
3536 macro2utf8["rbrace"] = "}";
3537 utf82macro["}"] = "rbrace";
3538 macro2utf8["rArr"] = "⇒";
3539 utf82macro["⇒"] = "rArr";
3540 macro2utf8["coloneq"] = "≔";
3541 utf82macro["≔"] = "coloneq";
3542 macro2utf8["UpArrow"] = "↑";
3543 utf82macro["↑"] = "UpArrow";
3544 macro2utf8["odot"] = "⊙";
3545 utf82macro["⊙"] = "odot";
3546 macro2utf8["LeftDownTeeVector"] = "⥡";
3547 utf82macro["⥡"] = "LeftDownTeeVector";
3548 macro2utf8["complexes"] = "ℂ";
3549 utf82macro["ℂ"] = "complexes";
3550 macro2utf8["rbrack"] = "]";
3551 utf82macro["]"] = "rbrack";
3552 macro2utf8["DownTeeArrow"] = "↧";
3553 utf82macro["↧"] = "DownTeeArrow";
3554 macro2utf8["sqcap"] = "⊓";
3555 utf82macro["⊓"] = "sqcap";
3556 macro2utf8["Sc"] = "⪼";
3557 utf82macro["⪼"] = "Sc";
3558 macro2utf8["ycy"] = "ы";
3559 utf82macro["ы"] = "ycy";
3560 macro2utf8["Prime"] = "″";
3561 utf82macro["″"] = "Prime";
3562 macro2utf8["Gfr"] = "𝔊";
3563 utf82macro["𝔊"] = "Gfr";
3564 macro2utf8["trianglerighteq"] = "⊵";
3565 utf82macro["⊵"] = "trianglerighteq";
3566 macro2utf8["rangd"] = "⦒";
3567 utf82macro["⦒"] = "rangd";
3568 macro2utf8["gtrdot"] = "⋗";
3569 utf82macro["⋗"] = "gtrdot";
3570 macro2utf8["range"] = "⦥";
3571 utf82macro["⦥"] = "range";
3572 macro2utf8["rsqb"] = "]";
3573 utf82macro["]"] = "rsqb";
3574 macro2utf8["Euml"] = "Ë";
3575 utf82macro["Ë"] = "Euml";
3576 macro2utf8["Therefore"] = "∴";
3577 utf82macro["∴"] = "Therefore";
3578 macro2utf8["nesim"] = "≂̸";
3579 utf82macro["≂̸"] = "nesim";
3580 macro2utf8["order"] = "ℴ";
3581 utf82macro["ℴ"] = "order";
3582 macro2utf8["vsupnE"] = "⊋︀";
3583 utf82macro["⊋︀"] = "vsupnE";
3584 macro2utf8["awconint"] = "∳";
3585 utf82macro["∳"] = "awconint";
3586 macro2utf8["bscr"] = "𝒷";
3587 utf82macro["𝒷"] = "bscr";
3588 macro2utf8["lesseqqgtr"] = "⋚";
3589 utf82macro["⋚"] = "lesseqqgtr";
3590 macro2utf8["cap"] = "∩";
3591 utf82macro["∩"] = "cap";
3592 macro2utf8["ldquo"] = "“";
3593 utf82macro["“"] = "ldquo";
3594 macro2utf8["nsubseteq"] = "⊈";
3595 utf82macro["⊈"] = "nsubseteq";
3596 macro2utf8["rhov"] = "ϱ";
3597 utf82macro["ϱ"] = "rhov";
3598 macro2utf8["xvee"] = "⋁";
3599 utf82macro["⋁"] = "xvee";
3600 macro2utf8["olarr"] = "↺";
3601 utf82macro["↺"] = "olarr";
3602 macro2utf8["nang"] = "∠̸";
3603 utf82macro["∠̸"] = "nang";
3604 macro2utf8["uwangle"] = "⦧";
3605 utf82macro["⦧"] = "uwangle";
3606 macro2utf8["nlsim"] = "≴";
3607 utf82macro["≴"] = "nlsim";
3608 macro2utf8["smt"] = "⪪";
3609 utf82macro["⪪"] = "smt";
3610 macro2utf8["nVdash"] = "⊮";
3611 utf82macro["⊮"] = "nVdash";
3612 macro2utf8["napE"] = "⩰̸";
3613 utf82macro["⩰̸"] = "napE";
3614 macro2utf8["ngeq"] = "≱";
3615 utf82macro["≱"] = "ngeq";
3616 macro2utf8["iscr"] = "𝒾";
3617 utf82macro["𝒾"] = "iscr";
3618 macro2utf8["GJcy"] = "Ѓ";
3619 utf82macro["Ѓ"] = "GJcy";
3620 macro2utf8["nges"] = "≱";
3621 utf82macro["≱"] = "nges";
3622 macro2utf8["exist"] = "∃";
3623 utf82macro["∃"] = "exist";
3624 macro2utf8["cent"] = "¢";
3625 utf82macro["¢"] = "cent";
3626 macro2utf8["oacute"] = "ó";
3627 utf82macro["ó"] = "oacute";
3628 macro2utf8["Darr"] = "↡";
3629 utf82macro["↡"] = "Darr";
3630 macro2utf8["yen"] = "¥";
3631 utf82macro["¥"] = "yen";
3632 macro2utf8["bigcirc"] = "◯";
3633 utf82macro["◯"] = "bigcirc";
3634 macro2utf8["ncy"] = "н";
3635 utf82macro["н"] = "ncy";
3636 macro2utf8["midast"] = "*";
3637 utf82macro["*"] = "midast";
3638 macro2utf8["UpperRightArrow"] = "↗";
3639 utf82macro["↗"] = "UpperRightArrow";
3640 macro2utf8["precnapprox"] = "⋨";
3641 utf82macro["⋨"] = "precnapprox";
3642 macro2utf8["OElig"] = "Œ";
3643 utf82macro["Œ"] = "OElig";
3644 macro2utf8["hybull"] = "⁃";
3645 utf82macro["⁃"] = "hybull";
3646 macro2utf8["cupbrcap"] = "⩈";
3647 utf82macro["⩈"] = "cupbrcap";
3648 macro2utf8["rationals"] = "ℚ";
3649 utf82macro["ℚ"] = "rationals";
3650 macro2utf8["VerticalTilde"] = "≀";
3651 utf82macro["≀"] = "VerticalTilde";
3652 macro2utf8["pscr"] = "𝓅";
3653 utf82macro["𝓅"] = "pscr";
3654 macro2utf8["NJcy"] = "Њ";
3655 utf82macro["Њ"] = "NJcy";
3656 macro2utf8["NotSucceedsTilde"] = "≿̸";
3657 utf82macro["≿̸"] = "NotSucceedsTilde";
3658 macro2utf8["vsupne"] = "⊋︀";
3659 utf82macro["⊋︀"] = "vsupne";
3660 macro2utf8["Updownarrow"] = "⇕";
3661 utf82macro["⇕"] = "Updownarrow";
3662 macro2utf8["Lsh"] = "↰";
3663 utf82macro["↰"] = "Lsh";
3664 macro2utf8["rAarr"] = "⇛";
3665 utf82macro["⇛"] = "rAarr";
3666 macro2utf8["precapprox"] = "≾";
3667 utf82macro["≾"] = "precapprox";
3668 macro2utf8["rsquor"] = "’";
3669 utf82macro["’"] = "rsquor";
3670 macro2utf8["pound"] = "£";
3671 utf82macro["£"] = "pound";
3672 macro2utf8["lbrksld"] = "⦏";
3673 utf82macro["⦏"] = "lbrksld";
3674 macro2utf8["gesdot"] = "⪀";
3675 utf82macro["⪀"] = "gesdot";
3676 macro2utf8["Element"] = "∈";
3677 utf82macro["∈"] = "Element";
3678 macro2utf8["xcirc"] = "◯";
3679 utf82macro["◯"] = "xcirc";
3680 macro2utf8["wscr"] = "𝓌";
3681 utf82macro["𝓌"] = "wscr";
3682 macro2utf8["toea"] = "⤨";
3683 utf82macro["⤨"] = "toea";
3684 macro2utf8["setmn"] = "∖";
3685 utf82macro["∖"] = "setmn";
3686 macro2utf8["neg"] = "¬";
3687 utf82macro["¬"] = "neg";
3688 macro2utf8["sol"] = "/";
3689 utf82macro["/"] = "sol";
3690 macro2utf8["yfr"] = "𝔶";
3691 utf82macro["𝔶"] = "yfr";
3692 macro2utf8["DoubleDownArrow"] = "⇓";
3693 utf82macro["⇓"] = "DoubleDownArrow";
3694 macro2utf8["Rarr"] = "↠";
3695 utf82macro["↠"] = "Rarr";
3696 macro2utf8["ngE"] = "≱";
3697 utf82macro["≱"] = "ngE";
3698 macro2utf8["Upsi"] = "ϒ";
3699 utf82macro["ϒ"] = "Upsi";
3700 macro2utf8["opar"] = "⦷";
3701 utf82macro["⦷"] = "opar";
3702 macro2utf8["rarrpl"] = "⥅";
3703 utf82macro["⥅"] = "rarrpl";
3704 macro2utf8["auml"] = "ä";
3705 utf82macro["ä"] = "auml";
3706 macro2utf8["bmod"] = "mod";
3707 utf82macro["mod"] = "bmod";
3708 macro2utf8["SquareSuperset"] = "⊐";
3709 utf82macro["⊐"] = "SquareSuperset";
3710 macro2utf8["neq"] = "≠";
3711 utf82macro["≠"] = "neq";
3712 macro2utf8["circleddash"] = "⊝";
3713 utf82macro["⊝"] = "circleddash";
3714 macro2utf8["xrarr"] = "";
3715 utf82macro[""] = "xrarr";
3716 macro2utf8["barwed"] = "⊼";
3717 utf82macro["⊼"] = "barwed";
3718 macro2utf8["lbrkslu"] = "⦍";
3719 utf82macro["⦍"] = "lbrkslu";
3720 macro2utf8["planckh"] = "ℎ";
3721 utf82macro["ℎ"] = "planckh";
3722 macro2utf8["ldrdhar"] = "⥧";
3723 utf82macro["⥧"] = "ldrdhar";
3724 macro2utf8["circledcirc"] = "⊚";
3725 utf82macro["⊚"] = "circledcirc";
3726 macro2utf8["ctdot"] = "⋯";
3727 utf82macro["⋯"] = "ctdot";
3728 macro2utf8["fallingdotseq"] = "≒";
3729 utf82macro["≒"] = "fallingdotseq";
3730 macro2utf8["Map"] = "⤅";
3731 utf82macro["⤅"] = "Map";
3732 macro2utf8["VerticalBar"] = "∣";
3733 utf82macro["∣"] = "VerticalBar";
3734 macro2utf8["succeq"] = "≽";
3735 utf82macro["≽"] = "succeq";
3736 macro2utf8["tint"] = "∭";
3737 utf82macro["∭"] = "tint";
3738 macro2utf8["imof"] = "⊷";
3739 utf82macro["⊷"] = "imof";
3740 macro2utf8["diam"] = "⋄";
3741 utf82macro["⋄"] = "diam";
3742 macro2utf8["twixt"] = "≬";
3743 utf82macro["≬"] = "twixt";
3744 macro2utf8["NoBreak"] = "";
3745 utf82macro[""] = "NoBreak";
3746 macro2utf8["langd"] = "⦑";
3747 utf82macro["⦑"] = "langd";
3748 macro2utf8["Bernoullis"] = "ℬ";
3749 utf82macro["ℬ"] = "Bernoullis";
3750 macro2utf8["rcaron"] = "ř";
3751 utf82macro["ř"] = "rcaron";
3752 macro2utf8["hom"] = "hom";
3753 utf82macro["hom"] = "hom";
3754 macro2utf8["nfr"] = "𝔫";
3755 utf82macro["𝔫"] = "nfr";
3756 macro2utf8["backsimeq"] = "⋍";
3757 utf82macro["⋍"] = "backsimeq";
3758 macro2utf8["target"] = "⌖";
3759 utf82macro["⌖"] = "target";
3760 macro2utf8["ouml"] = "ö";
3761 utf82macro["ö"] = "ouml";
3762 macro2utf8["nge"] = "≱⃥";
3763 utf82macro["≱⃥"] = "nge";
3764 macro2utf8["LeftTriangleBar"] = "⧏";
3765 utf82macro["⧏"] = "LeftTriangleBar";
3766 macro2utf8["subplus"] = "⪿";
3767 utf82macro["⪿"] = "subplus";
3768 macro2utf8["parsim"] = "⫳";
3769 utf82macro["⫳"] = "parsim";
3770 macro2utf8["Gcedil"] = "Ģ";
3771 utf82macro["Ģ"] = "Gcedil";
3772 macro2utf8["bnequiv"] = "≡⃥";
3773 utf82macro["≡⃥"] = "bnequiv";
3774 macro2utf8["ubreve"] = "ŭ";
3775 utf82macro["ŭ"] = "ubreve";
3776 macro2utf8["iexcl"] = "¡";
3777 utf82macro["¡"] = "iexcl";
3778 macro2utf8["Xi"] = "Ξ";
3779 utf82macro["Ξ"] = "Xi";
3780 macro2utf8["omega"] = "ω";
3781 utf82macro["ω"] = "omega";
3782 macro2utf8["elsdot"] = "⪗";
3783 utf82macro["⪗"] = "elsdot";
3784 macro2utf8["propto"] = "∝";
3785 utf82macro["∝"] = "propto";
3786 macro2utf8["squ"] = "□";
3787 utf82macro["□"] = "squ";
3788 macro2utf8["Ycirc"] = "Ŷ";
3789 utf82macro["Ŷ"] = "Ycirc";
3790 macro2utf8["amacr"] = "ā";
3791 utf82macro["ā"] = "amacr";
3792 macro2utf8["curlyeqprec"] = "⋞";
3793 utf82macro["⋞"] = "curlyeqprec";
3794 macro2utf8["ngt"] = "≯";
3795 utf82macro["≯"] = "ngt";
3796 macro2utf8["plusdo"] = "∔";
3797 utf82macro["∔"] = "plusdo";
3798 macro2utf8["ngeqslant"] = "≱";
3799 utf82macro["≱"] = "ngeqslant";
3800 macro2utf8["LongRightArrow"] = "";
3801 utf82macro[""] = "LongRightArrow";
3802 macro2utf8["LeftUpVector"] = "↿";
3803 utf82macro["↿"] = "LeftUpVector";
3804 macro2utf8["asymp"] = "≍";
3805 utf82macro["≍"] = "asymp";
3806 macro2utf8["imped"] = "𝕃";
3807 utf82macro["𝕃"] = "imped";
3808 macro2utf8["tritime"] = "⨻";
3809 utf82macro["⨻"] = "tritime";
3810 macro2utf8["rpargt"] = "⦔";
3811 utf82macro["⦔"] = "rpargt";
3812 macro2utf8["DDotrahd"] = "⤑";
3813 utf82macro["⤑"] = "DDotrahd";
3814 macro2utf8["prnsim"] = "⋨";
3815 utf82macro["⋨"] = "prnsim";
3816 macro2utf8["plusdu"] = "⨥";
3817 utf82macro["⨥"] = "plusdu";
3818 macro2utf8["cfr"] = "𝔠";
3819 utf82macro["𝔠"] = "cfr";
3820 macro2utf8["abreve"] = "ă";
3821 utf82macro["ă"] = "abreve";
3822 macro2utf8["suphsol"] = "⊃/";
3823 utf82macro["⊃/"] = "suphsol";
3824 macro2utf8["NegativeThickSpace"] = " ︀";
3825 utf82macro[" ︀"] = "NegativeThickSpace";
3826 macro2utf8["Mcy"] = "М";
3827 utf82macro["М"] = "Mcy";
3828 macro2utf8["uarr"] = "↑";
3829 utf82macro["↑"] = "uarr";
3830 macro2utf8["LeftRightVector"] = "⥎";
3831 utf82macro["⥎"] = "LeftRightVector";
3832 macro2utf8["lAarr"] = "⇚";
3833 utf82macro["⇚"] = "lAarr";
3834 macro2utf8["bsim"] = "∽";
3835 utf82macro["∽"] = "bsim";
3836 macro2utf8["simrarr"] = "⥲";
3837 utf82macro["⥲"] = "simrarr";
3838 macro2utf8["otimes"] = "⊗";
3839 utf82macro["⊗"] = "otimes";
3840 macro2utf8["NotSucceeds"] = "⊁";
3841 utf82macro["⊁"] = "NotSucceeds";
3842 macro2utf8["Cross"] = "⨯";
3843 utf82macro["⨯"] = "Cross";
3844 macro2utf8["downarrow"] = "↓";
3845 utf82macro["↓"] = "downarrow";
3846 macro2utf8["blacktriangle"] = "▴";
3847 utf82macro["▴"] = "blacktriangle";
3848 macro2utf8["TripleDot"] = "⃛";
3849 utf82macro["⃛"] = "TripleDot";
3850 macro2utf8["smallsetminus"] = "∖︀";
3851 utf82macro["∖︀"] = "smallsetminus";
3852 macro2utf8["supedot"] = "⫄";
3853 utf82macro["⫄"] = "supedot";
3854 macro2utf8["NotPrecedesSlantEqual"] = "⋠";
3855 utf82macro["⋠"] = "NotPrecedesSlantEqual";
3856 macro2utf8["neArr"] = "⇗";
3857 utf82macro["⇗"] = "neArr";
3858 macro2utf8["rarrtl"] = "↣";
3859 utf82macro["↣"] = "rarrtl";
3860 macro2utf8["isin"] = "∈";
3861 utf82macro["∈"] = "isin";
3862 macro2utf8["rrarr"] = "⇉";
3863 utf82macro["⇉"] = "rrarr";
3864 macro2utf8["Upsilon"] = "ϒ";
3865 utf82macro["ϒ"] = "Upsilon";
3866 macro2utf8["sqsub"] = "⊏";
3867 utf82macro["⊏"] = "sqsub";
3868 macro2utf8["boxUL"] = "╝";
3869 utf82macro["╝"] = "boxUL";
3870 macro2utf8["LessTilde"] = "≲";
3871 utf82macro["≲"] = "LessTilde";
3872 macro2utf8["Xfr"] = "𝔛";
3873 utf82macro["𝔛"] = "Xfr";
3874 macro2utf8["nis"] = "⋼";
3875 utf82macro["⋼"] = "nis";
3876 macro2utf8["chi"] = "χ";
3877 utf82macro["χ"] = "chi";
3878 macro2utf8["DownRightVector"] = "⇁";
3879 utf82macro["⇁"] = "DownRightVector";
3880 macro2utf8["niv"] = "∋";
3881 utf82macro["∋"] = "niv";
3882 macro2utf8["boxUR"] = "╚";
3883 utf82macro["╚"] = "boxUR";
3884 macro2utf8["nlArr"] = "⇍";
3885 utf82macro["⇍"] = "nlArr";
3886 macro2utf8["Bcy"] = "Б";
3887 utf82macro["Б"] = "Bcy";
3888 macro2utf8["tan"] = "tan";
3889 utf82macro["tan"] = "tan";
3890 macro2utf8["EmptyVerySmallSquare"] = "";
3891 utf82macro[""] = "EmptyVerySmallSquare";
3892 macro2utf8["dstrok"] = "đ";
3893 utf82macro["đ"] = "dstrok";
3894 macro2utf8["rfisht"] = "⥽";
3895 utf82macro["⥽"] = "rfisht";
3896 macro2utf8["easter"] = "≛";
3897 utf82macro["≛"] = "easter";
3898 macro2utf8["nlE"] = "≰";
3899 utf82macro["≰"] = "nlE";
3900 macro2utf8["Mellintrf"] = "ℳ";
3901 utf82macro["ℳ"] = "Mellintrf";
3902 macro2utf8["lotimes"] = "⨴";
3903 utf82macro["⨴"] = "lotimes";
3904 macro2utf8["sqsup"] = "⊐";
3905 utf82macro["⊐"] = "sqsup";
3906 macro2utf8["boxVH"] = "╬";
3907 utf82macro["╬"] = "boxVH";
3908 macro2utf8["bbrk"] = "⎵";
3909 utf82macro["⎵"] = "bbrk";
3910 macro2utf8["tau"] = "τ";
3911 utf82macro["τ"] = "tau";
3912 macro2utf8["UpTee"] = "⊥";
3913 utf82macro["⊥"] = "UpTee";
3914 macro2utf8["NotLeftTriangleBar"] = "⧏̸";
3915 utf82macro["⧏̸"] = "NotLeftTriangleBar";
3916 macro2utf8["boxVL"] = "╣";
3917 utf82macro["╣"] = "boxVL";
3918 macro2utf8["Proportion"] = "∷";
3919 utf82macro["∷"] = "Proportion";
3920 macro2utf8["equiv"] = "≡";
3921 utf82macro["≡"] = "equiv";
3922 macro2utf8["blk12"] = "▒";
3923 utf82macro["▒"] = "blk12";
3924 macro2utf8["blk14"] = "░";
3925 utf82macro["░"] = "blk14";
3926 macro2utf8["fpartint"] = "⨍";
3927 utf82macro["⨍"] = "fpartint";
3928 macro2utf8["boxVR"] = "╠";
3929 utf82macro["╠"] = "boxVR";
3930 macro2utf8["starf"] = "★";
3931 utf82macro["★"] = "starf";
3932 macro2utf8["risingdotseq"] = "≓";
3933 utf82macro["≓"] = "risingdotseq";
3934 macro2utf8["Equilibrium"] = "⇌";
3935 utf82macro["⇌"] = "Equilibrium";
3936 macro2utf8["ijlig"] = "ij";
3937 utf82macro["ij"] = "ijlig";
3938 macro2utf8["yicy"] = "ї";
3939 utf82macro["ї"] = "yicy";
3940 macro2utf8["sum"] = "∑";
3941 utf82macro["∑"] = "sum";
3942 macro2utf8["cir"] = "○";
3943 utf82macro["○"] = "cir";
3944 macro2utf8["telrec"] = "⌕";
3945 utf82macro["⌕"] = "telrec";
3946 macro2utf8["Mfr"] = "𝔐";
3947 utf82macro["𝔐"] = "Mfr";
3948 macro2utf8["dHar"] = "⥥";
3949 utf82macro["⥥"] = "dHar";
3950 macro2utf8["boxUl"] = "╜";
3951 utf82macro["╜"] = "boxUl";
3952 macro2utf8["apid"] = "≋";
3953 utf82macro["≋"] = "apid";
3954 macro2utf8["nleftarrow"] = "↚";
3955 utf82macro["↚"] = "nleftarrow";
3956 macro2utf8["curarrm"] = "⤼";
3957 utf82macro["⤼"] = "curarrm";
3958 macro2utf8["Scirc"] = "Ŝ";
3959 utf82macro["Ŝ"] = "Scirc";
3960 macro2utf8["Copf"] = "ℂ";
3961 utf82macro["ℂ"] = "Copf";
3962 macro2utf8["RightTriangleEqual"] = "⊵";
3963 utf82macro["⊵"] = "RightTriangleEqual";
3964 macro2utf8["boxUr"] = "╙";
3965 utf82macro["╙"] = "boxUr";
3966 macro2utf8["loplus"] = "⨭";
3967 utf82macro["⨭"] = "loplus";
3968 macro2utf8["varsupsetneq"] = "⊋︀";
3969 utf82macro["⊋︀"] = "varsupsetneq";
3970 macro2utf8["scaron"] = "š";
3971 utf82macro["š"] = "scaron";
3972 macro2utf8["Diamond"] = "⋄";
3973 utf82macro["⋄"] = "Diamond";
3974 macro2utf8["lowast"] = "∗";
3975 utf82macro["∗"] = "lowast";
3976 macro2utf8["nle"] = "≰⃥";
3977 utf82macro["≰⃥"] = "nle";
3978 macro2utf8["phiv"] = "ϕ";
3979 utf82macro["ϕ"] = "phiv";
3980 macro2utf8["gesdotol"] = "⪄";
3981 utf82macro["⪄"] = "gesdotol";
3982 macro2utf8["boxVh"] = "╫";
3983 utf82macro["╫"] = "boxVh";
3984 macro2utf8["nleftrightarrow"] = "↮";
3985 utf82macro["↮"] = "nleftrightarrow";
3986 macro2utf8["Jopf"] = "𝕁";
3987 utf82macro["𝕁"] = "Jopf";
3988 macro2utf8["boxVl"] = "╢";
3989 utf82macro["╢"] = "boxVl";
3990 macro2utf8["nearhk"] = "⤤";
3991 utf82macro["⤤"] = "nearhk";
3992 macro2utf8["vBarv"] = "⫩";
3993 utf82macro["⫩"] = "vBarv";
3994 macro2utf8["rHar"] = "⥤";
3995 utf82macro["⥤"] = "rHar";
3996 macro2utf8["boxVr"] = "╟";
3997 utf82macro["╟"] = "boxVr";
3998 macro2utf8["lessdot"] = "⋖";
3999 utf82macro["⋖"] = "lessdot";
4000 macro2utf8["LeftDoubleBracket"] = "〚";
4001 utf82macro["〚"] = "LeftDoubleBracket";
4002 macro2utf8["Delta"] = "Δ";
4003 utf82macro["Δ"] = "Delta";
4004 macro2utf8["limsup"] = "limsup";
4005 utf82macro["limsup"] = "limsup";
4006 macro2utf8["tcy"] = "т";
4007 utf82macro["т"] = "tcy";
4008 macro2utf8["nlt"] = "≮";
4009 utf82macro["≮"] = "nlt";
4010 macro2utf8["Cdot"] = "Ċ";
4011 utf82macro["Ċ"] = "Cdot";
4012 macro2utf8["blk34"] = "▓";
4013 utf82macro["▓"] = "blk34";
4014 macro2utf8["Bfr"] = "𝔅";
4015 utf82macro["𝔅"] = "Bfr";
4016 macro2utf8["lowbar"] = "_";
4017 utf82macro["_"] = "lowbar";
4018 macro2utf8["lneqq"] = "≨";
4019 utf82macro["≨"] = "lneqq";
4020 macro2utf8["TildeEqual"] = "≃";
4021 utf82macro["≃"] = "TildeEqual";
4022 macro2utf8["shortmid"] = "∣︀";
4023 utf82macro["∣︀"] = "shortmid";
4024 macro2utf8["Qopf"] = "ℚ";
4025 utf82macro["ℚ"] = "Qopf";
4026 macro2utf8["drcorn"] = "⌟";
4027 utf82macro["⌟"] = "drcorn";
4028 macro2utf8["ZeroWidthSpace"] = "​";
4029 utf82macro["​"] = "ZeroWidthSpace";
4030 macro2utf8["aogon"] = "ą";
4031 utf82macro["ą"] = "aogon";
4032 macro2utf8["Rsh"] = "↱";
4033 utf82macro["↱"] = "Rsh";
4034 macro2utf8["lrarr"] = "⇆";
4035 utf82macro["⇆"] = "lrarr";
4036 macro2utf8["cupdot"] = "⊍";
4037 utf82macro["⊍"] = "cupdot";
4038 macro2utf8["Xopf"] = "𝕏";
4039 utf82macro["𝕏"] = "Xopf";
4040 macro2utf8["Backslash"] = "∖";
4041 utf82macro["∖"] = "Backslash";
4042 macro2utf8["Union"] = "⋃";
4043 utf82macro["⋃"] = "Union";
4044 macro2utf8["ratio"] = "∶";
4045 utf82macro["∶"] = "ratio";
4046 macro2utf8["duarr"] = "⇵";
4047 utf82macro["⇵"] = "duarr";
4048 macro2utf8["lates"] = "⪭︀";
4049 utf82macro["⪭︀"] = "lates";
4050 macro2utf8["suphsub"] = "⫗";
4051 utf82macro["⫗"] = "suphsub";
4052 macro2utf8["squf"] = "▪";
4053 utf82macro["▪"] = "squf";
4054 macro2utf8["gamma"] = "γ";
4055 utf82macro["γ"] = "gamma";
4056 macro2utf8["lrhard"] = "⥭";
4057 utf82macro["⥭"] = "lrhard";
4058 macro2utf8["intprod"] = "⨼";
4059 utf82macro["⨼"] = "intprod";
4060 macro2utf8["ReverseUpEquilibrium"] = "⥯";
4061 utf82macro["⥯"] = "ReverseUpEquilibrium";
4062 macro2utf8["icy"] = "и";
4063 utf82macro["и"] = "icy";
4064 macro2utf8["quatint"] = "⨖";
4065 utf82macro["⨖"] = "quatint";
4066 macro2utf8["nbump"] = "≎̸";
4067 utf82macro["≎̸"] = "nbump";
4068 macro2utf8["downharpoonleft"] = "⇃";
4069 utf82macro["⇃"] = "downharpoonleft";
4070 macro2utf8["otimesas"] = "⨶";
4071 utf82macro["⨶"] = "otimesas";
4072 macro2utf8["nvHarr"] = "⇎";
4073 utf82macro["⇎"] = "nvHarr";
4074 macro2utf8["ContourIntegral"] = "∮";
4075 utf82macro["∮"] = "ContourIntegral";
4076 macro2utf8["bsol"] = "\\";
4077 utf82macro["\\"] = "bsol";
4078 macro2utf8["DoubleUpDownArrow"] = "⇕";
4079 utf82macro["⇕"] = "DoubleUpDownArrow";
4080 macro2utf8["disin"] = "⋲";
4081 utf82macro["⋲"] = "disin";
4082 macro2utf8["Breve"] = "˘";
4083 utf82macro["˘"] = "Breve";
4084 macro2utf8["YAcy"] = "Я";
4085 utf82macro["Я"] = "YAcy";
4086 macro2utf8["precsim"] = "≾";
4087 utf82macro["≾"] = "precsim";
4088 macro2utf8["NotGreaterGreater"] = "≫̸︀";
4089 utf82macro["≫̸︀"] = "NotGreaterGreater";
4090 macro2utf8["fopf"] = "𝕗";
4091 utf82macro["𝕗"] = "fopf";
4092 macro2utf8["SquareSupersetEqual"] = "⊒";
4093 utf82macro["⊒"] = "SquareSupersetEqual";
4094 macro2utf8["Dscr"] = "𝒟";
4095 utf82macro["𝒟"] = "Dscr";
4096 macro2utf8["gsime"] = "⪎";
4097 utf82macro["⪎"] = "gsime";
4098 macro2utf8["PartialD"] = "∂";
4099 utf82macro["∂"] = "PartialD";
4100 macro2utf8["Umacr"] = "Ū";
4101 utf82macro["Ū"] = "Umacr";
4102 macro2utf8["tfr"] = "𝔱";
4103 utf82macro["𝔱"] = "tfr";
4104 macro2utf8["cularrp"] = "⤽";
4105 utf82macro["⤽"] = "cularrp";
4106 macro2utf8["UnderBracket"] = "⎵";
4107 utf82macro["⎵"] = "UnderBracket";
4108 macro2utf8["ugrave"] = "ù";
4109 utf82macro["ù"] = "ugrave";
4110 macro2utf8["mopf"] = "𝕞";
4111 utf82macro["𝕞"] = "mopf";
4112 macro2utf8["gsiml"] = "⪐";
4113 utf82macro["⪐"] = "gsiml";
4114 macro2utf8["iquest"] = "¿";
4115 utf82macro["¿"] = "iquest";
4116 macro2utf8["nmid"] = "∤";
4117 utf82macro["∤"] = "nmid";
4118 macro2utf8["leftarrowtail"] = "↢";
4119 utf82macro["↢"] = "leftarrowtail";
4120 macro2utf8["not"] = "¬";
4121 utf82macro["¬"] = "not";
4122 macro2utf8["Kscr"] = "𝒦";
4123 utf82macro["𝒦"] = "Kscr";
4124 macro2utf8["xsqcup"] = "⊔";
4125 utf82macro["⊔"] = "xsqcup";
4126 macro2utf8["triangleleft"] = "◃";
4127 utf82macro["◃"] = "triangleleft";
4128 macro2utf8["amalg"] = "⨿";
4129 utf82macro["⨿"] = "amalg";
4130 macro2utf8["prcue"] = "≼";
4131 utf82macro["≼"] = "prcue";
4132 macro2utf8["ac"] = "⤏";
4133 utf82macro["⤏"] = "ac";
4134 macro2utf8["nharr"] = "↮";
4135 utf82macro["↮"] = "nharr";
4136 macro2utf8["dzcy"] = "џ";
4137 utf82macro["џ"] = "dzcy";
4138 macro2utf8["topf"] = "𝕥";
4139 utf82macro["𝕥"] = "topf";
4140 macro2utf8["iff"] = "⇔";
4141 utf82macro["⇔"] = "iff";
4142 macro2utf8["af"] = "⁡";
4143 utf82macro["⁡"] = "af";
4144 macro2utf8["Uparrow"] = "⇑";
4145 utf82macro["⇑"] = "Uparrow";
4146 macro2utf8["Iacute"] = "Í";
4147 utf82macro["Í"] = "Iacute";
4148 macro2utf8["Rscr"] = "ℛ";
4149 utf82macro["ℛ"] = "Rscr";
4150 macro2utf8["vrtri"] = "⊳";
4151 utf82macro["⊳"] = "vrtri";
4152 macro2utf8["multimap"] = "⊸";
4153 utf82macro["⊸"] = "multimap";
4154 macro2utf8["Hat"] = "̂";
4155 utf82macro["̂"] = "Hat";
4156 macro2utf8["rtriltri"] = "⧎";
4157 utf82macro["⧎"] = "rtriltri";
4158 macro2utf8["npr"] = "⊀";
4159 utf82macro["⊀"] = "npr";
4160 macro2utf8["agrave"] = "à";
4161 utf82macro["à"] = "agrave";
4162 macro2utf8["UnderBar"] = "̲";
4163 utf82macro["̲"] = "UnderBar";
4164 macro2utf8["prime"] = "′";
4165 utf82macro["′"] = "prime";
4166 macro2utf8["plusmn"] = "±";
4167 utf82macro["±"] = "plusmn";
4168 macro2utf8["eplus"] = "⩱";
4169 utf82macro["⩱"] = "eplus";
4170 macro2utf8["ap"] = "≈";
4171 utf82macro["≈"] = "ap";
4172 macro2utf8["dlcorn"] = "⌞";
4173 utf82macro["⌞"] = "dlcorn";
4174 macro2utf8["backsim"] = "∽";
4175 utf82macro["∽"] = "backsim";
4176 macro2utf8["ifr"] = "𝔦";
4177 utf82macro["𝔦"] = "ifr";
4178 macro2utf8["bigcup"] = "⋃";
4179 utf82macro["⋃"] = "bigcup";
4180 macro2utf8["tcaron"] = "ť";
4181 utf82macro["ť"] = "tcaron";
4182 macro2utf8["sqcaps"] = "⊓︀";
4183 utf82macro["⊓︀"] = "sqcaps";
4184 macro2utf8["equals"] = "=";
4185 utf82macro["="] = "equals";
4186 macro2utf8["curlywedge"] = "⋏";
4187 utf82macro["⋏"] = "curlywedge";
4188 macro2utf8["Yscr"] = "𝒴";
4189 utf82macro["𝒴"] = "Yscr";
4190 macro2utf8["longrightarrow"] = "????";
4191 utf82macro["????"] = "longrightarrow";
4192 macro2utf8["fork"] = "⋔";
4193 utf82macro["⋔"] = "fork";
4194 macro2utf8["cos"] = "cos";
4195 utf82macro["cos"] = "cos";
4196 macro2utf8["cot"] = "cot";
4197 utf82macro["cot"] = "cot";
4198 macro2utf8["ImaginaryI"] = "ⅈ";
4199 utf82macro["ⅈ"] = "ImaginaryI";
4200 macro2utf8["Scy"] = "С";
4201 utf82macro["С"] = "Scy";
4202 macro2utf8["mapsto"] = "↦";
4203 utf82macro["↦"] = "mapsto";
4204 macro2utf8["tdot"] = "⃛";
4205 utf82macro["⃛"] = "tdot";
4206 macro2utf8["vellip"] = "⋮";
4207 utf82macro["⋮"] = "vellip";
4208 macro2utf8["sqsupseteq"] = "⊒";
4209 utf82macro["⊒"] = "sqsupseteq";
4210 macro2utf8["nvdash"] = "⊬";
4211 utf82macro["⊬"] = "nvdash";
4212 macro2utf8["NotSuperset"] = "⊅";
4213 utf82macro["⊅"] = "NotSuperset";
4214 macro2utf8["DoubleUpArrow"] = "⇑";
4215 utf82macro["⇑"] = "DoubleUpArrow";
4216 macro2utf8["land"] = "∧";
4217 utf82macro["∧"] = "land";
4218 macro2utf8["topfork"] = "⫚";
4219 utf82macro["⫚"] = "topfork";
4220 macro2utf8["llhard"] = "⥫";
4221 utf82macro["⥫"] = "llhard";
4222 macro2utf8["apos"] = "'";
4223 utf82macro["'"] = "apos";
4224 macro2utf8["oslash"] = "ø";
4225 utf82macro["ø"] = "oslash";
4226 macro2utf8["lang"] = "〈";
4227 utf82macro["〈"] = "lang";
4228 macro2utf8["bernou"] = "ℬ";
4229 utf82macro["ℬ"] = "bernou";
4230 macro2utf8["varrho"] = "ϱ";
4231 utf82macro["ϱ"] = "varrho";
4232 macro2utf8["rcub"] = "}";
4233 utf82macro["}"] = "rcub";
4234 macro2utf8["Cedilla"] = "¸";
4235 utf82macro["¸"] = "Cedilla";
4236 macro2utf8["ApplyFunction"] = "⁡";
4237 utf82macro["⁡"] = "ApplyFunction";
4238 macro2utf8["nsce"] = "⪰̸";
4239 utf82macro["⪰̸"] = "nsce";
4240 macro2utf8["gscr"] = "ℊ";
4241 utf82macro["ℊ"] = "gscr";
4242 macro2utf8["imagpart"] = "ℑ";
4243 utf82macro["ℑ"] = "imagpart";
4244 macro2utf8["ngtr"] = "≯";
4245 utf82macro["≯"] = "ngtr";
4246 macro2utf8["nsc"] = "⊁";
4247 utf82macro["⊁"] = "nsc";
4248 macro2utf8["Barv"] = "⫧";
4249 utf82macro["⫧"] = "Barv";
4250 macro2utf8["tosa"] = "⤩";
4251 utf82macro["⤩"] = "tosa";
4252 macro2utf8["nwnear"] = "⤧";
4253 utf82macro["⤧"] = "nwnear";
4254 macro2utf8["ltlarr"] = "⥶";
4255 utf82macro["⥶"] = "ltlarr";
4256 macro2utf8["PrecedesEqual"] = "⪯";
4257 utf82macro["⪯"] = "PrecedesEqual";
4258 macro2utf8["lessapprox"] = "≲";
4259 utf82macro["≲"] = "lessapprox";
4260 macro2utf8["Lcaron"] = "Ľ";
4261 utf82macro["Ľ"] = "Lcaron";
projects / helm.git / blob