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