matitaB/matita/utf8MacroTable.js

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