helm/ocaml/utf8_macros/utf8MacroTable.ml

   1 (* GENERATED by make_table: DO NOT EDIT! *)
   2 let macro2utf8 = Hashtbl.create 2000
   3 let _ = Hashtbl.add macro2utf8 "nscr" "ð\157\147\131"
   4 let _ = Hashtbl.add macro2utf8 "LJcy" "Ð\137"
   5 let _ = Hashtbl.add macro2utf8 "dd" "â\133\134"
   6 let _ = Hashtbl.add macro2utf8 "Omacr" "Å\140"
   7 let _ = Hashtbl.add macro2utf8 "npreceq" "⪯̸"
   8 let _ = Hashtbl.add macro2utf8 "Gcirc" "Ä\156"
   9 let _ = Hashtbl.add macro2utf8 "utilde" "ũ"
  10 let _ = Hashtbl.add macro2utf8 "rdca" "⤷"
  11 let _ = Hashtbl.add macro2utf8 "racute" "Å\149"
  12 let _ = Hashtbl.add macro2utf8 "mstpos" "â\136¾"
  13 let _ = Hashtbl.add macro2utf8 "supnE" "â\138\139"
  14 let _ = Hashtbl.add macro2utf8 "NotLessLess" "â\137ªÌ¸ï¸\128"
  15 let _ = Hashtbl.add macro2utf8 "iiint" "â\136"
  16 let _ = Hashtbl.add macro2utf8 "uscr" "ð\157\147\138"
  17 let _ = Hashtbl.add macro2utf8 "Sfr" "ð\157\148\150"
  18 let _ = Hashtbl.add macro2utf8 "nsupseteqq" "â\138\137"
  19 let _ = Hashtbl.add macro2utf8 "nwarrow" "â\134\150"
  20 let _ = Hashtbl.add macro2utf8 "nwarrow" "â\134\150"
  21 let _ = Hashtbl.add macro2utf8 "twoheadrightarrow" "â\134 "
  22 let _ = Hashtbl.add macro2utf8 "sccue" "â\137½"
  23 let _ = Hashtbl.add macro2utf8 "NotSquareSuperset" "â\138\144Ì¸"
  24 let _ = Hashtbl.add macro2utf8 "ee" "â\133\135"
  25 let _ = Hashtbl.add macro2utf8 "boxbox" "â§\137"
  26 let _ = Hashtbl.add macro2utf8 "andand" "â©\149"
  27 let _ = Hashtbl.add macro2utf8 "LeftVectorBar" "â¥\146"
  28 let _ = Hashtbl.add macro2utf8 "eg" "âª\154"
  29 let _ = Hashtbl.add macro2utf8 "csc" "csc"
  30 let _ = Hashtbl.add macro2utf8 "NotRightTriangleEqual" "â\139"
  31 let _ = Hashtbl.add macro2utf8 "filig" "ï¬\129"
  32 let _ = Hashtbl.add macro2utf8 "atilde" "ã"
  33 let _ = Hashtbl.add macro2utf8 "ring" "Ë\154"
  34 let _ = Hashtbl.add macro2utf8 "congdot" "⩭"
  35 let _ = Hashtbl.add macro2utf8 "gE" "â\137§"
  36 let _ = Hashtbl.add macro2utf8 "rcedil" "Å\151"
  37 let _ = Hashtbl.add macro2utf8 "el" "âª\153"
  38 let _ = Hashtbl.add macro2utf8 "HorizontalLine" "â\148\128"
  39 let _ = Hashtbl.add macro2utf8 "incare" "â\132\133"
  40 let _ = Hashtbl.add macro2utf8 "hoarr" "â\135¿"
  41 let _ = Hashtbl.add macro2utf8 "SOFTcy" "Ь"
  42 let _ = Hashtbl.add macro2utf8 "conint" "â\136®"
  43 let _ = Hashtbl.add macro2utf8 "OverParenthesis" "︵"
  44 let _ = Hashtbl.add macro2utf8 "Uogon" "Ų"
  45 let _ = Hashtbl.add macro2utf8 "supne" "â\138\139"
  46 let _ = Hashtbl.add macro2utf8 "num" "#"
  47 let _ = Hashtbl.add macro2utf8 "zcy" "з"
  48 let _ = Hashtbl.add macro2utf8 "Hfr" "â\132\140"
  49 let _ = Hashtbl.add macro2utf8 "dtri" "â\150¿"
  50 let _ = Hashtbl.add macro2utf8 "FilledSmallSquare" "â\151¾"
  51 let _ = Hashtbl.add macro2utf8 "SucceedsEqual" "â\137½"
  52 let _ = Hashtbl.add macro2utf8 "leftthreetimes" "â\139\139"
  53 let _ = Hashtbl.add macro2utf8 "ycirc" "ŷ"
  54 let _ = Hashtbl.add macro2utf8 "sqcup" "â\138\148"
  55 let _ = Hashtbl.add macro2utf8 "sqcup" "â\138\148"
  56 let _ = Hashtbl.add macro2utf8 "DoubleLeftArrow" "â\135\144"
  57 let _ = Hashtbl.add macro2utf8 "ge" "â\137¥"
  58 let _ = Hashtbl.add macro2utf8 "gtrless" "â\137·"
  59 let _ = Hashtbl.add macro2utf8 "ge" "â\137¥"
  60 let _ = Hashtbl.add macro2utf8 "Product" "â\136\143"
  61 let _ = Hashtbl.add macro2utf8 "NotExists" "â\136\132"
  62 let _ = Hashtbl.add macro2utf8 "gg" "â\137«"
  63 let _ = Hashtbl.add macro2utf8 "gg" "â\137«"
  64 let _ = Hashtbl.add macro2utf8 "curlyvee" "â\139\142"
  65 let _ = Hashtbl.add macro2utf8 "ntrianglerighteq" "â\139"
  66 let _ = Hashtbl.add macro2utf8 "Colon" "â\136·"
  67 let _ = Hashtbl.add macro2utf8 "rbrke" "â¦\140"
  68 let _ = Hashtbl.add macro2utf8 "LeftDownVector" "â\135\131"
  69 let _ = Hashtbl.add macro2utf8 "gl" "â\137·"
  70 let _ = Hashtbl.add macro2utf8 "lrcorner" "â\140\159"
  71 let _ = Hashtbl.add macro2utf8 "mapstodown" "â\134§"
  72 let _ = Hashtbl.add macro2utf8 "excl" "!"
  73 let _ = Hashtbl.add macro2utf8 "cdots" "â\139¯"
  74 let _ = Hashtbl.add macro2utf8 "larr" "â\134\144"
  75 let _ = Hashtbl.add macro2utf8 "dtdot" "â\139±"
  76 let _ = Hashtbl.add macro2utf8 "kgreen" "ĸ"
  77 let _ = Hashtbl.add macro2utf8 "rtri" "â\150¹"
  78 let _ = Hashtbl.add macro2utf8 "rbarr" "â¤\141"
  79 let _ = Hashtbl.add macro2utf8 "ocy" "о"
  80 let _ = Hashtbl.add macro2utf8 "gt" ">"
  81 let _ = Hashtbl.add macro2utf8 "cup" "â\136ª"
  82 let _ = Hashtbl.add macro2utf8 "DownLeftRightVector" "â¥\144"
  83 let _ = Hashtbl.add macro2utf8 "cup" "â\136ª"
  84 let _ = Hashtbl.add macro2utf8 "updownarrow" "â\134\149"
  85 let _ = Hashtbl.add macro2utf8 "updownarrow" "â\134\149"
  86 let _ = Hashtbl.add macro2utf8 "Imacr" "Ī"
  87 let _ = Hashtbl.add macro2utf8 "cross" "â\156\151"
  88 let _ = Hashtbl.add macro2utf8 "Acirc" "Ã\130"
  89 let _ = Hashtbl.add macro2utf8 "lvertneqq" "â\137¨ï¸\128"
  90 let _ = Hashtbl.add macro2utf8 "ccaps" "â©\141"
  91 let _ = Hashtbl.add macro2utf8 "NotLeftTriangleEqual" "â\139¬"
  92 let _ = Hashtbl.add macro2utf8 "IJlig" "Ĳ"
  93 let _ = Hashtbl.add macro2utf8 "boxplus" "â\138\158"
  94 let _ = Hashtbl.add macro2utf8 "epsilon" "ϵ"
  95 let _ = Hashtbl.add macro2utf8 "zfr" "ð\157\148·"
  96 let _ = Hashtbl.add macro2utf8 "late" "⪭"
  97 let _ = Hashtbl.add macro2utf8 "ic" "â\128\139"
  98 let _ = Hashtbl.add macro2utf8 "lrhar" "â\135\139"
  99 let _ = Hashtbl.add macro2utf8 "gsim" "â\137³"
 100 let _ = Hashtbl.add macro2utf8 "inf" "inf"
 101 let _ = Hashtbl.add macro2utf8 "top" "â\138¤"
 102 let _ = Hashtbl.add macro2utf8 "top" "â\138¤"
 103 let _ = Hashtbl.add macro2utf8 "odsold" "⦼"
 104 let _ = Hashtbl.add macro2utf8 "circlearrowright" "â\134»"
 105 let _ = Hashtbl.add macro2utf8 "rtimes" "â\139\138"
 106 let _ = Hashtbl.add macro2utf8 "ii" "â\133\136"
 107 let _ = Hashtbl.add macro2utf8 "DoubleRightTee" "â\138¨"
 108 let _ = Hashtbl.add macro2utf8 "dcy" "д"
 109 let _ = Hashtbl.add macro2utf8 "boxdL" "â\149\149"
 110 let _ = Hashtbl.add macro2utf8 "duhar" "⥯"
 111 let _ = Hashtbl.add macro2utf8 "vert" "|"
 112 let _ = Hashtbl.add macro2utf8 "in" "â\136\136"
 113 let _ = Hashtbl.add macro2utf8 "vert" "|"
 114 let _ = Hashtbl.add macro2utf8 "sacute" "Å\155"
 115 let _ = Hashtbl.add macro2utf8 "in" "â\136\136"
 116 let _ = Hashtbl.add macro2utf8 "Assign" "â\137\148"
 117 let _ = Hashtbl.add macro2utf8 "nsim" "â\137\129"
 118 let _ = Hashtbl.add macro2utf8 "boxdR" "â\149\146"
 119 let _ = Hashtbl.add macro2utf8 "int" "â\136«"
 120 let _ = Hashtbl.add macro2utf8 "o" "ο"
 121 let _ = Hashtbl.add macro2utf8 "radic" "â\136\154"
 122 let _ = Hashtbl.add macro2utf8 "it" "â\129¢"
 123 let _ = Hashtbl.add macro2utf8 "int" "â\136«"
 124 let _ = Hashtbl.add macro2utf8 "cwint" "â\136±"
 125 let _ = Hashtbl.add macro2utf8 "ForAll" "â\136\128"
 126 let _ = Hashtbl.add macro2utf8 "simplus" "⨤"
 127 let _ = Hashtbl.add macro2utf8 "isindot" "â\139µ"
 128 let _ = Hashtbl.add macro2utf8 "rightthreetimes" "â\139\140"
 129 let _ = Hashtbl.add macro2utf8 "supseteqq" "â\138\135"
 130 let _ = Hashtbl.add macro2utf8 "bnot" "â\140\144"
 131 let _ = Hashtbl.add macro2utf8 "rppolint" "â¨\146"
 132 let _ = Hashtbl.add macro2utf8 "def" "â\137\157"
 133 let _ = Hashtbl.add macro2utf8 "TScy" "Ц"
 134 let _ = Hashtbl.add macro2utf8 "lE" "â\137¦"
 135 let _ = Hashtbl.add macro2utf8 "ffilig" "ï¬\131"
 136 let _ = Hashtbl.add macro2utf8 "deg" "deg"
 137 let _ = Hashtbl.add macro2utf8 "deg" "°"
 138 let _ = Hashtbl.add macro2utf8 "{" "{"
 139 let _ = Hashtbl.add macro2utf8 "RightVector" "â\135\128"
 140 let _ = Hashtbl.add macro2utf8 "ofr" "ð\157\148¬"
 141 let _ = Hashtbl.add macro2utf8 "|" "|"
 142 let _ = Hashtbl.add macro2utf8 "liminf" "liminf"
 143 let _ = Hashtbl.add macro2utf8 "}" "}"
 144 let _ = Hashtbl.add macro2utf8 "LeftUpTeeVector" "⥠"
 145 let _ = Hashtbl.add macro2utf8 "scirc" "Å\157"
 146 let _ = Hashtbl.add macro2utf8 "scedil" "Å\159"
 147 let _ = Hashtbl.add macro2utf8 "ufisht" "⥾"
 148 let _ = Hashtbl.add macro2utf8 "LeftUpDownVector" "â¥\145"
 149 let _ = Hashtbl.add macro2utf8 "leftarrow" "â\134\144"
 150 let _ = Hashtbl.add macro2utf8 "questeq" "â\137\159"
 151 let _ = Hashtbl.add macro2utf8 "leftarrow" "â\134\144"
 152 let _ = Hashtbl.add macro2utf8 "Ycy" "Ы"
 153 let _ = Hashtbl.add macro2utf8 "Coproduct" "â\136\144"
 154 let _ = Hashtbl.add macro2utf8 "det" "det"
 155 let _ = Hashtbl.add macro2utf8 "boxdl" "â\148\144"
 156 let _ = Hashtbl.add macro2utf8 "Aopf" "ð\157\148¸"
 157 let _ = Hashtbl.add macro2utf8 "srarr" "â\134\146ï¸\128"
 158 let _ = Hashtbl.add macro2utf8 "lbrke" "â¦\139"
 159 let _ = Hashtbl.add macro2utf8 "boxdr" "â\148\140"
 160 let _ = Hashtbl.add macro2utf8 "Ntilde" "Ã\145"
 161 let _ = Hashtbl.add macro2utf8 "gnap" "âª\138"
 162 let _ = Hashtbl.add macro2utf8 "Cap" "â\139\146"
 163 let _ = Hashtbl.add macro2utf8 "swarhk" "⤦"
 164 let _ = Hashtbl.add macro2utf8 "ogt" "â§\129"
 165 let _ = Hashtbl.add macro2utf8 "emptyset" "â\136\133ï¸\128"
 166 let _ = Hashtbl.add macro2utf8 "emptyset" "â\136\133ï¸\128"
 167 let _ = Hashtbl.add macro2utf8 "harrw" "â\134"
 168 let _ = Hashtbl.add macro2utf8 "lbarr" "â¤\140"
 169 let _ = Hashtbl.add macro2utf8 "delta" "δ"
 170 let _ = Hashtbl.add macro2utf8 "Tilde" "â\136¼"
 171 let _ = Hashtbl.add macro2utf8 "delta" "δ"
 172 let _ = Hashtbl.add macro2utf8 "Hopf" "â\132\141"
 173 let _ = Hashtbl.add macro2utf8 "dfr" "ð\157\148¡"
 174 let _ = Hashtbl.add macro2utf8 "le" "â\137¤"
 175 let _ = Hashtbl.add macro2utf8 "le" "â\137¤"
 176 let _ = Hashtbl.add macro2utf8 "lg" "lg"
 177 let _ = Hashtbl.add macro2utf8 "lg" "â\137¶"
 178 let _ = Hashtbl.add macro2utf8 "ohm" "â\132¦"
 179 let _ = Hashtbl.add macro2utf8 "Jsercy" "Ð\136"
 180 let _ = Hashtbl.add macro2utf8 "quaternions" "â\132\141"
 181 let _ = Hashtbl.add macro2utf8 "DoubleLongLeftArrow" "ï\149¹"
 182 let _ = Hashtbl.add macro2utf8 "ll" "â\137ª"
 183 let _ = Hashtbl.add macro2utf8 "nabla" "â\136\135"
 184 let _ = Hashtbl.add macro2utf8 "Ncy" "Ð\157"
 185 let _ = Hashtbl.add macro2utf8 "nabla" "â\136\135"
 186 let _ = Hashtbl.add macro2utf8 "ltcir" "⩹"
 187 let _ = Hashtbl.add macro2utf8 "ll" "â\137ª"
 188 let _ = Hashtbl.add macro2utf8 "ln" "ln"
 189 let _ = Hashtbl.add macro2utf8 "rmoust" "â\142±"
 190 let _ = Hashtbl.add macro2utf8 "Oopf" "ð\157\149\134"
 191 let _ = Hashtbl.add macro2utf8 "nbsp" " "
 192 let _ = Hashtbl.add macro2utf8 "Kcedil" "Ķ"
 193 let _ = Hashtbl.add macro2utf8 "vdots" "â\139®"
 194 let _ = Hashtbl.add macro2utf8 "NotLessTilde" "â\137´"
 195 let _ = Hashtbl.add macro2utf8 "lt" "<"
 196 let _ = Hashtbl.add macro2utf8 "djcy" "Ñ\146"
 197 let _ = Hashtbl.add macro2utf8 "DownRightTeeVector" "â¥\159"
 198 let _ = Hashtbl.add macro2utf8 "Ograve" "Ã\146"
 199 let _ = Hashtbl.add macro2utf8 "boxhD" "â\149¥"
 200 let _ = Hashtbl.add macro2utf8 "nsime" "â\137\132"
 201 let _ = Hashtbl.add macro2utf8 "egsdot" "âª\152"
 202 let _ = Hashtbl.add macro2utf8 "bigodot" "â\138\153"
 203 let _ = Hashtbl.add macro2utf8 "mDDot" "â\136º"
 204 let _ = Hashtbl.add macro2utf8 "bigodot" "â\138\153"
 205 let _ = Hashtbl.add macro2utf8 "Vopf" "ð\157\149\141"
 206 let _ = Hashtbl.add macro2utf8 "looparrowright" "â\134¬"
 207 let _ = Hashtbl.add macro2utf8 "yucy" "Ñ\142"
 208 let _ = Hashtbl.add macro2utf8 "trade" "â\132¢"
 209 let _ = Hashtbl.add macro2utf8 "Yfr" "ð\157\148\156"
 210 let _ = Hashtbl.add macro2utf8 "kjcy" "Ñ\156"
 211 let _ = Hashtbl.add macro2utf8 "mp" "â\136\147"
 212 let _ = Hashtbl.add macro2utf8 "mp" "â\136\147"
 213 let _ = Hashtbl.add macro2utf8 "leftrightarrows" "â\135\134"
 214 let _ = Hashtbl.add macro2utf8 "uharl" "â\134¿"
 215 let _ = Hashtbl.add macro2utf8 "ncap" "â©\131"
 216 let _ = Hashtbl.add macro2utf8 "Iogon" "Į"
 217 let _ = Hashtbl.add macro2utf8 "NotSubset" "â\138\132"
 218 let _ = Hashtbl.add macro2utf8 "Bumpeq" "â\137\142"
 219 let _ = Hashtbl.add macro2utf8 "mu" "μ"
 220 let _ = Hashtbl.add macro2utf8 "mu" "μ"
 221 let _ = Hashtbl.add macro2utf8 "FilledVerySmallSquare" "ï\150\155"
 222 let _ = Hashtbl.add macro2utf8 "breve" "Ë\152"
 223 let _ = Hashtbl.add macro2utf8 "boxhU" "â\149¨"
 224 let _ = Hashtbl.add macro2utf8 "Sigma" "Σ"
 225 let _ = Hashtbl.add macro2utf8 "Sigma" "Σ"
 226 let _ = Hashtbl.add macro2utf8 "uharr" "â\134¾"
 227 let _ = Hashtbl.add macro2utf8 "ne" "â\137 "
 228 let _ = Hashtbl.add macro2utf8 "xrArr" "ï\149º"
 229 let _ = Hashtbl.add macro2utf8 "ne" "â\137 "
 230 let _ = Hashtbl.add macro2utf8 "oS" "â\147\136"
 231 let _ = Hashtbl.add macro2utf8 "xodot" "â\138\153"
 232 let _ = Hashtbl.add macro2utf8 "ni" "â\136\139"
 233 let _ = Hashtbl.add macro2utf8 "ni" "â\136\139"
 234 let _ = Hashtbl.add macro2utf8 "mdash" "â\128\148"
 235 let _ = Hashtbl.add macro2utf8 "Verbar" "â\128\150"
 236 let _ = Hashtbl.add macro2utf8 "die" "¨"
 237 let _ = Hashtbl.add macro2utf8 "veebar" "â\138»"
 238 let _ = Hashtbl.add macro2utf8 "UpArrowBar" "â¤\146"
 239 let _ = Hashtbl.add macro2utf8 "Ncaron" "Å\135"
 240 let _ = Hashtbl.add macro2utf8 "RightArrowBar" "â\135¥"
 241 let _ = Hashtbl.add macro2utf8 "LongLeftArrow" "ï\149¶"
 242 let _ = Hashtbl.add macro2utf8 "rceil" "â\140\137"
 243 let _ = Hashtbl.add macro2utf8 "rceil" "â\140\137"
 244 let _ = Hashtbl.add macro2utf8 "LeftDownVectorBar" "â¥\153"
 245 let _ = Hashtbl.add macro2utf8 "umacr" "ū"
 246 let _ = Hashtbl.add macro2utf8 "Hacek" "Ë\135"
 247 let _ = Hashtbl.add macro2utf8 "odblac" "Å\145"
 248 let _ = Hashtbl.add macro2utf8 "lmidot" "Å\128"
 249 let _ = Hashtbl.add macro2utf8 "dopf" "ð\157\149\149"
 250 let _ = Hashtbl.add macro2utf8 "boxhd" "â\148¬"
 251 let _ = Hashtbl.add macro2utf8 "dim" "dim"
 252 let _ = Hashtbl.add macro2utf8 "vnsub" "â\138\132"
 253 let _ = Hashtbl.add macro2utf8 "Bscr" "â\132¬"
 254 let _ = Hashtbl.add macro2utf8 "plussim" "⨦"
 255 let _ = Hashtbl.add macro2utf8 "doublebarwedge" "â\140\134"
 256 let _ = Hashtbl.add macro2utf8 "nu" "ν"
 257 let _ = Hashtbl.add macro2utf8 "nu" "ν"
 258 let _ = Hashtbl.add macro2utf8 "eqcolon" "â\137\149"
 259 let _ = Hashtbl.add macro2utf8 "luruhar" "⥦"
 260 let _ = Hashtbl.add macro2utf8 "Nfr" "ð\157\148\145"
 261 let _ = Hashtbl.add macro2utf8 "preceq" "⪯"
 262 let _ = Hashtbl.add macro2utf8 "preceq" "⪯"
 263 let _ = Hashtbl.add macro2utf8 "div" "÷"
 264 let _ = Hashtbl.add macro2utf8 "LeftTee" "â\138£"
 265 let _ = Hashtbl.add macro2utf8 "div" "÷"
 266 let _ = Hashtbl.add macro2utf8 "nVDash" "â\138¯"
 267 let _ = Hashtbl.add macro2utf8 "kopf" "ð\157\149\156"
 268 let _ = Hashtbl.add macro2utf8 "Iscr" "â\132\144"
 269 let _ = Hashtbl.add macro2utf8 "vnsup" "â\138\133"
 270 let _ = Hashtbl.add macro2utf8 "gneq" "â\137©"
 271 let _ = Hashtbl.add macro2utf8 "backepsilon" "϶"
 272 let _ = Hashtbl.add macro2utf8 "boxhu" "â\148´"
 273 let _ = Hashtbl.add macro2utf8 "ominus" "â\138\150"
 274 let _ = Hashtbl.add macro2utf8 "ominus" "â\138\150"
 275 let _ = Hashtbl.add macro2utf8 "or" "â\136¨"
 276 let _ = Hashtbl.add macro2utf8 "lesdot" "⩿"
 277 let _ = Hashtbl.add macro2utf8 "RightVectorBar" "â¥\147"
 278 let _ = Hashtbl.add macro2utf8 "tcedil" "ţ"
 279 let _ = Hashtbl.add macro2utf8 "hstrok" "ħ"
 280 let _ = Hashtbl.add macro2utf8 "nrarrc" "⤳̸"
 281 let _ = Hashtbl.add macro2utf8 "ropf" "ð\157\149£"
 282 let _ = Hashtbl.add macro2utf8 "diamond" "â\139\132"
 283 let _ = Hashtbl.add macro2utf8 "diamond" "â\139\132"
 284 let _ = Hashtbl.add macro2utf8 "smid" "â\136£ï¸\128"
 285 let _ = Hashtbl.add macro2utf8 "nltri" "â\139ª"
 286 let _ = Hashtbl.add macro2utf8 "Pscr" "ð\157\146«"
 287 let _ = Hashtbl.add macro2utf8 "vartheta" "Ï\145"
 288 let _ = Hashtbl.add macro2utf8 "vartheta" "Ï\145"
 289 let _ = Hashtbl.add macro2utf8 "therefore" "â\136´"
 290 let _ = Hashtbl.add macro2utf8 "pi" "Ï\128"
 291 let _ = Hashtbl.add macro2utf8 "pi" "Ï\128"
 292 let _ = Hashtbl.add macro2utf8 "ntrianglelefteq" "â\139¬"
 293 let _ = Hashtbl.add macro2utf8 "nearrow" "â\134\151"
 294 let _ = Hashtbl.add macro2utf8 "nearrow" "â\134\151"
 295 let _ = Hashtbl.add macro2utf8 "pm" "±"
 296 let _ = Hashtbl.add macro2utf8 "natural" "â\153®"
 297 let _ = Hashtbl.add macro2utf8 "pm" "±"
 298 let _ = Hashtbl.add macro2utf8 "natural" "â\153®"
 299 let _ = Hashtbl.add macro2utf8 "ucy" "Ñ\131"
 300 let _ = Hashtbl.add macro2utf8 "olt" "â§\128"
 301 let _ = Hashtbl.add macro2utf8 "Cfr" "â\132"
 302 let _ = Hashtbl.add macro2utf8 "yopf" "ð\157\149ª"
 303 let _ = Hashtbl.add macro2utf8 "Otilde" "Ã\149"
 304 let _ = Hashtbl.add macro2utf8 "ntriangleleft" "â\139ª"
 305 let _ = Hashtbl.add macro2utf8 "pr" "â\137º"
 306 let _ = Hashtbl.add macro2utf8 "Wscr" "ð\157\146²"
 307 let _ = Hashtbl.add macro2utf8 "midcir" "⫰"
 308 let _ = Hashtbl.add macro2utf8 "Lacute" "Ĺ"
 309 let _ = Hashtbl.add macro2utf8 "DoubleDot" "¨"
 310 let _ = Hashtbl.add macro2utf8 "Tstrok" "Ŧ"
 311 let _ = Hashtbl.add macro2utf8 "nrarrw" "â\134\157Ì¸"
 312 let _ = Hashtbl.add macro2utf8 "uArr" "â\135\145"
 313 let _ = Hashtbl.add macro2utf8 "nLtv" "â\137ªÌ¸ï¸\128"
 314 let _ = Hashtbl.add macro2utf8 "rangle" "â\140ª"
 315 let _ = Hashtbl.add macro2utf8 "rangle" "â\140ª"
 316 let _ = Hashtbl.add macro2utf8 "olcir" "⦾"
 317 let _ = Hashtbl.add macro2utf8 "Auml" "Ã\132"
 318 let _ = Hashtbl.add macro2utf8 "Succeeds" "â\137»"
 319 let _ = Hashtbl.add macro2utf8 "DoubleLongLeftRightArrow" "ï\149»"
 320 let _ = Hashtbl.add macro2utf8 "TSHcy" "Ð\139"
 321 let _ = Hashtbl.add macro2utf8 "gammad" "Ï\156"
 322 let _ = Hashtbl.add macro2utf8 "epsiv" "É\155"
 323 let _ = Hashtbl.add macro2utf8 "notinva" "â\136\137Ì¸"
 324 let _ = Hashtbl.add macro2utf8 "notinvb" "â\139·"
 325 let _ = Hashtbl.add macro2utf8 "eqvparsl" "⧥"
 326 let _ = Hashtbl.add macro2utf8 "notinvc" "â\139¶"
 327 let _ = Hashtbl.add macro2utf8 "nsubE" "â\138\136"
 328 let _ = Hashtbl.add macro2utf8 "supplus" "â«\128"
 329 let _ = Hashtbl.add macro2utf8 "RightUpDownVector" "â¥\143"
 330 let _ = Hashtbl.add macro2utf8 "Tab" "\t"
 331 let _ = Hashtbl.add macro2utf8 "Lcedil" "Ļ"
 332 let _ = Hashtbl.add macro2utf8 "backslash" "\\"
 333 let _ = Hashtbl.add macro2utf8 "pointint" "â¨\149"
 334 let _ = Hashtbl.add macro2utf8 "jcy" "й"
 335 let _ = Hashtbl.add macro2utf8 "iocy" "Ñ\145"
 336 let _ = Hashtbl.add macro2utf8 "escr" "â\132¯"
 337 let _ = Hashtbl.add macro2utf8 "submult" "â«\129"
 338 let _ = Hashtbl.add macro2utf8 "iiota" "â\132©"
 339 let _ = Hashtbl.add macro2utf8 "lceil" "â\140\136"
 340 let _ = Hashtbl.add macro2utf8 "lceil" "â\140\136"
 341 let _ = Hashtbl.add macro2utf8 "omacr" "Å\141"
 342 let _ = Hashtbl.add macro2utf8 "gneqq" "â\137©"
 343 let _ = Hashtbl.add macro2utf8 "gcirc" "Ä\157"
 344 let _ = Hashtbl.add macro2utf8 "dotsquare" "â\138¡"
 345 let _ = Hashtbl.add macro2utf8 "ccaron" "Ä\141"
 346 let _ = Hashtbl.add macro2utf8 "Square" "â\150¡"
 347 let _ = Hashtbl.add macro2utf8 "RightDownTeeVector" "â¥\157"
 348 let _ = Hashtbl.add macro2utf8 "Ouml" "Ã\150"
 349 let _ = Hashtbl.add macro2utf8 "lurdshar" "â¥\138"
 350 let _ = Hashtbl.add macro2utf8 "setminus" "â\136\150"
 351 let _ = Hashtbl.add macro2utf8 "SuchThat" "â\136\139"
 352 let _ = Hashtbl.add macro2utf8 "setminus" "â\136\150"
 353 let _ = Hashtbl.add macro2utf8 "lscr" "â\132\147"
 354 let _ = Hashtbl.add macro2utf8 "LessLess" "⪡"
 355 let _ = Hashtbl.add macro2utf8 "Sub" "â\139\144"
 356 let _ = Hashtbl.add macro2utf8 "sc" "â\137»"
 357 let _ = Hashtbl.add macro2utf8 "rx" "â\132\158"
 358 let _ = Hashtbl.add macro2utf8 "RightFloor" "â\140\139"
 359 let _ = Hashtbl.add macro2utf8 "blacksquare" "â\150ª"
 360 let _ = Hashtbl.add macro2utf8 "ufr" "ð\157\148²"
 361 let _ = Hashtbl.add macro2utf8 "block" "â\150\136"
 362 let _ = Hashtbl.add macro2utf8 "dots" "â\128¦"
 363 let _ = Hashtbl.add macro2utf8 "nvsim" "â\137\129Ì¸"
 364 let _ = Hashtbl.add macro2utf8 "caret" "â\129\129"
 365 let _ = Hashtbl.add macro2utf8 "demptyv" "⦱"
 366 let _ = Hashtbl.add macro2utf8 "Sum" "â\136\145"
 367 let _ = Hashtbl.add macro2utf8 "sscr" "ð\157\147\136"
 368 let _ = Hashtbl.add macro2utf8 "nsube" "â\138\136"
 369 let _ = Hashtbl.add macro2utf8 "Sup" "â\139\145"
 370 let _ = Hashtbl.add macro2utf8 "ccupssm" "â©\144"
 371 let _ = Hashtbl.add macro2utf8 "Because" "â\136µ"
 372 let _ = Hashtbl.add macro2utf8 "harrcir" "â¥\136"
 373 let _ = Hashtbl.add macro2utf8 "capbrcup" "â©\137"
 374 let _ = Hashtbl.add macro2utf8 "RightUpVectorBar" "â¥\148"
 375 let _ = Hashtbl.add macro2utf8 "caps" "â\136©ï¸\128"
 376 let _ = Hashtbl.add macro2utf8 "ohbar" "⦵"
 377 let _ = Hashtbl.add macro2utf8 "laemptyv" "⦴"
 378 let _ = Hashtbl.add macro2utf8 "uacute" "ú"
 379 let _ = Hashtbl.add macro2utf8 "straightphi" "Ï\134"
 380 let _ = Hashtbl.add macro2utf8 "RightDoubleBracket" "ã\128\155"
 381 let _ = Hashtbl.add macro2utf8 "zscr" "ð\157\147\143"
 382 let _ = Hashtbl.add macro2utf8 "uogon" "ų"
 383 let _ = Hashtbl.add macro2utf8 "Uarr" "â\134\159"
 384 let _ = Hashtbl.add macro2utf8 "nsucc" "â\138\129"
 385 let _ = Hashtbl.add macro2utf8 "RBarr" "â¤\144"
 386 let _ = Hashtbl.add macro2utf8 "NotRightTriangleBar" "â§\144Ì¸"
 387 let _ = Hashtbl.add macro2utf8 "to" "â\134\146"
 388 let _ = Hashtbl.add macro2utf8 "rpar" ")"
 389 let _ = Hashtbl.add macro2utf8 "rdsh" "â\134³"
 390 let _ = Hashtbl.add macro2utf8 "jfr" "ð\157\148§"
 391 let _ = Hashtbl.add macro2utf8 "ldquor" "â\128\158"
 392 let _ = Hashtbl.add macro2utf8 "bsime" "â\139\141"
 393 let _ = Hashtbl.add macro2utf8 "lAtail" "â¤\155"
 394 let _ = Hashtbl.add macro2utf8 "Hcirc" "Ĥ"
 395 let _ = Hashtbl.add macro2utf8 "aacute" "á"
 396 let _ = Hashtbl.add macro2utf8 "dot" "Ë\153"
 397 let _ = Hashtbl.add macro2utf8 "Tcy" "Т"
 398 let _ = Hashtbl.add macro2utf8 "nsub" "â\138\132"
 399 let _ = Hashtbl.add macro2utf8 "kappa" "κ"
 400 let _ = Hashtbl.add macro2utf8 "kappa" "κ"
 401 let _ = Hashtbl.add macro2utf8 "ovbar" "â\140½"
 402 let _ = Hashtbl.add macro2utf8 "shcy" "Ñ\136"
 403 let _ = Hashtbl.add macro2utf8 "kappav" "ϰ"
 404 let _ = Hashtbl.add macro2utf8 "ropar" "ã\128\153"
 405 let _ = Hashtbl.add macro2utf8 "gtcc" "⪧"
 406 let _ = Hashtbl.add macro2utf8 "ecolon" "â\137\149"
 407 let _ = Hashtbl.add macro2utf8 "circledast" "â\138\155"
 408 let _ = Hashtbl.add macro2utf8 "colon" ":"
 409 let _ = Hashtbl.add macro2utf8 "timesbar" "⨱"
 410 let _ = Hashtbl.add macro2utf8 "precnsim" "â\139¨"
 411 let _ = Hashtbl.add macro2utf8 "ord" "â©\157"
 412 let _ = Hashtbl.add macro2utf8 "real" "â\132\156"
 413 let _ = Hashtbl.add macro2utf8 "nexists" "â\136\132"
 414 let _ = Hashtbl.add macro2utf8 "nsup" "â\138\133"
 415 let _ = Hashtbl.add macro2utf8 "zhcy" "ж"
 416 let _ = Hashtbl.add macro2utf8 "imacr" "ī"
 417 let _ = Hashtbl.add macro2utf8 "egrave" "è"
 418 let _ = Hashtbl.add macro2utf8 "acirc" "â"
 419 let _ = Hashtbl.add macro2utf8 "grave" "`"
 420 let _ = Hashtbl.add macro2utf8 "biguplus" "â\138\142"
 421 let _ = Hashtbl.add macro2utf8 "biguplus" "â\138\142"
 422 let _ = Hashtbl.add macro2utf8 "HumpEqual" "â\137\143"
 423 let _ = Hashtbl.add macro2utf8 "GreaterSlantEqual" "⩾"
 424 let _ = Hashtbl.add macro2utf8 "capand" "â©\132"
 425 let _ = Hashtbl.add macro2utf8 "yuml" "ÿ"
 426 let _ = Hashtbl.add macro2utf8 "orv" "â©\155"
 427 let _ = Hashtbl.add macro2utf8 "Icy" "Ð\152"
 428 let _ = Hashtbl.add macro2utf8 "rightharpoondown" "â\135\129"
 429 let _ = Hashtbl.add macro2utf8 "upsilon" "Ï\133"
 430 let _ = Hashtbl.add macro2utf8 "upsilon" "Ï\133"
 431 let _ = Hashtbl.add macro2utf8 "preccurlyeq" "â\137¼"
 432 let _ = Hashtbl.add macro2utf8 "ShortUpArrow" "â\140\131ï¸\128"
 433 let _ = Hashtbl.add macro2utf8 "searhk" "⤥"
 434 let _ = Hashtbl.add macro2utf8 "commat" "@"
 435 let _ = Hashtbl.add macro2utf8 "Sqrt" "â\136\154"
 436 let _ = Hashtbl.add macro2utf8 "wp" "â\132\152"
 437 let _ = Hashtbl.add macro2utf8 "wp" "â\132\152"
 438 let _ = Hashtbl.add macro2utf8 "succnapprox" "â\139©"
 439 let _ = Hashtbl.add macro2utf8 "wr" "â\137\128"
 440 let _ = Hashtbl.add macro2utf8 "wr" "â\137\128"
 441 let _ = Hashtbl.add macro2utf8 "NotTildeTilde" "â\137\137"
 442 let _ = Hashtbl.add macro2utf8 "dcaron" "Ä\143"
 443 let _ = Hashtbl.add macro2utf8 "bigwedge" "â\139\128"
 444 let _ = Hashtbl.add macro2utf8 "Tfr" "ð\157\148\151"
 445 let _ = Hashtbl.add macro2utf8 "bigwedge" "â\139\128"
 446 let _ = Hashtbl.add macro2utf8 "DScy" "Ð\133"
 447 let _ = Hashtbl.add macro2utf8 "nrtrie" "â\139"
 448 let _ = Hashtbl.add macro2utf8 "esim" "â\137\130"
 449 let _ = Hashtbl.add macro2utf8 "Not" "⫬"
 450 let _ = Hashtbl.add macro2utf8 "xmap" "ï\149½"
 451 let _ = Hashtbl.add macro2utf8 "rect" "â\150"
 452 let _ = Hashtbl.add macro2utf8 "Fouriertrf" "â\132±"
 453 let _ = Hashtbl.add macro2utf8 "xi" "ξ"
 454 let _ = Hashtbl.add macro2utf8 "xi" "ξ"
 455 let _ = Hashtbl.add macro2utf8 "NotTilde" "â\137\129"
 456 let _ = Hashtbl.add macro2utf8 "gbreve" "Ä\159"
 457 let _ = Hashtbl.add macro2utf8 "par" "â\136¥"
 458 let _ = Hashtbl.add macro2utf8 "ddots" "â\139±"
 459 let _ = Hashtbl.add macro2utf8 "nhArr" "â\135\142"
 460 let _ = Hashtbl.add macro2utf8 "lsim" "â\137²"
 461 let _ = Hashtbl.add macro2utf8 "RightCeiling" "â\140\137"
 462 let _ = Hashtbl.add macro2utf8 "nedot" "â\137 ï¸\128"
 463 let _ = Hashtbl.add macro2utf8 "thksim" "â\136¼ï¸\128"
 464 let _ = Hashtbl.add macro2utf8 "lEg" "â\139\154"
 465 let _ = Hashtbl.add macro2utf8 "Ifr" "â\132\145"
 466 let _ = Hashtbl.add macro2utf8 "emsp" "â\128\131"
 467 let _ = Hashtbl.add macro2utf8 "lopar" "ã\128\152"
 468 let _ = Hashtbl.add macro2utf8 "iiiint" "â¨\140"
 469 let _ = Hashtbl.add macro2utf8 "straightepsilon" "ε"
 470 let _ = Hashtbl.add macro2utf8 "intlarhk" "â¨\151"
 471 let _ = Hashtbl.add macro2utf8 "image" "â\132\145"
 472 let _ = Hashtbl.add macro2utf8 "Leftrightarrow" "â\135\148"
 473 let _ = Hashtbl.add macro2utf8 "sqsubseteq" "â\138\145"
 474 let _ = Hashtbl.add macro2utf8 "lnapprox" "âª\137"
 475 let _ = Hashtbl.add macro2utf8 "Leftrightarrow" "â\135\148"
 476 let _ = Hashtbl.add macro2utf8 "cemptyv" "⦲"
 477 let _ = Hashtbl.add macro2utf8 "alpha" "α"
 478 let _ = Hashtbl.add macro2utf8 "alpha" "α"
 479 let _ = Hashtbl.add macro2utf8 "uml" "¨"
 480 let _ = Hashtbl.add macro2utf8 "barwedge" "â\138¼"
 481 let _ = Hashtbl.add macro2utf8 "KHcy" "Х"
 482 let _ = Hashtbl.add macro2utf8 "tilde" "Ë\156"
 483 let _ = Hashtbl.add macro2utf8 "Superset" "â\138\131"
 484 let _ = Hashtbl.add macro2utf8 "bigoplus" "â\138\149"
 485 let _ = Hashtbl.add macro2utf8 "gesles" "âª\148"
 486 let _ = Hashtbl.add macro2utf8 "bigoplus" "â\138\149"
 487 let _ = Hashtbl.add macro2utf8 "boxuL" "â\149\155"
 488 let _ = Hashtbl.add macro2utf8 "rbbrk" "ã\128\149"
 489 let _ = Hashtbl.add macro2utf8 "nrightarrow" "â\134\155"
 490 let _ = Hashtbl.add macro2utf8 "hkswarow" "⤦"
 491 let _ = Hashtbl.add macro2utf8 "DiacriticalDoubleAcute" "Ë\157"
 492 let _ = Hashtbl.add macro2utf8 "nbumpe" "â\137\143Ì¸"
 493 let _ = Hashtbl.add macro2utf8 "uhblk" "â\150\128"
 494 let _ = Hashtbl.add macro2utf8 "NotSupersetEqual" "â\138\137"
 495 let _ = Hashtbl.add macro2utf8 "ntgl" "â\137¹"
 496 let _ = Hashtbl.add macro2utf8 "Fopf" "ð\157\148½"
 497 let _ = Hashtbl.add macro2utf8 "boxuR" "â\149\152"
 498 let _ = Hashtbl.add macro2utf8 "swarr" "â\134\153"
 499 let _ = Hashtbl.add macro2utf8 "nsqsube" "â\139¢"
 500 let _ = Hashtbl.add macro2utf8 "pluscir" "⨢"
 501 let _ = Hashtbl.add macro2utf8 "pcy" "п"
 502 let _ = Hashtbl.add macro2utf8 "leqslant" "⩽"
 503 let _ = Hashtbl.add macro2utf8 "lnap" "âª\137"
 504 let _ = Hashtbl.add macro2utf8 "lthree" "â\139\139"
 505 let _ = Hashtbl.add macro2utf8 "smte" "⪬"
 506 let _ = Hashtbl.add macro2utf8 "olcross" "⦻"
 507 let _ = Hashtbl.add macro2utf8 "nvrArr" "â\135\143"
 508 let _ = Hashtbl.add macro2utf8 "andslope" "â©\152"
 509 let _ = Hashtbl.add macro2utf8 "MediumSpace" "â\129\159"
 510 let _ = Hashtbl.add macro2utf8 "boxvH" "â\149ª"
 511 let _ = Hashtbl.add macro2utf8 "Nacute" "Å\131"
 512 let _ = Hashtbl.add macro2utf8 "nGtv" "â\137«Ì¸ï¸\128"
 513 let _ = Hashtbl.add macro2utf8 "Mopf" "ð\157\149\132"
 514 let _ = Hashtbl.add macro2utf8 "dfisht" "⥿"
 515 let _ = Hashtbl.add macro2utf8 "boxvL" "â\149¡"
 516 let _ = Hashtbl.add macro2utf8 "pertenk" "â\128±"
 517 let _ = Hashtbl.add macro2utf8 "NotPrecedes" "â\138\128"
 518 let _ = Hashtbl.add macro2utf8 "profalar" "â\140®"
 519 let _ = Hashtbl.add macro2utf8 "roplus" "⨮"
 520 let _ = Hashtbl.add macro2utf8 "boxvR" "â\149\158"
 521 let _ = Hashtbl.add macro2utf8 "utrif" "â\150´"
 522 let _ = Hashtbl.add macro2utf8 "uHar" "⥣"
 523 let _ = Hashtbl.add macro2utf8 "nltrie" "â\139¬"
 524 let _ = Hashtbl.add macro2utf8 "NotNestedGreaterGreater" "â\146¢Ì¸"
 525 let _ = Hashtbl.add macro2utf8 "smtes" "âª¬ï¸\128"
 526 let _ = Hashtbl.add macro2utf8 "LeftAngleBracket" "â\140©"
 527 let _ = Hashtbl.add macro2utf8 "iogon" "į"
 528 let _ = Hashtbl.add macro2utf8 "ExponentialE" "â\133\135"
 529 let _ = Hashtbl.add macro2utf8 "Topf" "ð\157\149\139"
 530 let _ = Hashtbl.add macro2utf8 "GreaterEqual" "â\137¥"
 531 let _ = Hashtbl.add macro2utf8 "DownTee" "â\138¤"
 532 let _ = Hashtbl.add macro2utf8 "boxul" "â\148\152"
 533 let _ = Hashtbl.add macro2utf8 "wreath" "â\137\128"
 534 let _ = Hashtbl.add macro2utf8 "sigma" "Ï\131"
 535 let _ = Hashtbl.add macro2utf8 "sigma" "Ï\131"
 536 let _ = Hashtbl.add macro2utf8 "ENG" "Å\138"
 537 let _ = Hashtbl.add macro2utf8 "Ncedil" "Å\133"
 538 let _ = Hashtbl.add macro2utf8 "ecy" "Ñ\141"
 539 let _ = Hashtbl.add macro2utf8 "nsubset" "â\138\132"
 540 let _ = Hashtbl.add macro2utf8 "LessFullEqual" "â\137¦"
 541 let _ = Hashtbl.add macro2utf8 "bsolb" "â§\133"
 542 let _ = Hashtbl.add macro2utf8 "boxur" "â\148\148"
 543 let _ = Hashtbl.add macro2utf8 "ThinSpace" "â\128\137"
 544 let _ = Hashtbl.add macro2utf8 "supdsub" "â«\152"
 545 let _ = Hashtbl.add macro2utf8 "colone" "â\137\148"
 546 let _ = Hashtbl.add macro2utf8 "curren" "¤"
 547 let _ = Hashtbl.add macro2utf8 "boxvh" "â\148¼"
 548 let _ = Hashtbl.add macro2utf8 "ecaron" "Ä\155"
 549 let _ = Hashtbl.add macro2utf8 "UnderBrace" "︸"
 550 let _ = Hashtbl.add macro2utf8 "caron" "Ë\135"
 551 let _ = Hashtbl.add macro2utf8 "ultri" "â\151¸"
 552 let _ = Hashtbl.add macro2utf8 "boxvl" "â\148¤"
 553 let _ = Hashtbl.add macro2utf8 "scap" "â\137¿"
 554 let _ = Hashtbl.add macro2utf8 "boxvr" "â\148\156"
 555 let _ = Hashtbl.add macro2utf8 "bopf" "ð\157\149\147"
 556 let _ = Hashtbl.add macro2utf8 "pfr" "ð\157\148"
 557 let _ = Hashtbl.add macro2utf8 "nspar" "â\136¦ï¸\128"
 558 let _ = Hashtbl.add macro2utf8 "NegativeMediumSpace" "â\129\159ï¸\128"
 559 let _ = Hashtbl.add macro2utf8 "simgE" "⪠"
 560 let _ = Hashtbl.add macro2utf8 "nvDash" "â\138"
 561 let _ = Hashtbl.add macro2utf8 "NotGreaterFullEqual" "â\137°"
 562 let _ = Hashtbl.add macro2utf8 "uparrow" "â\134\145"
 563 let _ = Hashtbl.add macro2utf8 "uparrow" "â\134\145"
 564 let _ = Hashtbl.add macro2utf8 "nsupset" "â\138\133"
 565 let _ = Hashtbl.add macro2utf8 "simeq" "â\137\131"
 566 let _ = Hashtbl.add macro2utf8 "simeq" "â\137\131"
 567 let _ = Hashtbl.add macro2utf8 "Zcy" "Ð\151"
 568 let _ = Hashtbl.add macro2utf8 "RightTriangle" "â\138³"
 569 let _ = Hashtbl.add macro2utf8 "Lang" "ã\128\138"
 570 let _ = Hashtbl.add macro2utf8 "Ucirc" "Ã\155"
 571 let _ = Hashtbl.add macro2utf8 "iopf" "ð\157\149\154"
 572 let _ = Hashtbl.add macro2utf8 "leftrightsquigarrow" "â\134"
 573 let _ = Hashtbl.add macro2utf8 "Gscr" "ð\157\146¢"
 574 let _ = Hashtbl.add macro2utf8 "lfloor" "â\140\138"
 575 let _ = Hashtbl.add macro2utf8 "lfloor" "â\140\138"
 576 let _ = Hashtbl.add macro2utf8 "lbbrk" "ã\128\148"
 577 let _ = Hashtbl.add macro2utf8 "bigvee" "â\139\129"
 578 let _ = Hashtbl.add macro2utf8 "bigvee" "â\139\129"
 579 let _ = Hashtbl.add macro2utf8 "ordf" "ª"
 580 let _ = Hashtbl.add macro2utf8 "rsquo" "â\128\153"
 581 let _ = Hashtbl.add macro2utf8 "parallel" "â\136¥"
 582 let _ = Hashtbl.add macro2utf8 "half" "½"
 583 let _ = Hashtbl.add macro2utf8 "supseteq" "â\138\135"
 584 let _ = Hashtbl.add macro2utf8 "supseteq" "â\138\135"
 585 let _ = Hashtbl.add macro2utf8 "ngeqq" "â\137±"
 586 let _ = Hashtbl.add macro2utf8 "popf" "ð\157\149¡"
 587 let _ = Hashtbl.add macro2utf8 "NonBreakingSpace" " "
 588 let _ = Hashtbl.add macro2utf8 "softcy" "Ñ\140"
 589 let _ = Hashtbl.add macro2utf8 "ordm" "º"
 590 let _ = Hashtbl.add macro2utf8 "Nscr" "ð\157\146©"
 591 let _ = Hashtbl.add macro2utf8 "owns" "â\136\139"
 592 let _ = Hashtbl.add macro2utf8 "phi" "Ï\149"
 593 let _ = Hashtbl.add macro2utf8 "phi" "Ï\134"
 594 let _ = Hashtbl.add macro2utf8 "efr" "ð\157\148¢"
 595 let _ = Hashtbl.add macro2utf8 "nesear" "⤨"
 596 let _ = Hashtbl.add macro2utf8 "marker" "â\150®"
 597 let _ = Hashtbl.add macro2utf8 "lneq" "â\137¨"
 598 let _ = Hashtbl.add macro2utf8 "parallet" "????"
 599 let _ = Hashtbl.add macro2utf8 "ndash" "â\128\147"
 600 let _ = Hashtbl.add macro2utf8 "DoubleLeftTee" "⫤"
 601 let _ = Hashtbl.add macro2utf8 "lArr" "â\135\144"
 602 let _ = Hashtbl.add macro2utf8 "becaus" "â\136µ"
 603 let _ = Hashtbl.add macro2utf8 "RightTee" "â\138¢"
 604 let _ = Hashtbl.add macro2utf8 "Ocy" "Ð\158"
 605 let _ = Hashtbl.add macro2utf8 "ntlg" "â\137¸"
 606 let _ = Hashtbl.add macro2utf8 "cacute" "Ä\135"
 607 let _ = Hashtbl.add macro2utf8 "wopf" "ð\157\149¨"
 608 let _ = Hashtbl.add macro2utf8 "Cup" "â\139\147"
 609 let _ = Hashtbl.add macro2utf8 "Uscr" "ð\157\146°"
 610 let _ = Hashtbl.add macro2utf8 "NotHumpEqual" "â\137\143Ì¸"
 611 let _ = Hashtbl.add macro2utf8 "rnmid" "⫮"
 612 let _ = Hashtbl.add macro2utf8 "nsupE" "â\138\137"
 613 let _ = Hashtbl.add macro2utf8 "bemptyv" "⦰"
 614 let _ = Hashtbl.add macro2utf8 "lsqb" "["
 615 let _ = Hashtbl.add macro2utf8 "nrarr" "â\134\155"
 616 let _ = Hashtbl.add macro2utf8 "egs" "â\139\157"
 617 let _ = Hashtbl.add macro2utf8 "reals" "â\132\157"
 618 let _ = Hashtbl.add macro2utf8 "CupCap" "â\137\141"
 619 let _ = Hashtbl.add macro2utf8 "Oacute" "Ã\147"
 620 let _ = Hashtbl.add macro2utf8 "Zfr" "â\132¨"
 621 let _ = Hashtbl.add macro2utf8 "ReverseEquilibrium" "â\135\139"
 622 let _ = Hashtbl.add macro2utf8 "ccedil" "ç"
 623 let _ = Hashtbl.add macro2utf8 "bigtriangleup" "â\150³"
 624 let _ = Hashtbl.add macro2utf8 "bigtriangleup" "â\150³"
 625 let _ = Hashtbl.add macro2utf8 "piv" "Ï\150"
 626 let _ = Hashtbl.add macro2utf8 "cirscir" "â§\130"
 627 let _ = Hashtbl.add macro2utf8 "exists" "â\136\131"
 628 let _ = Hashtbl.add macro2utf8 "Uarrocir" "â¥\137"
 629 let _ = Hashtbl.add macro2utf8 "Dcy" "Ð\148"
 630 let _ = Hashtbl.add macro2utf8 "cscr" "ð\157\146¸"
 631 let _ = Hashtbl.add macro2utf8 "zcaron" "ž"
 632 let _ = Hashtbl.add macro2utf8 "isinE" "â\139¹"
 633 let _ = Hashtbl.add macro2utf8 "gtcir" "⩺"
 634 let _ = Hashtbl.add macro2utf8 "hookrightarrow" "â\134ª"
 635 let _ = Hashtbl.add macro2utf8 "hookrightarrow" "â\134ª"
 636 let _ = Hashtbl.add macro2utf8 "Int" "â\136¬"
 637 let _ = Hashtbl.add macro2utf8 "nsupe" "â\138\137"
 638 let _ = Hashtbl.add macro2utf8 "dotplus" "â\136\148"
 639 let _ = Hashtbl.add macro2utf8 "ncup" "â©\130"
 640 let _ = Hashtbl.add macro2utf8 "jscr" "ð\157\146¿"
 641 let _ = Hashtbl.add macro2utf8 "angmsdaa" "⦨"
 642 let _ = Hashtbl.add macro2utf8 "flat" "â\153"
 643 let _ = Hashtbl.add macro2utf8 "Iukcy" "Ð\134"
 644 let _ = Hashtbl.add macro2utf8 "flat" "â\153"
 645 let _ = Hashtbl.add macro2utf8 "bNot" "⫭"
 646 let _ = Hashtbl.add macro2utf8 "angmsdab" "⦩"
 647 let _ = Hashtbl.add macro2utf8 "angmsdac" "⦪"
 648 let _ = Hashtbl.add macro2utf8 "iota" "ι"
 649 let _ = Hashtbl.add macro2utf8 "xdtri" "â\150½"
 650 let _ = Hashtbl.add macro2utf8 "iota" "ι"
 651 let _ = Hashtbl.add macro2utf8 "angmsdad" "⦫"
 652 let _ = Hashtbl.add macro2utf8 "angmsdae" "⦬"
 653 let _ = Hashtbl.add macro2utf8 "rightarrowtail" "â\134£"
 654 let _ = Hashtbl.add macro2utf8 "angmsdaf" "⦭"
 655 let _ = Hashtbl.add macro2utf8 "Ocirc" "Ã\148"
 656 let _ = Hashtbl.add macro2utf8 "angmsdag" "⦮"
 657 let _ = Hashtbl.add macro2utf8 "Ofr" "ð\157\148\146"
 658 let _ = Hashtbl.add macro2utf8 "maltese" "â\156 "
 659 let _ = Hashtbl.add macro2utf8 "angmsdah" "⦯"
 660 let _ = Hashtbl.add macro2utf8 "Del" "â\136\135"
 661 let _ = Hashtbl.add macro2utf8 "Barwed" "â\140\134"
 662 let _ = Hashtbl.add macro2utf8 "drbkarow" "â¤\144"
 663 let _ = Hashtbl.add macro2utf8 "qscr" "ð\157\147\134"
 664 let _ = Hashtbl.add macro2utf8 "ETH" "Ã\144"
 665 let _ = Hashtbl.add macro2utf8 "operp" "⦹"
 666 let _ = Hashtbl.add macro2utf8 "daleth" "â\132¸"
 667 let _ = Hashtbl.add macro2utf8 "bull" "â\128¢"
 668 let _ = Hashtbl.add macro2utf8 "simlE" "âª\159"
 669 let _ = Hashtbl.add macro2utf8 "lsquo" "â\128\152"
 670 let _ = Hashtbl.add macro2utf8 "Larr" "â\134\158"
 671 let _ = Hashtbl.add macro2utf8 "curarr" "â\134·"
 672 let _ = Hashtbl.add macro2utf8 "blacktriangleleft" "â\151\130"
 673 let _ = Hashtbl.add macro2utf8 "hellip" "â\128¦"
 674 let _ = Hashtbl.add macro2utf8 "DoubleVerticalBar" "â\136¥"
 675 let _ = Hashtbl.add macro2utf8 "rBarr" "â¤\143"
 676 let _ = Hashtbl.add macro2utf8 "chcy" "Ñ\135"
 677 let _ = Hashtbl.add macro2utf8 "varpi" "Ï\150"
 678 let _ = Hashtbl.add macro2utf8 "varpi" "Ï\150"
 679 let _ = Hashtbl.add macro2utf8 "Cconint" "â\136°"
 680 let _ = Hashtbl.add macro2utf8 "xlarr" "ï\149¶"
 681 let _ = Hashtbl.add macro2utf8 "xscr" "ð\157\147\141"
 682 let _ = Hashtbl.add macro2utf8 "DoubleLongRightArrow" "ï\149º"
 683 let _ = Hashtbl.add macro2utf8 "CounterClockwiseContourIntegral" "â\136³"
 684 let _ = Hashtbl.add macro2utf8 "urcrop" "â\140\142"
 685 let _ = Hashtbl.add macro2utf8 "RightAngleBracket" "â\140ª"
 686 let _ = Hashtbl.add macro2utf8 "Rcaron" "Å\152"
 687 let _ = Hashtbl.add macro2utf8 "latail" "â¤\153"
 688 let _ = Hashtbl.add macro2utf8 "pitchfork" "â\139\148"
 689 let _ = Hashtbl.add macro2utf8 "nvinfin" "â§\158"
 690 let _ = Hashtbl.add macro2utf8 "hcirc" "ĥ"
 691 let _ = Hashtbl.add macro2utf8 "nexist" "â\136\132"
 692 let _ = Hashtbl.add macro2utf8 "checkmark" "â\156\147"
 693 let _ = Hashtbl.add macro2utf8 "tridot" "â\151¬"
 694 let _ = Hashtbl.add macro2utf8 "vcy" "в"
 695 let _ = Hashtbl.add macro2utf8 "isins" "â\139´"
 696 let _ = Hashtbl.add macro2utf8 "fllig" "ï¬\130"
 697 let _ = Hashtbl.add macro2utf8 "Dfr" "ð\157\148\135"
 698 let _ = Hashtbl.add macro2utf8 "hercon" "â\138¹"
 699 let _ = Hashtbl.add macro2utf8 "aleph" "â\132µ"
 700 let _ = Hashtbl.add macro2utf8 "gEl" "â\139\155"
 701 let _ = Hashtbl.add macro2utf8 "bump" "â\137\142"
 702 let _ = Hashtbl.add macro2utf8 "aleph" "â\132µ"
 703 let _ = Hashtbl.add macro2utf8 "Ubreve" "Ŭ"
 704 let _ = Hashtbl.add macro2utf8 "isinv" "â\136\136"
 705 let _ = Hashtbl.add macro2utf8 "smile" "â\140£"
 706 let _ = Hashtbl.add macro2utf8 "smile" "â\140£"
 707 let _ = Hashtbl.add macro2utf8 "llcorner" "â\140\158"
 708 let _ = Hashtbl.add macro2utf8 "boxH" "â\149\144"
 709 let _ = Hashtbl.add macro2utf8 "ecir" "â\137\150"
 710 let _ = Hashtbl.add macro2utf8 "varnothing" "â\136\133"
 711 let _ = Hashtbl.add macro2utf8 "iuml" "ï"
 712 let _ = Hashtbl.add macro2utf8 "mlcp" "â«\155"
 713 let _ = Hashtbl.add macro2utf8 "leftrightharpoons" "â\135\139"
 714 let _ = Hashtbl.add macro2utf8 "ncong" "â\137\135"
 715 let _ = Hashtbl.add macro2utf8 "Vert" "â\128\150"
 716 let _ = Hashtbl.add macro2utf8 "Vert" "â\128\150"
 717 let _ = Hashtbl.add macro2utf8 "vee" "â\136¨"
 718 let _ = Hashtbl.add macro2utf8 "star" "â\139\134"
 719 let _ = Hashtbl.add macro2utf8 "vee" "â\136¨"
 720 let _ = Hashtbl.add macro2utf8 "star" "â\139\134"
 721 let _ = Hashtbl.add macro2utf8 "boxV" "â\149\145"
 722 let _ = Hashtbl.add macro2utf8 "leftrightarrow" "â\134\148"
 723 let _ = Hashtbl.add macro2utf8 "LeftRightArrow" "â\134\148"
 724 let _ = Hashtbl.add macro2utf8 "leftrightarrow" "â\134\148"
 725 let _ = Hashtbl.add macro2utf8 "ell" "â\132\147"
 726 let _ = Hashtbl.add macro2utf8 "lstrok" "Å\130"
 727 let _ = Hashtbl.add macro2utf8 "ell" "â\132\147"
 728 let _ = Hashtbl.add macro2utf8 "VerticalSeparator" "â\157\152"
 729 let _ = Hashtbl.add macro2utf8 "Ubrcy" "Ð\142"
 730 let _ = Hashtbl.add macro2utf8 "NotGreater" "â\137¯"
 731 let _ = Hashtbl.add macro2utf8 "Abreve" "Ä\130"
 732 let _ = Hashtbl.add macro2utf8 "TildeTilde" "â\137\136"
 733 let _ = Hashtbl.add macro2utf8 "CircleTimes" "â\138\151"
 734 let _ = Hashtbl.add macro2utf8 "subsetneq" "â\138\138"
 735 let _ = Hashtbl.add macro2utf8 "ltcc" "⪦"
 736 let _ = Hashtbl.add macro2utf8 "els" "â\139\156"
 737 let _ = Hashtbl.add macro2utf8 "succneqq" "⪶"
 738 let _ = Hashtbl.add macro2utf8 "kcy" "к"
 739 let _ = Hashtbl.add macro2utf8 "nshortmid" "â\136¤ï¸\128"
 740 let _ = Hashtbl.add macro2utf8 "mldr" "â\128¦"
 741 let _ = Hashtbl.add macro2utf8 "harr" "â\134\148"
 742 let _ = Hashtbl.add macro2utf8 "gimel" "â\132·"
 743 let _ = Hashtbl.add macro2utf8 "Otimes" "⨷"
 744 let _ = Hashtbl.add macro2utf8 "vsubnE" "â\138\138ï¸\128"
 745 let _ = Hashtbl.add macro2utf8 "ltdot" "â\139\150"
 746 let _ = Hashtbl.add macro2utf8 "boxh" "â\148\128"
 747 let _ = Hashtbl.add macro2utf8 "notin" "â\136\137"
 748 let _ = Hashtbl.add macro2utf8 "notin" "â\136\137"
 749 let _ = Hashtbl.add macro2utf8 "RuleDelayed" "⧴"
 750 let _ = Hashtbl.add macro2utf8 "sqsube" "â\138\145"
 751 let _ = Hashtbl.add macro2utf8 "macr" "¯"
 752 let _ = Hashtbl.add macro2utf8 "Icirc" "Ã\142"
 753 let _ = Hashtbl.add macro2utf8 "comma" ","
 754 let _ = Hashtbl.add macro2utf8 "Cayleys" "â\132"
 755 let _ = Hashtbl.add macro2utf8 "rightleftharpoons" "â\135\140"
 756 let _ = Hashtbl.add macro2utf8 "Rarrtl" "â¤\150"
 757 let _ = Hashtbl.add macro2utf8 "SquareSubsetEqual" "â\138\145"
 758 let _ = Hashtbl.add macro2utf8 "NotGreaterEqual" "â\137±â\131¥"
 759 let _ = Hashtbl.add macro2utf8 "vfr" "ð\157\148³"
 760 let _ = Hashtbl.add macro2utf8 "utri" "â\150µ"
 761 let _ = Hashtbl.add macro2utf8 "simne" "â\137\134"
 762 let _ = Hashtbl.add macro2utf8 "LeftUpVectorBar" "â¥\152"
 763 let _ = Hashtbl.add macro2utf8 "hksearow" "⤥"
 764 let _ = Hashtbl.add macro2utf8 "boxv" "â\148\130"
 765 let _ = Hashtbl.add macro2utf8 "curvearrowleft" "â\134¶"
 766 let _ = Hashtbl.add macro2utf8 "eng" "Å\139"
 767 let _ = Hashtbl.add macro2utf8 "gtrarr" "⥸"
 768 let _ = Hashtbl.add macro2utf8 "iecy" "е"
 769 let _ = Hashtbl.add macro2utf8 "varr" "â\134\149"
 770 let _ = Hashtbl.add macro2utf8 "lBarr" "â¤\142"
 771 let _ = Hashtbl.add macro2utf8 "ker" "ker"
 772 let _ = Hashtbl.add macro2utf8 "imath" "ı"
 773 let _ = Hashtbl.add macro2utf8 "imath" "ı"
 774 let _ = Hashtbl.add macro2utf8 "Dstrok" "Ä\144"
 775 let _ = Hashtbl.add macro2utf8 "rlarr" "â\135\132"
 776 let _ = Hashtbl.add macro2utf8 "leftleftarrows" "â\135\135"
 777 let _ = Hashtbl.add macro2utf8 "DifferentialD" "â\133\134"
 778 let _ = Hashtbl.add macro2utf8 "because" "â\136µ"
 779 let _ = Hashtbl.add macro2utf8 "ulcrop" "â\140\143"
 780 let _ = Hashtbl.add macro2utf8 "prE" "⪯"
 781 let _ = Hashtbl.add macro2utf8 "oast" "â\138\155"
 782 let _ = Hashtbl.add macro2utf8 "DotEqual" "â\137\144"
 783 let _ = Hashtbl.add macro2utf8 "vsubne" "â\138\138ï¸\128"
 784 let _ = Hashtbl.add macro2utf8 "hbar" "â\132\143ï¸\128"
 785 let _ = Hashtbl.add macro2utf8 "hbar" "â\132\143ï¸\128"
 786 let _ = Hashtbl.add macro2utf8 "subset" "â\138\130"
 787 let _ = Hashtbl.add macro2utf8 "subset" "â\138\130"
 788 let _ = Hashtbl.add macro2utf8 "UpTeeArrow" "â\134¥"
 789 let _ = Hashtbl.add macro2utf8 "LeftFloor" "â\140\138"
 790 let _ = Hashtbl.add macro2utf8 "kfr" "ð\157\148¨"
 791 let _ = Hashtbl.add macro2utf8 "nisd" "â\139º"
 792 let _ = Hashtbl.add macro2utf8 "scnE" "⪶"
 793 let _ = Hashtbl.add macro2utf8 "Ucy" "У"
 794 let _ = Hashtbl.add macro2utf8 "nprec" "â\138\128"
 795 let _ = Hashtbl.add macro2utf8 "ltrPar" "â¦\150"
 796 let _ = Hashtbl.add macro2utf8 "Scaron" "Š"
 797 let _ = Hashtbl.add macro2utf8 "InvisibleComma" "â\128\139"
 798 let _ = Hashtbl.add macro2utf8 "SquareUnion" "â\138\148"
 799 let _ = Hashtbl.add macro2utf8 "ffllig" "ï¬\132"
 800 let _ = Hashtbl.add macro2utf8 "approxeq" "â\137\138"
 801 let _ = Hashtbl.add macro2utf8 "yacute" "ý"
 802 let _ = Hashtbl.add macro2utf8 "pre" "⪯"
 803 let _ = Hashtbl.add macro2utf8 "nsqsupe" "â\139£"
 804 let _ = Hashtbl.add macro2utf8 "supset" "â\138\131"
 805 let _ = Hashtbl.add macro2utf8 "supset" "â\138\131"
 806 let _ = Hashtbl.add macro2utf8 "bsolhsub" "\\â\138\130"
 807 let _ = Hashtbl.add macro2utf8 "nshortparallel" "â\136¦ï¸\128"
 808 let _ = Hashtbl.add macro2utf8 "lozenge" "â\151\138"
 809 let _ = Hashtbl.add macro2utf8 "lnot" "¬"
 810 let _ = Hashtbl.add macro2utf8 "Dopf" "ð\157\148»"
 811 let _ = Hashtbl.add macro2utf8 "leftharpoonup" "â\134¼"
 812 let _ = Hashtbl.add macro2utf8 "Jcy" "Ð\153"
 813 let _ = Hashtbl.add macro2utf8 "rightarrow" "â\134\146"
 814 let _ = Hashtbl.add macro2utf8 "rightarrow" "â\134\146"
 815 let _ = Hashtbl.add macro2utf8 "ntriangleright" "â\139«"
 816 let _ = Hashtbl.add macro2utf8 "Ccirc" "Ä\136"
 817 let _ = Hashtbl.add macro2utf8 "eacute" "é"
 818 let _ = Hashtbl.add macro2utf8 "acute" "´"
 819 let _ = Hashtbl.add macro2utf8 "Precedes" "â\137º"
 820 let _ = Hashtbl.add macro2utf8 "middot" "·"
 821 let _ = Hashtbl.add macro2utf8 "lHar" "⥢"
 822 let _ = Hashtbl.add macro2utf8 "eparsl" "⧣"
 823 let _ = Hashtbl.add macro2utf8 "psi" "Ï\136"
 824 let _ = Hashtbl.add macro2utf8 "psi" "Ï\136"
 825 let _ = Hashtbl.add macro2utf8 "parsl" "â\136¥ï¸\128"
 826 let _ = Hashtbl.add macro2utf8 "UpperLeftArrow" "â\134\150"
 827 let _ = Hashtbl.add macro2utf8 "oror" "â©\150"
 828 let _ = Hashtbl.add macro2utf8 "Kopf" "ð\157\149\130"
 829 let _ = Hashtbl.add macro2utf8 "apacir" "⩯"
 830 let _ = Hashtbl.add macro2utf8 "dharl" "â\135\131"
 831 let _ = Hashtbl.add macro2utf8 "nequiv" "â\137¢"
 832 let _ = Hashtbl.add macro2utf8 "rightleftarrows" "â\135\132"
 833 let _ = Hashtbl.add macro2utf8 "dagger" "â\128 "
 834 let _ = Hashtbl.add macro2utf8 "UnderParenthesis" "︶"
 835 let _ = Hashtbl.add macro2utf8 "notni" "â\136\140"
 836 let _ = Hashtbl.add macro2utf8 "dagger" "â\128 "
 837 let _ = Hashtbl.add macro2utf8 "dagger" "â\128 "
 838 let _ = Hashtbl.add macro2utf8 "dharr" "â\135\130"
 839 let _ = Hashtbl.add macro2utf8 "twoheadleftarrow" "â\134\158"
 840 let _ = Hashtbl.add macro2utf8 "frac12" "½"
 841 let _ = Hashtbl.add macro2utf8 "varsubsetneqq" "â\138\138ï¸\128"
 842 let _ = Hashtbl.add macro2utf8 "frac13" "â\133\147"
 843 let _ = Hashtbl.add macro2utf8 "Ufr" "ð\157\148\152"
 844 let _ = Hashtbl.add macro2utf8 "NestedLessLess" "â\137ª"
 845 let _ = Hashtbl.add macro2utf8 "llarr" "â\135\135"
 846 let _ = Hashtbl.add macro2utf8 "frac14" "¼"
 847 let _ = Hashtbl.add macro2utf8 "frac15" "â\133\149"
 848 let _ = Hashtbl.add macro2utf8 "Ropf" "â\132\157"
 849 let _ = Hashtbl.add macro2utf8 "frac16" "â\133\153"
 850 let _ = Hashtbl.add macro2utf8 "lrtri" "â\138¿"
 851 let _ = Hashtbl.add macro2utf8 "frac18" "â\133\155"
 852 let _ = Hashtbl.add macro2utf8 "cedil" "¸"
 853 let _ = Hashtbl.add macro2utf8 "subsim" "â«\135"
 854 let _ = Hashtbl.add macro2utf8 "PrecedesTilde" "â\137¾"
 855 let _ = Hashtbl.add macro2utf8 "igrave" "ì"
 856 let _ = Hashtbl.add macro2utf8 "gjcy" "Ñ\147"
 857 let _ = Hashtbl.add macro2utf8 "LeftVector" "â\134¼"
 858 let _ = Hashtbl.add macro2utf8 "notniva" "â\136\140"
 859 let _ = Hashtbl.add macro2utf8 "notnivb" "â\139¾"
 860 let _ = Hashtbl.add macro2utf8 "ogon" "Ë\155"
 861 let _ = Hashtbl.add macro2utf8 "notnivc" "â\139½"
 862 let _ = Hashtbl.add macro2utf8 "Yopf" "ð\157\149\144"
 863 let _ = Hashtbl.add macro2utf8 "there4" "â\136´"
 864 let _ = Hashtbl.add macro2utf8 "udarr" "â\135\133"
 865 let _ = Hashtbl.add macro2utf8 "bkarow" "â¤\141"
 866 let _ = Hashtbl.add macro2utf8 "frac23" "â\133\148"
 867 let _ = Hashtbl.add macro2utf8 "frac25" "â\133\150"
 868 let _ = Hashtbl.add macro2utf8 "njcy" "Ñ\154"
 869 let _ = Hashtbl.add macro2utf8 "Dashv" "⫤"
 870 let _ = Hashtbl.add macro2utf8 "eta" "η"
 871 let _ = Hashtbl.add macro2utf8 "eta" "η"
 872 let _ = Hashtbl.add macro2utf8 "bcong" "â\137\140"
 873 let _ = Hashtbl.add macro2utf8 "Ugrave" "Ã\153"
 874 let _ = Hashtbl.add macro2utf8 "csube" "â«\145"
 875 let _ = Hashtbl.add macro2utf8 "clubs" "â\153£"
 876 let _ = Hashtbl.add macro2utf8 "supmult" "â«\130"
 877 let _ = Hashtbl.add macro2utf8 "MinusPlus" "â\136\147"
 878 let _ = Hashtbl.add macro2utf8 "Jfr" "ð\157\148\141"
 879 let _ = Hashtbl.add macro2utf8 "ensp" "â\128\130"
 880 let _ = Hashtbl.add macro2utf8 "ucirc" "û"
 881 let _ = Hashtbl.add macro2utf8 "supsim" "â«\136"
 882 let _ = Hashtbl.add macro2utf8 "eth" "ð"
 883 let _ = Hashtbl.add macro2utf8 "OverBrace" "︷"
 884 let _ = Hashtbl.add macro2utf8 "Dot" "¨"
 885 let _ = Hashtbl.add macro2utf8 "xcap" "â\139\130"
 886 let _ = Hashtbl.add macro2utf8 "vangrt" "â\138¾"
 887 let _ = Hashtbl.add macro2utf8 "NotSubsetEqual" "â\138\136"
 888 let _ = Hashtbl.add macro2utf8 "frac34" "¾"
 889 let _ = Hashtbl.add macro2utf8 "frac35" "â\133\151"
 890 let _ = Hashtbl.add macro2utf8 "planck" "â\132\143ï¸\128"
 891 let _ = Hashtbl.add macro2utf8 "lnsim" "â\139¦"
 892 let _ = Hashtbl.add macro2utf8 "gopf" "ð\157\149\152"
 893 let _ = Hashtbl.add macro2utf8 "frac38" "â\133\156"
 894 let _ = Hashtbl.add macro2utf8 "DotDot" "â\131\156"
 895 let _ = Hashtbl.add macro2utf8 "mapstoup" "â\134¥"
 896 let _ = Hashtbl.add macro2utf8 "Escr" "â\132°"
 897 let _ = Hashtbl.add macro2utf8 "Integral" "â\136«"
 898 let _ = Hashtbl.add macro2utf8 "Agrave" "Ã\128"
 899 let _ = Hashtbl.add macro2utf8 "longleftarrow" "????;"
 900 let _ = Hashtbl.add macro2utf8 "longleftarrow" "ï\149¶"
 901 let _ = Hashtbl.add macro2utf8 "Tcaron" "Ť"
 902 let _ = Hashtbl.add macro2utf8 "nopf" "ð\157\149\159"
 903 let _ = Hashtbl.add macro2utf8 "LongLeftRightArrow" "ï\149¸"
 904 let _ = Hashtbl.add macro2utf8 "Emacr" "Ä\146"
 905 let _ = Hashtbl.add macro2utf8 "omid" "⦶"
 906 let _ = Hashtbl.add macro2utf8 "spades" "â\153 "
 907 let _ = Hashtbl.add macro2utf8 "naturals" "â\132\149"
 908 let _ = Hashtbl.add macro2utf8 "Lscr" "â\132\146"
 909 let _ = Hashtbl.add macro2utf8 "clubsuit" "â\153£"
 910 let _ = Hashtbl.add macro2utf8 "udblac" "ű"
 911 let _ = Hashtbl.add macro2utf8 "SucceedsTilde" "â\137¿"
 912 let _ = Hashtbl.add macro2utf8 "frac45" "â\133\152"
 913 let _ = Hashtbl.add macro2utf8 "clubsuit" "â\153£"
 914 let _ = Hashtbl.add macro2utf8 "mumap" "â\138¸"
 915 let _ = Hashtbl.add macro2utf8 "vltri" "â\138²"
 916 let _ = Hashtbl.add macro2utf8 "LeftArrowBar" "â\135¤"
 917 let _ = Hashtbl.add macro2utf8 "zacute" "ź"
 918 let _ = Hashtbl.add macro2utf8 "szlig" "Ã\159"
 919 let _ = Hashtbl.add macro2utf8 "suplarr" "⥻"
 920 let _ = Hashtbl.add macro2utf8 "RightDownVector" "â\135\130"
 921 let _ = Hashtbl.add macro2utf8 "male" "â\153\130"
 922 let _ = Hashtbl.add macro2utf8 "RightDownVectorBar" "â¥\149"
 923 let _ = Hashtbl.add macro2utf8 "gdot" "ġ"
 924 let _ = Hashtbl.add macro2utf8 "nleqq" "â\137°"
 925 let _ = Hashtbl.add macro2utf8 "uopf" "ð\157\149¦"
 926 let _ = Hashtbl.add macro2utf8 "YIcy" "Ð\135"
 927 let _ = Hashtbl.add macro2utf8 "Sscr" "ð\157\146®"
 928 let _ = Hashtbl.add macro2utf8 "empty" "â\136\133ï¸\128"
 929 let _ = Hashtbl.add macro2utf8 "Vdash" "â\138©"
 930 let _ = Hashtbl.add macro2utf8 "sqsubset" "â\138\143"
 931 let _ = Hashtbl.add macro2utf8 "efDot" "â\137\146"
 932 let _ = Hashtbl.add macro2utf8 "times" "Ã\151"
 933 let _ = Hashtbl.add macro2utf8 "times" "Ã\151"
 934 let _ = Hashtbl.add macro2utf8 "Oslash" "Ã\152"
 935 let _ = Hashtbl.add macro2utf8 "itilde" "ĩ"
 936 let _ = Hashtbl.add macro2utf8 "frac56" "â\133\154"
 937 let _ = Hashtbl.add macro2utf8 "numero" "â\132\150"
 938 let _ = Hashtbl.add macro2utf8 "malt" "â\156 "
 939 let _ = Hashtbl.add macro2utf8 "npart" "â\136\130Ì¸"
 940 let _ = Hashtbl.add macro2utf8 "frac58" "â\133\157"
 941 let _ = Hashtbl.add macro2utf8 "Zscr" "ð\157\146µ"
 942 let _ = Hashtbl.add macro2utf8 "integers" "â\132¤"
 943 let _ = Hashtbl.add macro2utf8 "CloseCurlyQuote" "â\128\153"
 944 let _ = Hashtbl.add macro2utf8 "NewLine" "\n"
 945 let _ = Hashtbl.add macro2utf8 "fcy" "Ñ\132"
 946 let _ = Hashtbl.add macro2utf8 "nwarr" "â\134\150"
 947 let _ = Hashtbl.add macro2utf8 "thicksim" "â\136¼ï¸\128"
 948 let _ = Hashtbl.add macro2utf8 "nprcue" "â\139 "
 949 let _ = Hashtbl.add macro2utf8 "forall" "â\136\128"
 950 let _ = Hashtbl.add macro2utf8 "lcub" "{"
 951 let _ = Hashtbl.add macro2utf8 "forall" "â\136\128"
 952 let _ = Hashtbl.add macro2utf8 "plusacir" "⨣"
 953 let _ = Hashtbl.add macro2utf8 "ascr" "ð\157\146¶"
 954 let _ = Hashtbl.add macro2utf8 "plustwo" "⨧"
 955 let _ = Hashtbl.add macro2utf8 "lambda" "λ"
 956 let _ = Hashtbl.add macro2utf8 "Utilde" "Ũ"
 957 let _ = Hashtbl.add macro2utf8 "lambda" "λ"
 958 let _ = Hashtbl.add macro2utf8 "odash" "â\138\157"
 959 let _ = Hashtbl.add macro2utf8 "iukcy" "Ñ\150"
 960 let _ = Hashtbl.add macro2utf8 "Longleftarrow" "????"
 961 let _ = Hashtbl.add macro2utf8 "sqsupset" "â\138\144"
 962 let _ = Hashtbl.add macro2utf8 "Racute" "Å\148"
 963 let _ = Hashtbl.add macro2utf8 "Longleftarrow" "ï\149¹"
 964 let _ = Hashtbl.add macro2utf8 "capcap" "â©\139"
 965 let _ = Hashtbl.add macro2utf8 "ocirc" "ô"
 966 let _ = Hashtbl.add macro2utf8 "nless" "â\137®"
 967 let _ = Hashtbl.add macro2utf8 "Wedge" "â\139\128"
 968 let _ = Hashtbl.add macro2utf8 "qfr" "ð\157\148®"
 969 let _ = Hashtbl.add macro2utf8 "natur" "â\153®"
 970 let _ = Hashtbl.add macro2utf8 "hscr" "ð\157\146½"
 971 let _ = Hashtbl.add macro2utf8 "ldca" "⤶"
 972 let _ = Hashtbl.add macro2utf8 "ClockwiseContourIntegral" "â\136²"
 973 let _ = Hashtbl.add macro2utf8 "exp" "exp"
 974 let _ = Hashtbl.add macro2utf8 "RightTeeArrow" "â\134¦"
 975 let _ = Hashtbl.add macro2utf8 "orarr" "â\134»"
 976 let _ = Hashtbl.add macro2utf8 "tanh" "tanh"
 977 let _ = Hashtbl.add macro2utf8 "frac78" "â\133\158"
 978 let _ = Hashtbl.add macro2utf8 "Atilde" "Ã\131"
 979 let _ = Hashtbl.add macro2utf8 "arcsin" "arcsin"
 980 let _ = Hashtbl.add macro2utf8 "Rcedil" "Å\150"
 981 let _ = Hashtbl.add macro2utf8 "oscr" "â\132´"
 982 let _ = Hashtbl.add macro2utf8 "InvisibleTimes" "â\129¢"
 983 let _ = Hashtbl.add macro2utf8 "sime" "â\137\131"
 984 let _ = Hashtbl.add macro2utf8 "simg" "âª\158"
 985 let _ = Hashtbl.add macro2utf8 "Conint" "â\136¯"
 986 let _ = Hashtbl.add macro2utf8 "Yuml" "Ÿ"
 987 let _ = Hashtbl.add macro2utf8 "rlhar" "â\135\140"
 988 let _ = Hashtbl.add macro2utf8 "rarrbfs" "⤠"
 989 let _ = Hashtbl.add macro2utf8 "siml" "âª\157"
 990 let _ = Hashtbl.add macro2utf8 "DownRightVectorBar" "â¥\151"
 991 let _ = Hashtbl.add macro2utf8 "vscr" "ð\157\147\139"
 992 let _ = Hashtbl.add macro2utf8 "divide" "÷"
 993 let _ = Hashtbl.add macro2utf8 "PlusMinus" "±"
 994 let _ = Hashtbl.add macro2utf8 "ffr" "ð\157\148£"
 995 let _ = Hashtbl.add macro2utf8 "DownLeftTeeVector" "â¥\158"
 996 let _ = Hashtbl.add macro2utf8 "EmptySmallSquare" "â\151½"
 997 let _ = Hashtbl.add macro2utf8 "SHCHcy" "Щ"
 998 let _ = Hashtbl.add macro2utf8 "cirmid" "⫯"
 999 let _ = Hashtbl.add macro2utf8 "sigmav" "Ï\130"
1000 let _ = Hashtbl.add macro2utf8 "csub" "â«\143"
1001 let _ = Hashtbl.add macro2utf8 "npar" "â\136¦"
1002 let _ = Hashtbl.add macro2utf8 "bsemi" "â\129\143"
1003 let _ = Hashtbl.add macro2utf8 "swArr" "â\135\153"
1004 let _ = Hashtbl.add macro2utf8 "Pcy" "Ð\159"
1005 let _ = Hashtbl.add macro2utf8 "sinh" "sinh"
1006 let _ = Hashtbl.add macro2utf8 "lharul" "⥪"
1007 let _ = Hashtbl.add macro2utf8 "Jukcy" "Ð\132"
1008 let _ = Hashtbl.add macro2utf8 "permil" "â\128°"
1009 let _ = Hashtbl.add macro2utf8 "Aring" "Ã\133"
1010 let _ = Hashtbl.add macro2utf8 "longmapsto" "????"
1011 let _ = Hashtbl.add macro2utf8 "longmapsto" "ï\149½"
1012 let _ = Hashtbl.add macro2utf8 "Esim" "⩳"
1013 let _ = Hashtbl.add macro2utf8 "csup" "â«\144"
1014 let _ = Hashtbl.add macro2utf8 "trie" "â\137\156"
1015 let _ = Hashtbl.add macro2utf8 "ubrcy" "Ñ\158"
1016 let _ = Hashtbl.add macro2utf8 "NotEqualTilde" "â\137\130Ì¸"
1017 let _ = Hashtbl.add macro2utf8 "dotminus" "â\136¸"
1018 let _ = Hashtbl.add macro2utf8 "diamondsuit" "â\153¢"
1019 let _ = Hashtbl.add macro2utf8 "diamondsuit" "â\153¦"
1020 let _ = Hashtbl.add macro2utf8 "xnis" "â\139»"
1021 let _ = Hashtbl.add macro2utf8 "Eogon" "Ä\152"
1022 let _ = Hashtbl.add macro2utf8 "cuvee" "â\139\142"
1023 let _ = Hashtbl.add macro2utf8 "DZcy" "Ð\143"
1024 let _ = Hashtbl.add macro2utf8 "nRightarrow" "â\135\143"
1025 let _ = Hashtbl.add macro2utf8 "sqsupe" "â\138\146"
1026 let _ = Hashtbl.add macro2utf8 "nsccue" "â\139¡"
1027 let _ = Hashtbl.add macro2utf8 "drcrop" "â\140\140"
1028 let _ = Hashtbl.add macro2utf8 "DownBreve" "Ì\145"
1029 let _ = Hashtbl.add macro2utf8 "Ecy" "Э"
1030 let _ = Hashtbl.add macro2utf8 "rdquor" "â\128\157"
1031 let _ = Hashtbl.add macro2utf8 "rAtail" "â¤\156"
1032 let _ = Hashtbl.add macro2utf8 "icirc" "î"
1033 let _ = Hashtbl.add macro2utf8 "gacute" "ǵ"
1034 let _ = Hashtbl.add macro2utf8 "hyphen" "â\128\144"
1035 let _ = Hashtbl.add macro2utf8 "uuml" "ü"
1036 let _ = Hashtbl.add macro2utf8 "thorn" "þ"
1037 let _ = Hashtbl.add macro2utf8 "ltri" "â\151\131"
1038 let _ = Hashtbl.add macro2utf8 "eqslantgtr" "â\139\157"
1039 let _ = Hashtbl.add macro2utf8 "DoubleContourIntegral" "â\136¯"
1040 let _ = Hashtbl.add macro2utf8 "lescc" "⪨"
1041 let _ = Hashtbl.add macro2utf8 "DiacriticalGrave" "`"
1042 let _ = Hashtbl.add macro2utf8 "NotPrecedesEqual" "⪯̸"
1043 let _ = Hashtbl.add macro2utf8 "RightArrow" "â\134\146"
1044 let _ = Hashtbl.add macro2utf8 "race" "â§\154"
1045 let _ = Hashtbl.add macro2utf8 "topbot" "â\140¶"
1046 let _ = Hashtbl.add macro2utf8 "Pfr" "ð\157\148\147"
1047 let _ = Hashtbl.add macro2utf8 "napprox" "â\137\137"
1048 let _ = Hashtbl.add macro2utf8 "Sacute" "Å\154"
1049 let _ = Hashtbl.add macro2utf8 "cupor" "â©\133"
1050 let _ = Hashtbl.add macro2utf8 "OverBar" "¯"
1051 let _ = Hashtbl.add macro2utf8 "bepsi" "϶"
1052 let _ = Hashtbl.add macro2utf8 "plankv" "â\132\143"
1053 let _ = Hashtbl.add macro2utf8 "lap" "â\137²"
1054 let _ = Hashtbl.add macro2utf8 "beta" "β"
1055 let _ = Hashtbl.add macro2utf8 "orslope" "â©\151"
1056 let _ = Hashtbl.add macro2utf8 "beta" "β"
1057 let _ = Hashtbl.add macro2utf8 "perp" "â\138¥"
1058 let _ = Hashtbl.add macro2utf8 "ShortDownArrow" "â\140\132ï¸\128"
1059 let _ = Hashtbl.add macro2utf8 "perp" "â\138¥"
1060 let _ = Hashtbl.add macro2utf8 "lat" "⪫"
1061 let _ = Hashtbl.add macro2utf8 "CenterDot" "·"
1062 let _ = Hashtbl.add macro2utf8 "models" "â\138§"
1063 let _ = Hashtbl.add macro2utf8 "urcorner" "â\140\157"
1064 let _ = Hashtbl.add macro2utf8 "models" "â\138§"
1065 let _ = Hashtbl.add macro2utf8 "beth" "â\132¶"
1066 let _ = Hashtbl.add macro2utf8 "subE" "â\138\134"
1067 let _ = Hashtbl.add macro2utf8 "subnE" "â\138\138"
1068 let _ = Hashtbl.add macro2utf8 "ldots" "â\128¦"
1069 let _ = Hashtbl.add macro2utf8 "yacy" "Ñ\143"
1070 let _ = Hashtbl.add macro2utf8 "udhar" "⥮"
1071 let _ = Hashtbl.add macro2utf8 "Scedil" "Å\158"
1072 let _ = Hashtbl.add macro2utf8 "subsub" "â«\149"
1073 let _ = Hashtbl.add macro2utf8 "nvrtrie" "â\139Ì¸"
1074 let _ = Hashtbl.add macro2utf8 "Phi" "Φ"
1075 let _ = Hashtbl.add macro2utf8 "Phi" "Φ"
1076 let _ = Hashtbl.add macro2utf8 "Efr" "ð\157\148\136"
1077 let _ = Hashtbl.add macro2utf8 "larrfs" "â¤\157"
1078 let _ = Hashtbl.add macro2utf8 "angle" "â\136 "
1079 let _ = Hashtbl.add macro2utf8 "angle" "â\136 "
1080 let _ = Hashtbl.add macro2utf8 "TildeFullEqual" "â\137\133"
1081 let _ = Hashtbl.add macro2utf8 "Jcirc" "Ĵ"
1082 let _ = Hashtbl.add macro2utf8 "THORN" "Ã\158"
1083 let _ = Hashtbl.add macro2utf8 "acE" "â§\155"
1084 let _ = Hashtbl.add macro2utf8 "Longleftrightarrow" "????"
1085 let _ = Hashtbl.add macro2utf8 "Longleftrightarrow" "ï\149»"
1086 let _ = Hashtbl.add macro2utf8 "xuplus" "â\138\142"
1087 let _ = Hashtbl.add macro2utf8 "searr" "â\134\152"
1088 let _ = Hashtbl.add macro2utf8 "gvertneqq" "â\137©ï¸\128"
1089 let _ = Hashtbl.add macro2utf8 "subsup" "â«\147"
1090 let _ = Hashtbl.add macro2utf8 "NotSucceedsEqual" "⪰̸"
1091 let _ = Hashtbl.add macro2utf8 "gtrsim" "â\137³"
1092 let _ = Hashtbl.add macro2utf8 "nrArr" "â\135\143"
1093 let _ = Hashtbl.add macro2utf8 "NotSquareSupersetEqual" "â\139£"
1094 let _ = Hashtbl.add macro2utf8 "notindot" "â\139¶ï¸\128"
1095 let _ = Hashtbl.add macro2utf8 "HARDcy" "Ъ"
1096 let _ = Hashtbl.add macro2utf8 "jmath" "jï¸\128"
1097 let _ = Hashtbl.add macro2utf8 "jmath" "jï¸\128"
1098 let _ = Hashtbl.add macro2utf8 "aelig" "æ"
1099 let _ = Hashtbl.add macro2utf8 "slarr" "â\134\144ï¸\128"
1100 let _ = Hashtbl.add macro2utf8 "dlcrop" "â\140\141"
1101 let _ = Hashtbl.add macro2utf8 "sube" "â\138\134"
1102 let _ = Hashtbl.add macro2utf8 "cuepr" "â\139\158"
1103 let _ = Hashtbl.add macro2utf8 "supsub" "â«\148"
1104 let _ = Hashtbl.add macro2utf8 "trianglelefteq" "â\138´"
1105 let _ = Hashtbl.add macro2utf8 "subne" "â\138\138"
1106 let _ = Hashtbl.add macro2utf8 "between" "â\137¬"
1107 let _ = Hashtbl.add macro2utf8 "measuredangle" "â\136¡"
1108 let _ = Hashtbl.add macro2utf8 "swnwar" "⤪"
1109 let _ = Hashtbl.add macro2utf8 "lcy" "л"
1110 let _ = Hashtbl.add macro2utf8 "ccirc" "Ä\137"
1111 let _ = Hashtbl.add macro2utf8 "larrhk" "â\134©"
1112 let _ = Hashtbl.add macro2utf8 "DiacriticalTilde" "Ë\156"
1113 let _ = Hashtbl.add macro2utf8 "brvbar" "¦"
1114 let _ = Hashtbl.add macro2utf8 "triangledown" "â\150¿"
1115 let _ = Hashtbl.add macro2utf8 "dtrif" "â\150¾"
1116 let _ = Hashtbl.add macro2utf8 "Bopf" "ð\157\148¹"
1117 let _ = Hashtbl.add macro2utf8 "xwedge" "â\139\128"
1118 let _ = Hashtbl.add macro2utf8 "rightsquigarrow" "â\134\157"
1119 let _ = Hashtbl.add macro2utf8 "acd" "â\136¿"
1120 let _ = Hashtbl.add macro2utf8 "supsup" "â«\150"
1121 let _ = Hashtbl.add macro2utf8 "UpEquilibrium" "⥮"
1122 let _ = Hashtbl.add macro2utf8 "succ" "â\137»"
1123 let _ = Hashtbl.add macro2utf8 "succ" "â\137»"
1124 let _ = Hashtbl.add macro2utf8 "coprod" "â\136\144"
1125 let _ = Hashtbl.add macro2utf8 "eqslantless" "â\139\156"
1126 let _ = Hashtbl.add macro2utf8 "coprod" "â\136\144"
1127 let _ = Hashtbl.add macro2utf8 "OpenCurlyDoubleQuote" "â\128\156"
1128 let _ = Hashtbl.add macro2utf8 "NotGreaterSlantEqual" "â\137±"
1129 let _ = Hashtbl.add macro2utf8 "solb" "â§\132"
1130 let _ = Hashtbl.add macro2utf8 "HumpDownHump" "â\137\142"
1131 let _ = Hashtbl.add macro2utf8 "gtrapprox" "â\137³"
1132 let _ = Hashtbl.add macro2utf8 "Iopf" "ð\157\149\128"
1133 let _ = Hashtbl.add macro2utf8 "leg" "â\139\154"
1134 let _ = Hashtbl.add macro2utf8 "wfr" "ð\157\148´"
1135 let _ = Hashtbl.add macro2utf8 "mapstoleft" "â\134¤"
1136 let _ = Hashtbl.add macro2utf8 "gnapprox" "âª\138"
1137 let _ = Hashtbl.add macro2utf8 "lgE" "âª\145"
1138 let _ = Hashtbl.add macro2utf8 "CloseCurlyDoubleQuote" "â\128\157"
1139 let _ = Hashtbl.add macro2utf8 "NotNestedLessLess" "â\146¡Ì¸"
1140 let _ = Hashtbl.add macro2utf8 "acy" "а"
1141 let _ = Hashtbl.add macro2utf8 "leq" "â\137¤"
1142 let _ = Hashtbl.add macro2utf8 "leq" "â\137¤"
1143 let _ = Hashtbl.add macro2utf8 "Popf" "â\132\153"
1144 let _ = Hashtbl.add macro2utf8 "les" "⩽"
1145 let _ = Hashtbl.add macro2utf8 "heartsuit" "â\153¡"
1146 let _ = Hashtbl.add macro2utf8 "succcurlyeq" "â\137½"
1147 let _ = Hashtbl.add macro2utf8 "heartsuit" "â\153¡"
1148 let _ = Hashtbl.add macro2utf8 "angmsd" "â\136¡"
1149 let _ = Hashtbl.add macro2utf8 "cuesc" "â\139\159"
1150 let _ = Hashtbl.add macro2utf8 "lesseqgtr" "â\139\154"
1151 let _ = Hashtbl.add macro2utf8 "vartriangleright" "â\138³"
1152 let _ = Hashtbl.add macro2utf8 "csupe" "â«\146"
1153 let _ = Hashtbl.add macro2utf8 "dashv" "â\138£"
1154 let _ = Hashtbl.add macro2utf8 "rthree" "â\139\140"
1155 let _ = Hashtbl.add macro2utf8 "Idot" "İ"
1156 let _ = Hashtbl.add macro2utf8 "gtdot" "â\139\151"
1157 let _ = Hashtbl.add macro2utf8 "dashv" "â\138£"
1158 let _ = Hashtbl.add macro2utf8 "Odblac" "Å\144"
1159 let _ = Hashtbl.add macro2utf8 "Lmidot" "Ŀ"
1160 let _ = Hashtbl.add macro2utf8 "andd" "â©\156"
1161 let _ = Hashtbl.add macro2utf8 "Wopf" "ð\157\149\142"
1162 let _ = Hashtbl.add macro2utf8 "nvltrie" "â\139¬Ì¸"
1163 let _ = Hashtbl.add macro2utf8 "nhpar" "⫲"
1164 let _ = Hashtbl.add macro2utf8 "geqslant" "⩾"
1165 let _ = Hashtbl.add macro2utf8 "xlArr" "ï\149¹"
1166 let _ = Hashtbl.add macro2utf8 "SquareSubset" "â\138\143"
1167 let _ = Hashtbl.add macro2utf8 "intcal" "â\138º"
1168 let _ = Hashtbl.add macro2utf8 "ljcy" "Ñ\153"
1169 let _ = Hashtbl.add macro2utf8 "lfr" "ð\157\148©"
1170 let _ = Hashtbl.add macro2utf8 "gtlPar" "â¦\149"
1171 let _ = Hashtbl.add macro2utf8 "zigrarr" "â\135\157"
1172 let _ = Hashtbl.add macro2utf8 "nvap" "â\137\137Ì¸"
1173 let _ = Hashtbl.add macro2utf8 "boxtimes" "â\138 "
1174 let _ = Hashtbl.add macro2utf8 "raquo" "»"
1175 let _ = Hashtbl.add macro2utf8 "CircleMinus" "â\138\150"
1176 let _ = Hashtbl.add macro2utf8 "centerdot" "·"
1177 let _ = Hashtbl.add macro2utf8 "xoplus" "â\138\149"
1178 let _ = Hashtbl.add macro2utf8 "simdot" "⩪"
1179 let _ = Hashtbl.add macro2utf8 "Vcy" "Ð\146"
1180 let _ = Hashtbl.add macro2utf8 "profline" "â\140\146"
1181 let _ = Hashtbl.add macro2utf8 "ltquest" "⩻"
1182 let _ = Hashtbl.add macro2utf8 "andv" "â©\154"
1183 let _ = Hashtbl.add macro2utf8 "lessgtr" "â\137¶"
1184 let _ = Hashtbl.add macro2utf8 "lesdoto" "âª\129"
1185 let _ = Hashtbl.add macro2utf8 "bullet" "â\128¢"
1186 let _ = Hashtbl.add macro2utf8 "NotSquareSubset" "â\138\143Ì¸"
1187 let _ = Hashtbl.add macro2utf8 "bullet" "â\128¢"
1188 let _ = Hashtbl.add macro2utf8 "rarrsim" "⥴"
1189 let _ = Hashtbl.add macro2utf8 "Tcedil" "Ţ"
1190 let _ = Hashtbl.add macro2utf8 "Hstrok" "Ħ"
1191 let _ = Hashtbl.add macro2utf8 "eopf" "ð\157\149\150"
1192 let _ = Hashtbl.add macro2utf8 "Theta" "Î\152"
1193 let _ = Hashtbl.add macro2utf8 "Theta" "Î\152"
1194 let _ = Hashtbl.add macro2utf8 "Cscr" "ð\157\146\158"
1195 let _ = Hashtbl.add macro2utf8 "emacr" "Ä\147"
1196 let _ = Hashtbl.add macro2utf8 "UnionPlus" "â\138\142"
1197 let _ = Hashtbl.add macro2utf8 "Vee" "â\139\129"
1198 let _ = Hashtbl.add macro2utf8 "arctan" "arctan"
1199 let _ = Hashtbl.add macro2utf8 "afr" "ð\157\148\158"
1200 let _ = Hashtbl.add macro2utf8 "thinsp" "â\128\137"
1201 let _ = Hashtbl.add macro2utf8 "bottom" "â\138¥"
1202 let _ = Hashtbl.add macro2utf8 "lopf" "ð\157\149\157"
1203 let _ = Hashtbl.add macro2utf8 "larrlp" "â\134«"
1204 let _ = Hashtbl.add macro2utf8 "lbrace" "{"
1205 let _ = Hashtbl.add macro2utf8 "lbrace" "{"
1206 let _ = Hashtbl.add macro2utf8 "Jscr" "ð\157\146¥"
1207 let _ = Hashtbl.add macro2utf8 "Kcy" "Ð\154"
1208 let _ = Hashtbl.add macro2utf8 "shortparallel" "â\136¥ï¸\128"
1209 let _ = Hashtbl.add macro2utf8 "hairsp" "â\128\138"
1210 let _ = Hashtbl.add macro2utf8 "lbrack" "["
1211 let _ = Hashtbl.add macro2utf8 "osol" "â\138\152"
1212 let _ = Hashtbl.add macro2utf8 "lbrack" "["
1213 let _ = Hashtbl.add macro2utf8 "hArr" "â\135\148"
1214 let _ = Hashtbl.add macro2utf8 "vdash" "â\138¢"
1215 let _ = Hashtbl.add macro2utf8 "vdash" "â\138¢"
1216 let _ = Hashtbl.add macro2utf8 "UpDownArrow" "â\134\149"
1217 let _ = Hashtbl.add macro2utf8 "edot" "Ä\151"
1218 let _ = Hashtbl.add macro2utf8 "vzigzag" "â¦\154"
1219 let _ = Hashtbl.add macro2utf8 "sopf" "ð\157\149¤"
1220 let _ = Hashtbl.add macro2utf8 "NotLessGreater" "â\137¸"
1221 let _ = Hashtbl.add macro2utf8 "Qscr" "ð\157\146¬"
1222 let _ = Hashtbl.add macro2utf8 "Gammad" "Ï\156"
1223 let _ = Hashtbl.add macro2utf8 "SubsetEqual" "â\138\134"
1224 let _ = Hashtbl.add macro2utf8 "uplus" "â\138\142"
1225 let _ = Hashtbl.add macro2utf8 "uplus" "â\138\142"
1226 let _ = Hashtbl.add macro2utf8 "LeftTriangle" "â\138²"
1227 let _ = Hashtbl.add macro2utf8 "ange" "⦤"
1228 let _ = Hashtbl.add macro2utf8 "lim" "lim"
1229 let _ = Hashtbl.add macro2utf8 "triangleright" "â\150¹"
1230 let _ = Hashtbl.add macro2utf8 "triangleright" "â\150¹"
1231 let _ = Hashtbl.add macro2utf8 "angrt" "â\136\159"
1232 let _ = Hashtbl.add macro2utf8 "rfloor" "â\140\139"
1233 let _ = Hashtbl.add macro2utf8 "bigtriangledown" "â\150½"
1234 let _ = Hashtbl.add macro2utf8 "rfloor" "â\140\139"
1235 let _ = Hashtbl.add macro2utf8 "bigtriangledown" "â\150½"
1236 let _ = Hashtbl.add macro2utf8 "ofcir" "⦿"
1237 let _ = Hashtbl.add macro2utf8 "Vfr" "ð\157\148\153"
1238 let _ = Hashtbl.add macro2utf8 "zopf" "ð\157\149«"
1239 let _ = Hashtbl.add macro2utf8 "UpArrowDownArrow" "â\135\133"
1240 let _ = Hashtbl.add macro2utf8 "Xscr" "ð\157\146³"
1241 let _ = Hashtbl.add macro2utf8 "digamma" "Ï\156"
1242 let _ = Hashtbl.add macro2utf8 "SmallCircle" "â\136\152"
1243 let _ = Hashtbl.add macro2utf8 "vArr" "â\135\149"
1244 let _ = Hashtbl.add macro2utf8 "eqsim" "â\137\130"
1245 let _ = Hashtbl.add macro2utf8 "downharpoonright" "â\135\130"
1246 let _ = Hashtbl.add macro2utf8 "Ccaron" "Ä\140"
1247 let _ = Hashtbl.add macro2utf8 "frown" "â\140¢"
1248 let _ = Hashtbl.add macro2utf8 "sdot" "â\139\133"
1249 let _ = Hashtbl.add macro2utf8 "frown" "â\140¢"
1250 let _ = Hashtbl.add macro2utf8 "angst" "â\132«"
1251 let _ = Hashtbl.add macro2utf8 "lesges" "âª\147"
1252 let _ = Hashtbl.add macro2utf8 "iacute" "í"
1253 let _ = Hashtbl.add macro2utf8 "wedge" "â\136§"
1254 let _ = Hashtbl.add macro2utf8 "wedge" "â\136§"
1255 let _ = Hashtbl.add macro2utf8 "ssetmn" "â\136\150ï¸\128"
1256 let _ = Hashtbl.add macro2utf8 "rotimes" "⨵"
1257 let _ = Hashtbl.add macro2utf8 "laquo" "«"
1258 let _ = Hashtbl.add macro2utf8 "bigstar" "â\152\133"
1259 let _ = Hashtbl.add macro2utf8 "Rrightarrow" "â\135\155"
1260 let _ = Hashtbl.add macro2utf8 "erDot" "â\137\147"
1261 let _ = Hashtbl.add macro2utf8 "subseteq" "â\138\134"
1262 let _ = Hashtbl.add macro2utf8 "subseteq" "â\138\134"
1263 let _ = Hashtbl.add macro2utf8 "leftharpoondown" "â\134½"
1264 let _ = Hashtbl.add macro2utf8 "infin" "â\136\158"
1265 let _ = Hashtbl.add macro2utf8 "zdot" "ż"
1266 let _ = Hashtbl.add macro2utf8 "solbar" "â\140¿"
1267 let _ = Hashtbl.add macro2utf8 "Iuml" "Ã\143"
1268 let _ = Hashtbl.add macro2utf8 "Kfr" "ð\157\148\142"
1269 let _ = Hashtbl.add macro2utf8 "fscr" "ð\157\146»"
1270 let _ = Hashtbl.add macro2utf8 "DJcy" "Ð\130"
1271 let _ = Hashtbl.add macro2utf8 "veeeq" "â\137\154"
1272 let _ = Hashtbl.add macro2utf8 "Star" "â\139\134"
1273 let _ = Hashtbl.add macro2utf8 "lsquor" "â\128\154"
1274 let _ = Hashtbl.add macro2utf8 "Uacute" "Ã\154"
1275 let _ = Hashtbl.add macro2utf8 "weierp" "â\132\152"
1276 let _ = Hashtbl.add macro2utf8 "rang" "â\140ª"
1277 let _ = Hashtbl.add macro2utf8 "hamilt" "â\132\139"
1278 let _ = Hashtbl.add macro2utf8 "angsph" "â\136¢"
1279 let _ = Hashtbl.add macro2utf8 "YUcy" "Ю"
1280 let _ = Hashtbl.add macro2utf8 "Wcirc" "Ŵ"
1281 let _ = Hashtbl.add macro2utf8 "supsetneq" "â\138\139"
1282 let _ = Hashtbl.add macro2utf8 "gap" "â\137³"
1283 let _ = Hashtbl.add macro2utf8 "mscr" "ð\157\147\130"
1284 let _ = Hashtbl.add macro2utf8 "KJcy" "Ð\140"
1285 let _ = Hashtbl.add macro2utf8 "qprime" "â\129\151"
1286 let _ = Hashtbl.add macro2utf8 "EqualTilde" "â\137\130"
1287 let _ = Hashtbl.add macro2utf8 "vBar" "⫨"
1288 let _ = Hashtbl.add macro2utf8 "larrpl" "⤹"
1289 let _ = Hashtbl.add macro2utf8 "approx" "â\137\136"
1290 let _ = Hashtbl.add macro2utf8 "nvge" "â\137±"
1291 let _ = Hashtbl.add macro2utf8 "approx" "â\137\136"
1292 let _ = Hashtbl.add macro2utf8 "lnE" "â\137¨"
1293 let _ = Hashtbl.add macro2utf8 "NotGreaterLess" "â\137¹"
1294 let _ = Hashtbl.add macro2utf8 "epar" "â\139\149"
1295 let _ = Hashtbl.add macro2utf8 "bigotimes" "â\138\151"
1296 let _ = Hashtbl.add macro2utf8 "bigotimes" "â\138\151"
1297 let _ = Hashtbl.add macro2utf8 "xharr" "ï\149¸"
1298 let _ = Hashtbl.add macro2utf8 "roang" "ï\149\153"
1299 let _ = Hashtbl.add macro2utf8 "xcup" "â\139\131"
1300 let _ = Hashtbl.add macro2utf8 "tscr" "ð\157\147\137"
1301 let _ = Hashtbl.add macro2utf8 "thkap" "â\137\136ï¸\128"
1302 let _ = Hashtbl.add macro2utf8 "Aacute" "Ã\129"
1303 let _ = Hashtbl.add macro2utf8 "rcy" "Ñ\128"
1304 let _ = Hashtbl.add macro2utf8 "jukcy" "Ñ\148"
1305 let _ = Hashtbl.add macro2utf8 "hookleftarrow" "â\134©"
1306 let _ = Hashtbl.add macro2utf8 "hookleftarrow" "â\134©"
1307 let _ = Hashtbl.add macro2utf8 "napid" "â\137\139Ì¸"
1308 let _ = Hashtbl.add macro2utf8 "tscy" "Ñ\134"
1309 let _ = Hashtbl.add macro2utf8 "nvgt" "â\137¯"
1310 let _ = Hashtbl.add macro2utf8 "lpar" "("
1311 let _ = Hashtbl.add macro2utf8 "ldsh" "â\134²"
1312 let _ = Hashtbl.add macro2utf8 "aring" "å"
1313 let _ = Hashtbl.add macro2utf8 "nGg" "â\139\153Ì¸"
1314 let _ = Hashtbl.add macro2utf8 "LessEqualGreater" "â\139\154"
1315 let _ = Hashtbl.add macro2utf8 "gcd" "gcd"
1316 let _ = Hashtbl.add macro2utf8 "oplus" "â\138\149"
1317 let _ = Hashtbl.add macro2utf8 "oplus" "â\138\149"
1318 let _ = Hashtbl.add macro2utf8 "lcaron" "ľ"
1319 let _ = Hashtbl.add macro2utf8 "DownArrow" "â\134\147"
1320 let _ = Hashtbl.add macro2utf8 "Psi" "Ψ"
1321 let _ = Hashtbl.add macro2utf8 "xutri" "â\150³"
1322 let _ = Hashtbl.add macro2utf8 "Psi" "Ψ"
1323 let _ = Hashtbl.add macro2utf8 "lesssim" "â\137²"
1324 let _ = Hashtbl.add macro2utf8 "topcir" "⫱"
1325 let _ = Hashtbl.add macro2utf8 "puncsp" "â\128\136"
1326 let _ = Hashtbl.add macro2utf8 "origof" "â\138¶"
1327 let _ = Hashtbl.add macro2utf8 "gnsim" "â\139§"
1328 let _ = Hashtbl.add macro2utf8 "eogon" "Ä\153"
1329 let _ = Hashtbl.add macro2utf8 "spar" "â\136¥ï¸\128"
1330 let _ = Hashtbl.add macro2utf8 "LowerRightArrow" "â\134\152"
1331 let _ = Hashtbl.add macro2utf8 "Lleftarrow" "â\135\154"
1332 let _ = Hashtbl.add macro2utf8 "nGt" "â\137«Ì¸"
1333 let _ = Hashtbl.add macro2utf8 "euml" "ë"
1334 let _ = Hashtbl.add macro2utf8 "reg" "®"
1335 let _ = Hashtbl.add macro2utf8 "exponentiale" "â\133\135"
1336 let _ = Hashtbl.add macro2utf8 "qint" "â¨\140"
1337 let _ = Hashtbl.add macro2utf8 "sqcups" "â\138\148ï¸\128"
1338 let _ = Hashtbl.add macro2utf8 "lne" "â\137¨"
1339 let _ = Hashtbl.add macro2utf8 "LessSlantEqual" "⩽"
1340 let _ = Hashtbl.add macro2utf8 "Egrave" "Ã\136"
1341 let _ = Hashtbl.add macro2utf8 "orderof" "â\132´"
1342 let _ = Hashtbl.add macro2utf8 "cirE" "â§\131"
1343 let _ = Hashtbl.add macro2utf8 "nleqslant" "â\137°"
1344 let _ = Hashtbl.add macro2utf8 "gcy" "г"
1345 let _ = Hashtbl.add macro2utf8 "curvearrowright" "â\134·"
1346 let _ = Hashtbl.add macro2utf8 "ratail" "â\134£"
1347 let _ = Hashtbl.add macro2utf8 "emsp13" "â\128\132"
1348 let _ = Hashtbl.add macro2utf8 "sdotb" "â\138¡"
1349 let _ = Hashtbl.add macro2utf8 "horbar" "â\128\149"
1350 let _ = Hashtbl.add macro2utf8 "emsp14" "â\128\133"
1351 let _ = Hashtbl.add macro2utf8 "npre" "⪯̸"
1352 let _ = Hashtbl.add macro2utf8 "rbrksld" "â¦\142"
1353 let _ = Hashtbl.add macro2utf8 "sdote" "⩦"
1354 let _ = Hashtbl.add macro2utf8 "varsupsetneqq" "â\138\139ï¸\128"
1355 let _ = Hashtbl.add macro2utf8 "VeryThinSpace" "â\128\138"
1356 let _ = Hashtbl.add macro2utf8 "DownArrowBar" "â¤\147"
1357 let _ = Hashtbl.add macro2utf8 "Rightarrow" "â\135\146"
1358 let _ = Hashtbl.add macro2utf8 "Rightarrow" "â\135\146"
1359 let _ = Hashtbl.add macro2utf8 "ocir" "â\138\154"
1360 let _ = Hashtbl.add macro2utf8 "NotHumpDownHump" "â\137\142Ì¸"
1361 let _ = Hashtbl.add macro2utf8 "darr" "â\134\147"
1362 let _ = Hashtbl.add macro2utf8 "geqq" "â\137§"
1363 let _ = Hashtbl.add macro2utf8 "sup1" "¹"
1364 let _ = Hashtbl.add macro2utf8 "log" "log"
1365 let _ = Hashtbl.add macro2utf8 "sup2" "²"
1366 let _ = Hashtbl.add macro2utf8 "micro" "µ"
1367 let _ = Hashtbl.add macro2utf8 "amp" "&"
1368 let _ = Hashtbl.add macro2utf8 "arccos" "arccos"
1369 let _ = Hashtbl.add macro2utf8 "sup3" "³"
1370 let _ = Hashtbl.add macro2utf8 "GreaterTilde" "â\137³"
1371 let _ = Hashtbl.add macro2utf8 "circeq" "â\137\151"
1372 let _ = Hashtbl.add macro2utf8 "rfr" "ð\157\148¯"
1373 let _ = Hashtbl.add macro2utf8 "dash" "â\128\144"
1374 let _ = Hashtbl.add macro2utf8 "rbrkslu" "â¦\144"
1375 let _ = Hashtbl.add macro2utf8 "Dcaron" "Ä\142"
1376 let _ = Hashtbl.add macro2utf8 "and" "â\136§"
1377 let _ = Hashtbl.add macro2utf8 "Vbar" "⫫"
1378 let _ = Hashtbl.add macro2utf8 "angzarr" "â\141¼"
1379 let _ = Hashtbl.add macro2utf8 "gel" "â\139\155"
1380 let _ = Hashtbl.add macro2utf8 "ang" "â\136 "
1381 let _ = Hashtbl.add macro2utf8 "lor" "â\136¨"
1382 let _ = Hashtbl.add macro2utf8 "circ" "^"
1383 let _ = Hashtbl.add macro2utf8 "circ" "^"
1384 let _ = Hashtbl.add macro2utf8 "upharpoonright" "â\134¾"
1385 let _ = Hashtbl.add macro2utf8 "dblac" "Ë\157"
1386 let _ = Hashtbl.add macro2utf8 "subsetneqq" "â\138\138"
1387 let _ = Hashtbl.add macro2utf8 "rhard" "â\135\129"
1388 let _ = Hashtbl.add macro2utf8 "Intersection" "â\139\130"
1389 let _ = Hashtbl.add macro2utf8 "cire" "â\137\151"
1390 let _ = Hashtbl.add macro2utf8 "apE" "â\137\138"
1391 let _ = Hashtbl.add macro2utf8 "geq" "â\137¥"
1392 let _ = Hashtbl.add macro2utf8 "sung" "â\153ª"
1393 let _ = Hashtbl.add macro2utf8 "geq" "â\137¥"
1394 let _ = Hashtbl.add macro2utf8 "succsim" "â\137¿"
1395 let _ = Hashtbl.add macro2utf8 "ges" "⩾"
1396 let _ = Hashtbl.add macro2utf8 "Gbreve" "Ä\158"
1397 let _ = Hashtbl.add macro2utf8 "intercal" "â\138º"
1398 let _ = Hashtbl.add macro2utf8 "supE" "â\138\135"
1399 let _ = Hashtbl.add macro2utf8 "NotCupCap" "â\137"
1400 let _ = Hashtbl.add macro2utf8 "loz" "â\151\138"
1401 let _ = Hashtbl.add macro2utf8 "capcup" "â©\135"
1402 let _ = Hashtbl.add macro2utf8 "larrtl" "â\134¢"
1403 let _ = Hashtbl.add macro2utf8 "AElig" "Ã\134"
1404 let _ = Hashtbl.add macro2utf8 "rarr" "â\134\146"
1405 let _ = Hashtbl.add macro2utf8 "varkappa" "ϰ"
1406 let _ = Hashtbl.add macro2utf8 "upsi" "Ï\133"
1407 let _ = Hashtbl.add macro2utf8 "loang" "ï\149\152"
1408 let _ = Hashtbl.add macro2utf8 "looparrowleft" "â\134«"
1409 let _ = Hashtbl.add macro2utf8 "IOcy" "Ð\129"
1410 let _ = Hashtbl.add macro2utf8 "backprime" "â\128µ"
1411 let _ = Hashtbl.add macro2utf8 "sstarf" "â\139\134"
1412 let _ = Hashtbl.add macro2utf8 "rharu" "â\135\128"
1413 let _ = Hashtbl.add macro2utf8 "gesl" "â\139\155ï¸\128"
1414 let _ = Hashtbl.add macro2utf8 "xotime" "â\138\151"
1415 let _ = Hashtbl.add macro2utf8 "minus" "â\136\146"
1416 let _ = Hashtbl.add macro2utf8 "gvnE" "â\137©ï¸\128"
1417 let _ = Hashtbl.add macro2utf8 "gfr" "ð\157\148¤"
1418 let _ = Hashtbl.add macro2utf8 "lfisht" "⥼"
1419 let _ = Hashtbl.add macro2utf8 "jcirc" "ĵ"
1420 let _ = Hashtbl.add macro2utf8 "roarr" "â\135¾"
1421 let _ = Hashtbl.add macro2utf8 "rho" "Ï\129"
1422 let _ = Hashtbl.add macro2utf8 "rho" "Ï\129"
1423 let _ = Hashtbl.add macro2utf8 "nvle" "â\137°"
1424 let _ = Hashtbl.add macro2utf8 "sect" "§"
1425 let _ = Hashtbl.add macro2utf8 "ggg" "â\139\153"
1426 let _ = Hashtbl.add macro2utf8 "plusb" "â\138\158"
1427 let _ = Hashtbl.add macro2utf8 "NotTildeFullEqual" "â\137\135"
1428 let _ = Hashtbl.add macro2utf8 "NegativeVeryThinSpace" "â\128\138ï¸\128"
1429 let _ = Hashtbl.add macro2utf8 "ape" "â\137\138"
1430 let _ = Hashtbl.add macro2utf8 "pluse" "⩲"
1431 let _ = Hashtbl.add macro2utf8 "dollar" "$"
1432 let _ = Hashtbl.add macro2utf8 "divonx" "â\139\135"
1433 let _ = Hashtbl.add macro2utf8 "partial" "â\136\130"
1434 let _ = Hashtbl.add macro2utf8 "DoubleLeftRightArrow" "â\135\148"
1435 let _ = Hashtbl.add macro2utf8 "varepsilon" "ε"
1436 let _ = Hashtbl.add macro2utf8 "varepsilon" "É\155"
1437 let _ = Hashtbl.add macro2utf8 "supe" "â\138\135"
1438 let _ = Hashtbl.add macro2utf8 "nvlt" "â\137®"
1439 let _ = Hashtbl.add macro2utf8 "angrtvb" "â¦\157ï¸\128"
1440 let _ = Hashtbl.add macro2utf8 "gets" "â\134\144"
1441 let _ = Hashtbl.add macro2utf8 "nparallel" "â\136¦"
1442 let _ = Hashtbl.add macro2utf8 "varphi" "Ï\134"
1443 let _ = Hashtbl.add macro2utf8 "varphi" "Ï\149"
1444 let _ = Hashtbl.add macro2utf8 "nsupseteq" "â\138\137"
1445 let _ = Hashtbl.add macro2utf8 "circledR" "®"
1446 let _ = Hashtbl.add macro2utf8 "circledS" "â\147\136"
1447 let _ = Hashtbl.add macro2utf8 "primes" "â\132\153"
1448 let _ = Hashtbl.add macro2utf8 "cuwed" "â\139\143"
1449 let _ = Hashtbl.add macro2utf8 "cupcap" "â©\134"
1450 let _ = Hashtbl.add macro2utf8 "nLl" "â\139\152Ì¸"
1451 let _ = Hashtbl.add macro2utf8 "lozf" "⧫"
1452 let _ = Hashtbl.add macro2utf8 "ShortLeftArrow" "â\134\144ï¸\128"
1453 let _ = Hashtbl.add macro2utf8 "nLt" "â\137ªÌ¸"
1454 let _ = Hashtbl.add macro2utf8 "lesdotor" "âª\131"
1455 let _ = Hashtbl.add macro2utf8 "Fcy" "Ф"
1456 let _ = Hashtbl.add macro2utf8 "scnsim" "â\139©"
1457 let _ = Hashtbl.add macro2utf8 "VerticalLine" "|"
1458 let _ = Hashtbl.add macro2utf8 "nwArr" "â\135\150"
1459 let _ = Hashtbl.add macro2utf8 "LeftTeeArrow" "â\134¤"
1460 let _ = Hashtbl.add macro2utf8 "iprod" "⨼"
1461 let _ = Hashtbl.add macro2utf8 "lsh" "â\134°"
1462 let _ = Hashtbl.add macro2utf8 "Congruent" "â\137¡"
1463 let _ = Hashtbl.add macro2utf8 "NotLeftTriangle" "â\139ª"
1464 let _ = Hashtbl.add macro2utf8 "rdldhar" "⥩"
1465 let _ = Hashtbl.add macro2utf8 "varpropto" "â\136\157"
1466 let _ = Hashtbl.add macro2utf8 "nvlArr" "â\135\141"
1467 let _ = Hashtbl.add macro2utf8 "arg" "arg"
1468 let _ = Hashtbl.add macro2utf8 "lhard" "â\134½"
1469 let _ = Hashtbl.add macro2utf8 "surd" "????"
1470 let _ = Hashtbl.add macro2utf8 "napos" "Å\137"
1471 let _ = Hashtbl.add macro2utf8 "lparlt" "â¦\147"
1472 let _ = Hashtbl.add macro2utf8 "hslash" "â\132\143"
1473 let _ = Hashtbl.add macro2utf8 "Gopf" "ð\157\148¾"
1474 let _ = Hashtbl.add macro2utf8 "SHcy" "Ш"
1475 let _ = Hashtbl.add macro2utf8 "triangle" "â\150µ"
1476 let _ = Hashtbl.add macro2utf8 "triangle" "â\150µ"
1477 let _ = Hashtbl.add macro2utf8 "Qfr" "ð\157\148\148"
1478 let _ = Hashtbl.add macro2utf8 "DiacriticalAcute" "´"
1479 let _ = Hashtbl.add macro2utf8 "tbrk" "â\142´"
1480 let _ = Hashtbl.add macro2utf8 "Implies" "â\135\146"
1481 let _ = Hashtbl.add macro2utf8 "comp" "â\136\129"
1482 let _ = Hashtbl.add macro2utf8 "ddarr" "â\135\138"
1483 let _ = Hashtbl.add macro2utf8 "Colone" "⩴"
1484 let _ = Hashtbl.add macro2utf8 "smashp" "⨳"
1485 let _ = Hashtbl.add macro2utf8 "ccups" "â©\140"
1486 let _ = Hashtbl.add macro2utf8 "triangleq" "â\137\156"
1487 let _ = Hashtbl.add macro2utf8 "NotSquareSubsetEqual" "â\139¢"
1488 let _ = Hashtbl.add macro2utf8 "Nopf" "â\132\149"
1489 let _ = Hashtbl.add macro2utf8 "ZHcy" "Ð\150"
1490 let _ = Hashtbl.add macro2utf8 "map" "â\134¦"
1491 let _ = Hashtbl.add macro2utf8 "lharu" "â\134¼"
1492 let _ = Hashtbl.add macro2utf8 "glE" "âª\146"
1493 let _ = Hashtbl.add macro2utf8 "cong" "â\137\133"
1494 let _ = Hashtbl.add macro2utf8 "cong" "â\137\133"
1495 let _ = Hashtbl.add macro2utf8 "Ecaron" "Ä\154"
1496 let _ = Hashtbl.add macro2utf8 "Uring" "Ů"
1497 let _ = Hashtbl.add macro2utf8 "blacktriangleright" "â\150¸"
1498 let _ = Hashtbl.add macro2utf8 "ntilde" "ñ"
1499 let _ = Hashtbl.add macro2utf8 "max" "max"
1500 let _ = Hashtbl.add macro2utf8 "loarr" "â\135½"
1501 let _ = Hashtbl.add macro2utf8 "LeftArrow" "â\134\144"
1502 let _ = Hashtbl.add macro2utf8 "Gdot" "Ġ"
1503 let _ = Hashtbl.add macro2utf8 "bigsqcup" "â\138\148"
1504 let _ = Hashtbl.add macro2utf8 "Uopf" "ð\157\149\140"
1505 let _ = Hashtbl.add macro2utf8 "bigsqcup" "â\138\148"
1506 let _ = Hashtbl.add macro2utf8 "wedgeq" "â\137\153"
1507 let _ = Hashtbl.add macro2utf8 "RoundImplies" "⥰"
1508 let _ = Hashtbl.add macro2utf8 "prap" "â\137¾"
1509 let _ = Hashtbl.add macro2utf8 "gescc" "⪩"
1510 let _ = Hashtbl.add macro2utf8 "ast" "*"
1511 let _ = Hashtbl.add macro2utf8 "realine" "â\132\155"
1512 let _ = Hashtbl.add macro2utf8 "ast" "*"
1513 let _ = Hashtbl.add macro2utf8 "subedot" "â«\131"
1514 let _ = Hashtbl.add macro2utf8 "LeftTeeVector" "â¥\154"
1515 let _ = Hashtbl.add macro2utf8 "female" "â\153\128"
1516 let _ = Hashtbl.add macro2utf8 "circlearrowleft" "â\134º"
1517 let _ = Hashtbl.add macro2utf8 "Ffr" "ð\157\148\137"
1518 let _ = Hashtbl.add macro2utf8 "VDash" "â\138«"
1519 let _ = Hashtbl.add macro2utf8 "jsercy" "Ñ\152"
1520 let _ = Hashtbl.add macro2utf8 "Proportional" "â\136\157"
1521 let _ = Hashtbl.add macro2utf8 "OverBracket" "â\142´"
1522 let _ = Hashtbl.add macro2utf8 "gla" "⪥"
1523 let _ = Hashtbl.add macro2utf8 "NotElement" "â\136\137"
1524 let _ = Hashtbl.add macro2utf8 "theta" "θ"
1525 let _ = Hashtbl.add macro2utf8 "theta" "θ"
1526 let _ = Hashtbl.add macro2utf8 "kcedil" "ķ"
1527 let _ = Hashtbl.add macro2utf8 "smeparsl" "⧤"
1528 let _ = Hashtbl.add macro2utf8 "rarrb" "â\135¥"
1529 let _ = Hashtbl.add macro2utf8 "rarrc" "⤳"
1530 let _ = Hashtbl.add macro2utf8 "ograve" "ò"
1531 let _ = Hashtbl.add macro2utf8 "glj" "⪤"
1532 let _ = Hashtbl.add macro2utf8 "infty" "â\136\158"
1533 let _ = Hashtbl.add macro2utf8 "gnE" "â\137©"
1534 let _ = Hashtbl.add macro2utf8 "copf" "ð\157\149\148"
1535 let _ = Hashtbl.add macro2utf8 "LeftArrowRightArrow" "â\135\134"
1536 let _ = Hashtbl.add macro2utf8 "cwconint" "â\136²"
1537 let _ = Hashtbl.add macro2utf8 "Ascr" "ð\157\146\156"
1538 let _ = Hashtbl.add macro2utf8 "NegativeThinSpace" "â\128\137ï¸\128"
1539 let _ = Hashtbl.add macro2utf8 "varsubsetneq" "â\138\138ï¸\128"
1540 let _ = Hashtbl.add macro2utf8 "trisb" "â§\141"
1541 let _ = Hashtbl.add macro2utf8 "rightharpoonup" "â\135\128"
1542 let _ = Hashtbl.add macro2utf8 "imagline" "â\132\144"
1543 let _ = Hashtbl.add macro2utf8 "mcy" "м"
1544 let _ = Hashtbl.add macro2utf8 "Cacute" "Ä\134"
1545 let _ = Hashtbl.add macro2utf8 "bumpeq" "â\137\143"
1546 let _ = Hashtbl.add macro2utf8 "jopf" "ð\157\149\155"
1547 let _ = Hashtbl.add macro2utf8 "shchcy" "Ñ\137"
1548 let _ = Hashtbl.add macro2utf8 "rarrw" "â\134\157"
1549 let _ = Hashtbl.add macro2utf8 "doteq" "â\137\144"
1550 let _ = Hashtbl.add macro2utf8 "uuarr" "â\135\136"
1551 let _ = Hashtbl.add macro2utf8 "doteq" "â\137\144"
1552 let _ = Hashtbl.add macro2utf8 "cudarrl" "⤸"
1553 let _ = Hashtbl.add macro2utf8 "varsigma" "Ï\130"
1554 let _ = Hashtbl.add macro2utf8 "varsigma" "Ï\130"
1555 let _ = Hashtbl.add macro2utf8 "Hscr" "â\132\139"
1556 let _ = Hashtbl.add macro2utf8 "DownArrowUpArrow" "â\135µ"
1557 let _ = Hashtbl.add macro2utf8 "Ecirc" "Ã\138"
1558 let _ = Hashtbl.add macro2utf8 "DD" "â\133\133"
1559 let _ = Hashtbl.add macro2utf8 "copy" "©"
1560 let _ = Hashtbl.add macro2utf8 "SquareIntersection" "â\138\147"
1561 let _ = Hashtbl.add macro2utf8 "RightUpVector" "â\134¾"
1562 let _ = Hashtbl.add macro2utf8 "NotSucceedsSlantEqual" "â\139¡"
1563 let _ = Hashtbl.add macro2utf8 "cudarrr" "⤵"
1564 let _ = Hashtbl.add macro2utf8 "verbar" "|"
1565 let _ = Hashtbl.add macro2utf8 "ncaron" "Å\136"
1566 let _ = Hashtbl.add macro2utf8 "cdot" "Ä\139"
1567 let _ = Hashtbl.add macro2utf8 "prurel" "â\138°"
1568 let _ = Hashtbl.add macro2utf8 "nearr" "â\134\151"
1569 let _ = Hashtbl.add macro2utf8 "cdot" "Ä\139"
1570 let _ = Hashtbl.add macro2utf8 "qopf" "ð\157\149¢"
1571 let _ = Hashtbl.add macro2utf8 "SucceedsSlantEqual" "â\137½"
1572 let _ = Hashtbl.add macro2utf8 "Oscr" "ð\157\146ª"
1573 let _ = Hashtbl.add macro2utf8 "xfr" "ð\157\148µ"
1574 let _ = Hashtbl.add macro2utf8 "gne" "â\137©"
1575 let _ = Hashtbl.add macro2utf8 "Ccedil" "Ã\135"
1576 let _ = Hashtbl.add macro2utf8 "nlarr" "â\134\154"
1577 let _ = Hashtbl.add macro2utf8 "inodot" "ı"
1578 let _ = Hashtbl.add macro2utf8 "prec" "â\137º"
1579 let _ = Hashtbl.add macro2utf8 "prec" "â\137º"
1580 let _ = Hashtbl.add macro2utf8 "percnt" "%"
1581 let _ = Hashtbl.add macro2utf8 "Exists" "â\136\131"
1582 let _ = Hashtbl.add macro2utf8 "bcy" "б"
1583 let _ = Hashtbl.add macro2utf8 "xopf" "ð\157\149©"
1584 let _ = Hashtbl.add macro2utf8 "nsimeq" "â\137\132"
1585 let _ = Hashtbl.add macro2utf8 "nrtri" "â\139«"
1586 let _ = Hashtbl.add macro2utf8 "barvee" "â\138½"
1587 let _ = Hashtbl.add macro2utf8 "Vscr" "ð\157\146±"
1588 let _ = Hashtbl.add macro2utf8 "Zcaron" "Ž"
1589 let _ = Hashtbl.add macro2utf8 "ReverseElement" "â\136\139"
1590 let _ = Hashtbl.add macro2utf8 "npolint" "â¨\148"
1591 let _ = Hashtbl.add macro2utf8 "NotGreaterTilde" "â\137µ"
1592 let _ = Hashtbl.add macro2utf8 "lmoustache" "â\142°"
1593 let _ = Hashtbl.add macro2utf8 "forkv" "â«\153"
1594 let _ = Hashtbl.add macro2utf8 "rmoustache" "â\142±"
1595 let _ = Hashtbl.add macro2utf8 "DownLeftVectorBar" "â¥\150"
1596 let _ = Hashtbl.add macro2utf8 "cosh" "cosh"
1597 let _ = Hashtbl.add macro2utf8 "mfr" "ð\157\148ª"
1598 let _ = Hashtbl.add macro2utf8 "LessGreater" "â\137¶"
1599 let _ = Hashtbl.add macro2utf8 "zeetrf" "â\132¨"
1600 let _ = Hashtbl.add macro2utf8 "DiacriticalDot" "Ë\153"
1601 let _ = Hashtbl.add macro2utf8 "Poincareplane" "â\132\140"
1602 let _ = Hashtbl.add macro2utf8 "curlyeqsucc" "â\139\159"
1603 let _ = Hashtbl.add macro2utf8 "Equal" "⩵"
1604 let _ = Hashtbl.add macro2utf8 "scpolint" "â¨\147"
1605 let _ = Hashtbl.add macro2utf8 "ngsim" "â\137µ"
1606 let _ = Hashtbl.add macro2utf8 "larrbfs" "â¤\159"
1607 let _ = Hashtbl.add macro2utf8 "HilbertSpace" "â\132\139"
1608 let _ = Hashtbl.add macro2utf8 "otilde" "õ"
1609 let _ = Hashtbl.add macro2utf8 "larrb" "â\135¤"
1610 let _ = Hashtbl.add macro2utf8 "wcirc" "ŵ"
1611 let _ = Hashtbl.add macro2utf8 "dscr" "ð\157\146¹"
1612 let _ = Hashtbl.add macro2utf8 "phmmat" "â\132³"
1613 let _ = Hashtbl.add macro2utf8 "lacute" "ĺ"
1614 let _ = Hashtbl.add macro2utf8 "tstrok" "ŧ"
1615 let _ = Hashtbl.add macro2utf8 "NotDoubleVerticalBar" "â\136¦"
1616 let _ = Hashtbl.add macro2utf8 "lagran" "â\132\146"
1617 let _ = Hashtbl.add macro2utf8 "NotRightTriangle" "â\139«"
1618 let _ = Hashtbl.add macro2utf8 "dscy" "Ñ\149"
1619 let _ = Hashtbl.add macro2utf8 "rightrightarrows" "â\135\137"
1620 let _ = Hashtbl.add macro2utf8 "seArr" "â\135\152"
1621 let _ = Hashtbl.add macro2utf8 "RightTriangleBar" "â§\144"
1622 let _ = Hashtbl.add macro2utf8 "coth" "coth"
1623 let _ = Hashtbl.add macro2utf8 "swarrow" "â\134\153"
1624 let _ = Hashtbl.add macro2utf8 "swarrow" "â\134\153"
1625 let _ = Hashtbl.add macro2utf8 "semi" ";"
1626 let _ = Hashtbl.add macro2utf8 "kscr" "ð\157\147\128"
1627 let _ = Hashtbl.add macro2utf8 "NotLessEqual" "â\137°â\131¥"
1628 let _ = Hashtbl.add macro2utf8 "cularr" "â\134¶"
1629 let _ = Hashtbl.add macro2utf8 "blacklozenge" "⧫"
1630 let _ = Hashtbl.add macro2utf8 "realpart" "â\132\156"
1631 let _ = Hashtbl.add macro2utf8 "LeftTriangleEqual" "â\138´"
1632 let _ = Hashtbl.add macro2utf8 "bfr" "ð\157\148\159"
1633 let _ = Hashtbl.add macro2utf8 "Uuml" "Ã\156"
1634 let _ = Hashtbl.add macro2utf8 "longleftrightarrow" "????"
1635 let _ = Hashtbl.add macro2utf8 "longleftrightarrow" "ï\149¸"
1636 let _ = Hashtbl.add macro2utf8 "lcedil" "ļ"
1637 let _ = Hashtbl.add macro2utf8 "complement" "â\136\129"
1638 let _ = Hashtbl.add macro2utf8 "rscr" "ð\157\147\135"
1639 let _ = Hashtbl.add macro2utf8 "mho" "â\132§"
1640 let _ = Hashtbl.add macro2utf8 "mcomma" "⨩"
1641 let _ = Hashtbl.add macro2utf8 "wedbar" "â©\159"
1642 let _ = Hashtbl.add macro2utf8 "NotVerticalBar" "â\136¤"
1643 let _ = Hashtbl.add macro2utf8 "Lcy" "Ð\155"
1644 let _ = Hashtbl.add macro2utf8 "Downarrow" "â\135\147"
1645 let _ = Hashtbl.add macro2utf8 "tprime" "â\128´"
1646 let _ = Hashtbl.add macro2utf8 "precneqq" "⪵"
1647 let _ = Hashtbl.add macro2utf8 "Downarrow" "â\135\147"
1648 let _ = Hashtbl.add macro2utf8 "rsh" "â\134±"
1649 let _ = Hashtbl.add macro2utf8 "mid" "â\136£"
1650 let _ = Hashtbl.add macro2utf8 "mid" "â\136£"
1651 let _ = Hashtbl.add macro2utf8 "blank" "â\144£"
1652 let _ = Hashtbl.add macro2utf8 "square" "â\150¡"
1653 let _ = Hashtbl.add macro2utf8 "squarf" "â\150ª"
1654 let _ = Hashtbl.add macro2utf8 "fflig" "ï¬\128"
1655 let _ = Hashtbl.add macro2utf8 "downdownarrows" "â\135\138"
1656 let _ = Hashtbl.add macro2utf8 "yscr" "ð\157\147\142"
1657 let _ = Hashtbl.add macro2utf8 "subdot" "⪽"
1658 let _ = Hashtbl.add macro2utf8 "ShortRightArrow" "â\134\146ï¸\128"
1659 let _ = Hashtbl.add macro2utf8 "NotCongruent" "â\137¢"
1660 let _ = Hashtbl.add macro2utf8 "Gg" "â\139\153"
1661 let _ = Hashtbl.add macro2utf8 "Lstrok" "Å\129"
1662 let _ = Hashtbl.add macro2utf8 "min" "max"
1663 let _ = Hashtbl.add macro2utf8 "Laplacetrf" "â\132\146"
1664 let _ = Hashtbl.add macro2utf8 "rarrap" "⥵"
1665 let _ = Hashtbl.add macro2utf8 "NotLessSlantEqual" "â\137°"
1666 let _ = Hashtbl.add macro2utf8 "DoubleRightArrow" "â\135\146"
1667 let _ = Hashtbl.add macro2utf8 "Wfr" "ð\157\148\154"
1668 let _ = Hashtbl.add macro2utf8 "subrarr" "⥹"
1669 let _ = Hashtbl.add macro2utf8 "numsp" "â\128\135"
1670 let _ = Hashtbl.add macro2utf8 "khcy" "Ñ\133"
1671 let _ = Hashtbl.add macro2utf8 "oint" "â\136®"
1672 let _ = Hashtbl.add macro2utf8 "oint" "â\136®"
1673 let _ = Hashtbl.add macro2utf8 "vprop" "â\136\157"
1674 let _ = Hashtbl.add macro2utf8 "hardcy" "Ñ\138"
1675 let _ = Hashtbl.add macro2utf8 "boxminus" "â\138\159"
1676 let _ = Hashtbl.add macro2utf8 "GreaterLess" "â\137·"
1677 let _ = Hashtbl.add macro2utf8 "thetav" "Ï\145"
1678 let _ = Hashtbl.add macro2utf8 "scE" "â\137¾"
1679 let _ = Hashtbl.add macro2utf8 "Gt" "â\137«"
1680 let _ = Hashtbl.add macro2utf8 "Acy" "Ð\144"
1681 let _ = Hashtbl.add macro2utf8 "backcong" "â\137\140"
1682 let _ = Hashtbl.add macro2utf8 "gtquest" "⩼"
1683 let _ = Hashtbl.add macro2utf8 "awint" "â¨\145"
1684 let _ = Hashtbl.add macro2utf8 "profsurf" "â\140\147"
1685 let _ = Hashtbl.add macro2utf8 "capdot" "â©\128"
1686 let _ = Hashtbl.add macro2utf8 "supdot" "⪾"
1687 let _ = Hashtbl.add macro2utf8 "oelig" "Å\147"
1688 let _ = Hashtbl.add macro2utf8 "doteqdot" "â\137\145"
1689 let _ = Hashtbl.add macro2utf8 "rharul" "⥬"
1690 let _ = Hashtbl.add macro2utf8 "cylcty" "â\140"
1691 let _ = Hashtbl.add macro2utf8 "epsi" "ε"
1692 let _ = Hashtbl.add macro2utf8 "eqcirc" "â\137\150"
1693 let _ = Hashtbl.add macro2utf8 "nLeftarrow" "â\135\141"
1694 let _ = Hashtbl.add macro2utf8 "rtrie" "â\138µ"
1695 let _ = Hashtbl.add macro2utf8 "para" "¶"
1696 let _ = Hashtbl.add macro2utf8 "Lfr" "ð\157\148\143"
1697 let _ = Hashtbl.add macro2utf8 "rtrif" "â\150¸"
1698 let _ = Hashtbl.add macro2utf8 "NotReverseElement" "â\136\140"
1699 let _ = Hashtbl.add macro2utf8 "emptyv" "â\136\133"
1700 let _ = Hashtbl.add macro2utf8 "nldr" "â\128¥"
1701 let _ = Hashtbl.add macro2utf8 "leqq" "â\137¦"
1702 let _ = Hashtbl.add macro2utf8 "CapitalDifferentialD" "â\133\133"
1703 let _ = Hashtbl.add macro2utf8 "supsetneqq" "â\138\139"
1704 let _ = Hashtbl.add macro2utf8 "boxDL" "â\149\151"
1705 let _ = Hashtbl.add macro2utf8 "Im" "â\132\145"
1706 let _ = Hashtbl.add macro2utf8 "Im" "â\132\145"
1707 let _ = Hashtbl.add macro2utf8 "sce" "â\137½"
1708 let _ = Hashtbl.add macro2utf8 "prsim" "â\137¾"
1709 let _ = Hashtbl.add macro2utf8 "diams" "â\153¦"
1710 let _ = Hashtbl.add macro2utf8 "gtreqqless" "â\139\155"
1711 let _ = Hashtbl.add macro2utf8 "boxDR" "â\149\148"
1712 let _ = Hashtbl.add macro2utf8 "vartriangleleft" "â\138²"
1713 let _ = Hashtbl.add macro2utf8 "Omega" "Ω"
1714 let _ = Hashtbl.add macro2utf8 "SupersetEqual" "â\138\135"
1715 let _ = Hashtbl.add macro2utf8 "Omega" "Ω"
1716 let _ = Hashtbl.add macro2utf8 "nsubseteqq" "â\138\136"
1717 let _ = Hashtbl.add macro2utf8 "Subset" "â\139\144"
1718 let _ = Hashtbl.add macro2utf8 "ncongdot" "⩭̸"
1719 let _ = Hashtbl.add macro2utf8 "minusb" "â\138\159"
1720 let _ = Hashtbl.add macro2utf8 "ltimes" "â\139\137"
1721 let _ = Hashtbl.add macro2utf8 "seswar" "⤩"
1722 let _ = Hashtbl.add macro2utf8 "part" "â\136\130"
1723 let _ = Hashtbl.add macro2utf8 "bumpE" "⪮"
1724 let _ = Hashtbl.add macro2utf8 "minusd" "â\136¸"
1725 let _ = Hashtbl.add macro2utf8 "Amacr" "Ä\128"
1726 let _ = Hashtbl.add macro2utf8 "nleq" "â\137°â\131¥"
1727 let _ = Hashtbl.add macro2utf8 "nles" "â\137°"
1728 let _ = Hashtbl.add macro2utf8 "NotLess" "â\137®"
1729 let _ = Hashtbl.add macro2utf8 "scy" "Ñ\129"
1730 let _ = Hashtbl.add macro2utf8 "iinfin" "â§\156"
1731 let _ = Hashtbl.add macro2utf8 "Afr" "ð\157\148\132"
1732 let _ = Hashtbl.add macro2utf8 "isinsv" "â\139³"
1733 let _ = Hashtbl.add macro2utf8 "prnE" "⪵"
1734 let _ = Hashtbl.add macro2utf8 "lesg" "â\139\154ï¸\128"
1735 let _ = Hashtbl.add macro2utf8 "cups" "â\136ªï¸\128"
1736 let _ = Hashtbl.add macro2utf8 "thickapprox" "â\137\136ï¸\128"
1737 let _ = Hashtbl.add macro2utf8 "RightTeeVector" "â¥\155"
1738 let _ = Hashtbl.add macro2utf8 "LowerLeftArrow" "â\134\153"
1739 let _ = Hashtbl.add macro2utf8 "bowtie" "â\139\136"
1740 let _ = Hashtbl.add macro2utf8 "utdot" "â\139°"
1741 let _ = Hashtbl.add macro2utf8 "homtht" "â\136»"
1742 let _ = Hashtbl.add macro2utf8 "ddotseq" "⩷"
1743 let _ = Hashtbl.add macro2utf8 "bowtie" "â\139\136"
1744 let _ = Hashtbl.add macro2utf8 "succnsim" "â\139©"
1745 let _ = Hashtbl.add macro2utf8 "boxDl" "â\149\150"
1746 let _ = Hashtbl.add macro2utf8 "quot" "\""
1747 let _ = Hashtbl.add macro2utf8 "lvnE" "â\137¨ï¸\128"
1748 let _ = Hashtbl.add macro2utf8 "CircleDot" "â\138\153"
1749 let _ = Hashtbl.add macro2utf8 "lsime" "âª\141"
1750 let _ = Hashtbl.add macro2utf8 "Yacute" "Ã\157"
1751 let _ = Hashtbl.add macro2utf8 "esdot" "â\137\144"
1752 let _ = Hashtbl.add macro2utf8 "Supset" "â\139\145"
1753 let _ = Hashtbl.add macro2utf8 "lsimg" "âª\143"
1754 let _ = Hashtbl.add macro2utf8 "eDot" "â\137\145"
1755 let _ = Hashtbl.add macro2utf8 "sec" "sec"
1756 let _ = Hashtbl.add macro2utf8 "boxDr" "â\149\147"
1757 let _ = Hashtbl.add macro2utf8 "ddagger" "â\128¡"
1758 let _ = Hashtbl.add macro2utf8 "plus" "+"
1759 let _ = Hashtbl.add macro2utf8 "ddagger" "â\128¡"
1760 let _ = Hashtbl.add macro2utf8 "Vdashl" "⫦"
1761 let _ = Hashtbl.add macro2utf8 "equest" "â\137\159"
1762 let _ = Hashtbl.add macro2utf8 "quest" "?"
1763 let _ = Hashtbl.add macro2utf8 "divideontimes" "â\139\135"
1764 let _ = Hashtbl.add macro2utf8 "nsmid" "â\136¤ï¸\128"
1765 let _ = Hashtbl.add macro2utf8 "fnof" "Æ\146"
1766 let _ = Hashtbl.add macro2utf8 "bumpe" "â\137\143"
1767 let _ = Hashtbl.add macro2utf8 "lhblk" "â\150\132"
1768 let _ = Hashtbl.add macro2utf8 "prnap" "â\139¨"
1769 let _ = Hashtbl.add macro2utf8 "compfn" "â\136\152"
1770 let _ = Hashtbl.add macro2utf8 "nsucceq" "⪰̸"
1771 let _ = Hashtbl.add macro2utf8 "RightArrowLeftArrow" "â\135\132"
1772 let _ = Hashtbl.add macro2utf8 "sharp" "â\153¯"
1773 let _ = Hashtbl.add macro2utf8 "sharp" "â\153¯"
1774 let _ = Hashtbl.add macro2utf8 "CHcy" "Ч"
1775 let _ = Hashtbl.add macro2utf8 "dwangle" "⦦"
1776 let _ = Hashtbl.add macro2utf8 "angrtvbd" "â¦\157"
1777 let _ = Hashtbl.add macro2utf8 "period" "."
1778 let _ = Hashtbl.add macro2utf8 "phone" "â\152\142"
1779 let _ = Hashtbl.add macro2utf8 "Eacute" "Ã\137"
1780 let _ = Hashtbl.add macro2utf8 "dzigrarr" "ï\150¢"
1781 let _ = Hashtbl.add macro2utf8 "Ll" "â\139\152"
1782 let _ = Hashtbl.add macro2utf8 "succapprox" "â\137¿"
1783 let _ = Hashtbl.add macro2utf8 "rarrfs" "â¤\158"
1784 let _ = Hashtbl.add macro2utf8 "dbkarow" "â¤\143"
1785 let _ = Hashtbl.add macro2utf8 "zeta" "ζ"
1786 let _ = Hashtbl.add macro2utf8 "zeta" "ζ"
1787 let _ = Hashtbl.add macro2utf8 "Lt" "â\137ª"
1788 let _ = Hashtbl.add macro2utf8 "triminus" "⨺"
1789 let _ = Hashtbl.add macro2utf8 "odiv" "⨸"
1790 let _ = Hashtbl.add macro2utf8 "ltrie" "â\138´"
1791 let _ = Hashtbl.add macro2utf8 "Dagger" "â\128¡"
1792 let _ = Hashtbl.add macro2utf8 "Dagger" "â\128¡"
1793 let _ = Hashtbl.add macro2utf8 "ltrif" "â\151\130"
1794 let _ = Hashtbl.add macro2utf8 "boxHD" "â\149¦"
1795 let _ = Hashtbl.add macro2utf8 "timesb" "â\138 "
1796 let _ = Hashtbl.add macro2utf8 "check" "â\156\147"
1797 let _ = Hashtbl.add macro2utf8 "urcorn" "â\140\157"
1798 let _ = Hashtbl.add macro2utf8 "timesd" "⨰"
1799 let _ = Hashtbl.add macro2utf8 "tshcy" "Ñ\155"
1800 let _ = Hashtbl.add macro2utf8 "sfr" "ð\157\148°"
1801 let _ = Hashtbl.add macro2utf8 "lmoust" "â\142°"
1802 let _ = Hashtbl.add macro2utf8 "ruluhar" "⥨"
1803 let _ = Hashtbl.add macro2utf8 "bne" "=â\131¥"
1804 let _ = Hashtbl.add macro2utf8 "prod" "â\136\143"
1805 let _ = Hashtbl.add macro2utf8 "prod" "â\136\143"
1806 let _ = Hashtbl.add macro2utf8 "Eopf" "ð\157\148¼"
1807 let _ = Hashtbl.add macro2utf8 "scsim" "â\137¿"
1808 let _ = Hashtbl.add macro2utf8 "GreaterEqualLess" "â\139\155"
1809 let _ = Hashtbl.add macro2utf8 "Igrave" "Ã\140"
1810 let _ = Hashtbl.add macro2utf8 "Longrightarrow" "â\135\146"
1811 let _ = Hashtbl.add macro2utf8 "Longrightarrow" "ï\149º"
1812 let _ = Hashtbl.add macro2utf8 "bigcap" "â\139\130"
1813 let _ = Hashtbl.add macro2utf8 "bigcap" "â\139\130"
1814 let _ = Hashtbl.add macro2utf8 "boxHU" "â\149©"
1815 let _ = Hashtbl.add macro2utf8 "uring" "ů"
1816 let _ = Hashtbl.add macro2utf8 "equivDD" "⩸"
1817 let _ = Hashtbl.add macro2utf8 "prop" "â\136\157"
1818 let _ = Hashtbl.add macro2utf8 "Lopf" "ð\157\149\131"
1819 let _ = Hashtbl.add macro2utf8 "ldrushar" "â¥\139"
1820 let _ = Hashtbl.add macro2utf8 "Leftarrow" "â\135\144"
1821 let _ = Hashtbl.add macro2utf8 "rarrhk" "â\134ª"
1822 let _ = Hashtbl.add macro2utf8 "Leftarrow" "â\135\144"
1823 let _ = Hashtbl.add macro2utf8 "lltri" "â\151º"
1824 let _ = Hashtbl.add macro2utf8 "NestedGreaterGreater" "â\137«"
1825 let _ = Hashtbl.add macro2utf8 "GreaterFullEqual" "â\137§"
1826 let _ = Hashtbl.add macro2utf8 "robrk" "ã\128\155"
1827 let _ = Hashtbl.add macro2utf8 "larrsim" "⥳"
1828 let _ = Hashtbl.add macro2utf8 "boxHd" "â\149¤"
1829 let _ = Hashtbl.add macro2utf8 "vDash" "â\138¨"
1830 let _ = Hashtbl.add macro2utf8 "hfr" "ð\157\148¥"
1831 let _ = Hashtbl.add macro2utf8 "Edot" "Ä\150"
1832 let _ = Hashtbl.add macro2utf8 "Vvdash" "â\138ª"
1833 let _ = Hashtbl.add macro2utf8 "Sopf" "ð\157\149\138"
1834 let _ = Hashtbl.add macro2utf8 "upuparrows" "â\135\136"
1835 let _ = Hashtbl.add macro2utf8 "RightUpTeeVector" "â¥\156"
1836 let _ = Hashtbl.add macro2utf8 "DownLeftVector" "â\134½"
1837 let _ = Hashtbl.add macro2utf8 "xhArr" "ï\149»"
1838 let _ = Hashtbl.add macro2utf8 "triplus" "⨹"
1839 let _ = Hashtbl.add macro2utf8 "bot" "â\138¥"
1840 let _ = Hashtbl.add macro2utf8 "bot" "â\138¥"
1841 let _ = Hashtbl.add macro2utf8 "Rcy" "Р"
1842 let _ = Hashtbl.add macro2utf8 "eDDot" "⩷"
1843 let _ = Hashtbl.add macro2utf8 "subseteqq" "â\138\134"
1844 let _ = Hashtbl.add macro2utf8 "cirfnint" "â¨\144"
1845 let _ = Hashtbl.add macro2utf8 "spadesuit" "â\153 "
1846 let _ = Hashtbl.add macro2utf8 "spadesuit" "â\153 "
1847 let _ = Hashtbl.add macro2utf8 "nacute" "Å\132"
1848 let _ = Hashtbl.add macro2utf8 "Zopf" "â\132¤"
1849 let _ = Hashtbl.add macro2utf8 "upharpoonleft" "â\134¿"
1850 let _ = Hashtbl.add macro2utf8 "shy" ""
1851 let _ = Hashtbl.add macro2utf8 "nparsl" "â\136¥ï¸\128â\131¥"
1852 let _ = Hashtbl.add macro2utf8 "boxHu" "â\149§"
1853 let _ = Hashtbl.add macro2utf8 "ThickSpace" "â\128\137â\128\138â\128\138"
1854 let _ = Hashtbl.add macro2utf8 "Or" "â©\148"
1855 let _ = Hashtbl.add macro2utf8 "raemptyv" "⦳"
1856 let _ = Hashtbl.add macro2utf8 "Aogon" "Ä\132"
1857 let _ = Hashtbl.add macro2utf8 "IEcy" "Ð\149"
1858 let _ = Hashtbl.add macro2utf8 "sim" "â\136¼"
1859 let _ = Hashtbl.add macro2utf8 "sim" "â\136¼"
1860 let _ = Hashtbl.add macro2utf8 "sin" "sin"
1861 let _ = Hashtbl.add macro2utf8 "copysr" "â\132\151"
1862 let _ = Hashtbl.add macro2utf8 "scnap" "â\139©"
1863 let _ = Hashtbl.add macro2utf8 "rdquo" "â\128\157"
1864 let _ = Hashtbl.add macro2utf8 "aopf" "ð\157\149\146"
1865 let _ = Hashtbl.add macro2utf8 "Pi" "Π"
1866 let _ = Hashtbl.add macro2utf8 "Pi" "Π"
1867 let _ = Hashtbl.add macro2utf8 "Udblac" "Ű"
1868 let _ = Hashtbl.add macro2utf8 "expectation" "â\132°"
1869 let _ = Hashtbl.add macro2utf8 "Zacute" "Ź"
1870 let _ = Hashtbl.add macro2utf8 "urtri" "â\151¹"
1871 let _ = Hashtbl.add macro2utf8 "Gamma" "Î\147"
1872 let _ = Hashtbl.add macro2utf8 "NotTildeEqual" "â\137\132"
1873 let _ = Hashtbl.add macro2utf8 "ncedil" "Å\134"
1874 let _ = Hashtbl.add macro2utf8 "Gamma" "Î\147"
1875 let _ = Hashtbl.add macro2utf8 "ecirc" "ê"
1876 let _ = Hashtbl.add macro2utf8 "dsol" "⧶"
1877 let _ = Hashtbl.add macro2utf8 "Gcy" "Ð\147"
1878 let _ = Hashtbl.add macro2utf8 "Pr" "Pr"
1879 let _ = Hashtbl.add macro2utf8 "Pr" "⪻"
1880 let _ = Hashtbl.add macro2utf8 "Zdot" "Ż"
1881 let _ = Hashtbl.add macro2utf8 "mnplus" "â\136\147"
1882 let _ = Hashtbl.add macro2utf8 "hopf" "ð\157\149\153"
1883 let _ = Hashtbl.add macro2utf8 "blacktriangledown" "â\150¾"
1884 let _ = Hashtbl.add macro2utf8 "LeftCeiling" "â\140\136"
1885 let _ = Hashtbl.add macro2utf8 "searrow" "â\134\152"
1886 let _ = Hashtbl.add macro2utf8 "ulcorn" "â\140\156"
1887 let _ = Hashtbl.add macro2utf8 "searrow" "â\134\152"
1888 let _ = Hashtbl.add macro2utf8 "GreaterGreater" "⪢"
1889 let _ = Hashtbl.add macro2utf8 "Fscr" "â\132±"
1890 let _ = Hashtbl.add macro2utf8 "cupcup" "â©\138"
1891 let _ = Hashtbl.add macro2utf8 "NotEqual" "â\137 "
1892 let _ = Hashtbl.add macro2utf8 "sext" "â\156¶"
1893 let _ = Hashtbl.add macro2utf8 "CirclePlus" "â\138\149"
1894 let _ = Hashtbl.add macro2utf8 "erarr" "⥱"
1895 let _ = Hashtbl.add macro2utf8 "dArr" "â\135\147"
1896 let _ = Hashtbl.add macro2utf8 "PrecedesSlantEqual" "â\137¼"
1897 let _ = Hashtbl.add macro2utf8 "Itilde" "Ĩ"
1898 let _ = Hashtbl.add macro2utf8 "gesdoto" "âª\130"
1899 let _ = Hashtbl.add macro2utf8 "Rang" "ã\128\139"
1900 let _ = Hashtbl.add macro2utf8 "nwarhk" "⤣"
1901 let _ = Hashtbl.add macro2utf8 "minusdu" "⨪"
1902 let _ = Hashtbl.add macro2utf8 "oopf" "ð\157\149 "
1903 let _ = Hashtbl.add macro2utf8 "Mscr" "â\132³"
1904 let _ = Hashtbl.add macro2utf8 "Rfr" "â\132\156"
1905 let _ = Hashtbl.add macro2utf8 "langle" "â\140©"
1906 let _ = Hashtbl.add macro2utf8 "langle" "â\140©"
1907 let _ = Hashtbl.add macro2utf8 "And" "â©\147"
1908 let _ = Hashtbl.add macro2utf8 "bprime" "â\128µ"
1909 let _ = Hashtbl.add macro2utf8 "nLeftrightarrow" "â\135\142"
1910 let _ = Hashtbl.add macro2utf8 "Re" "â\132\156"
1911 let _ = Hashtbl.add macro2utf8 "Re" "â\132\156"
1912 let _ = Hashtbl.add macro2utf8 "OpenCurlyQuote" "â\128\152"
1913 let _ = Hashtbl.add macro2utf8 "vopf" "ð\157\149§"
1914 let _ = Hashtbl.add macro2utf8 "ulcorner" "â\140\156"
1915 let _ = Hashtbl.add macro2utf8 "nap" "â\137\137"
1916 let _ = Hashtbl.add macro2utf8 "Tscr" "ð\157\146¯"
1917 let _ = Hashtbl.add macro2utf8 "gtreqless" "â\139\155"
1918 let _ = Hashtbl.add macro2utf8 "Lambda" "Î\155"
1919 let _ = Hashtbl.add macro2utf8 "rarrlp" "â\134¬"
1920 let _ = Hashtbl.add macro2utf8 "Lambda" "Î\155"
1921 let _ = Hashtbl.add macro2utf8 "lobrk" "ã\128\154"
1922 let _ = Hashtbl.add macro2utf8 "rbrace" "}"
1923 let _ = Hashtbl.add macro2utf8 "rbrace" "}"
1924 let _ = Hashtbl.add macro2utf8 "rArr" "â\135\146"
1925 let _ = Hashtbl.add macro2utf8 "coloneq" "â\137\148"
1926 let _ = Hashtbl.add macro2utf8 "odot" "â\138\153"
1927 let _ = Hashtbl.add macro2utf8 "UpArrow" "â\134\145"
1928 let _ = Hashtbl.add macro2utf8 "odot" "â\138\153"
1929 let _ = Hashtbl.add macro2utf8 "LeftDownTeeVector" "⥡"
1930 let _ = Hashtbl.add macro2utf8 "complexes" "â\132\130"
1931 let _ = Hashtbl.add macro2utf8 "rbrack" "]"
1932 let _ = Hashtbl.add macro2utf8 "rbrack" "]"
1933 let _ = Hashtbl.add macro2utf8 "DownTeeArrow" "â\134§"
1934 let _ = Hashtbl.add macro2utf8 "sqcap" "â\138\147"
1935 let _ = Hashtbl.add macro2utf8 "sqcap" "â\138\147"
1936 let _ = Hashtbl.add macro2utf8 "Sc" "⪼"
1937 let _ = Hashtbl.add macro2utf8 "ycy" "Ñ\139"
1938 let _ = Hashtbl.add macro2utf8 "Prime" "â\128³"
1939 let _ = Hashtbl.add macro2utf8 "Gfr" "ð\157\148\138"
1940 let _ = Hashtbl.add macro2utf8 "trianglerighteq" "â\138µ"
1941 let _ = Hashtbl.add macro2utf8 "rangd" "â¦\146"
1942 let _ = Hashtbl.add macro2utf8 "gtrdot" "â\139\151"
1943 let _ = Hashtbl.add macro2utf8 "range" "⦥"
1944 let _ = Hashtbl.add macro2utf8 "rsqb" "]"
1945 let _ = Hashtbl.add macro2utf8 "Euml" "Ã\139"
1946 let _ = Hashtbl.add macro2utf8 "Therefore" "â\136´"
1947 let _ = Hashtbl.add macro2utf8 "nesim" "â\137\130Ì¸"
1948 let _ = Hashtbl.add macro2utf8 "order" "â\132´"
1949 let _ = Hashtbl.add macro2utf8 "vsupnE" "â\138\139ï¸\128"
1950 let _ = Hashtbl.add macro2utf8 "awconint" "â\136³"
1951 let _ = Hashtbl.add macro2utf8 "bscr" "ð\157\146·"
1952 let _ = Hashtbl.add macro2utf8 "lesseqqgtr" "â\139\154"
1953 let _ = Hashtbl.add macro2utf8 "cap" "â\136©"
1954 let _ = Hashtbl.add macro2utf8 "cap" "â\136©"
1955 let _ = Hashtbl.add macro2utf8 "ldquo" "â\128\156"
1956 let _ = Hashtbl.add macro2utf8 "nsubseteq" "â\138\136"
1957 let _ = Hashtbl.add macro2utf8 "rhov" "ϱ"
1958 let _ = Hashtbl.add macro2utf8 "xvee" "â\139\129"
1959 let _ = Hashtbl.add macro2utf8 "olarr" "â\134º"
1960 let _ = Hashtbl.add macro2utf8 "nang" "â\136 Ì¸"
1961 let _ = Hashtbl.add macro2utf8 "uwangle" "⦧"
1962 let _ = Hashtbl.add macro2utf8 "nlsim" "â\137´"
1963 let _ = Hashtbl.add macro2utf8 "smt" "⪪"
1964 let _ = Hashtbl.add macro2utf8 "nVdash" "â\138®"
1965 let _ = Hashtbl.add macro2utf8 "napE" "⩰̸"
1966 let _ = Hashtbl.add macro2utf8 "ngeq" "â\137±â\131¥"
1967 let _ = Hashtbl.add macro2utf8 "iscr" "ð\157\146¾"
1968 let _ = Hashtbl.add macro2utf8 "GJcy" "Ð\131"
1969 let _ = Hashtbl.add macro2utf8 "nges" "â\137±"
1970 let _ = Hashtbl.add macro2utf8 "exist" "â\136\131"
1971 let _ = Hashtbl.add macro2utf8 "cent" "¢"
1972 let _ = Hashtbl.add macro2utf8 "oacute" "ó"
1973 let _ = Hashtbl.add macro2utf8 "Darr" "â\134¡"
1974 let _ = Hashtbl.add macro2utf8 "yen" "¥"
1975 let _ = Hashtbl.add macro2utf8 "bigcirc" "â\151¯"
1976 let _ = Hashtbl.add macro2utf8 "bigcirc" "â\151¯"
1977 let _ = Hashtbl.add macro2utf8 "ncy" "н"
1978 let _ = Hashtbl.add macro2utf8 "midast" "*"
1979 let _ = Hashtbl.add macro2utf8 "UpperRightArrow" "â\134\151"
1980 let _ = Hashtbl.add macro2utf8 "precnapprox" "â\139¨"
1981 let _ = Hashtbl.add macro2utf8 "OElig" "Å\146"
1982 let _ = Hashtbl.add macro2utf8 "hybull" "â\129\131"
1983 let _ = Hashtbl.add macro2utf8 "cupbrcap" "â©\136"
1984 let _ = Hashtbl.add macro2utf8 "rationals" "â\132\154"
1985 let _ = Hashtbl.add macro2utf8 "VerticalTilde" "â\137\128"
1986 let _ = Hashtbl.add macro2utf8 "pscr" "ð\157\147\133"
1987 let _ = Hashtbl.add macro2utf8 "NJcy" "Ð\138"
1988 let _ = Hashtbl.add macro2utf8 "NotSucceedsTilde" "â\137¿Ì¸"
1989 let _ = Hashtbl.add macro2utf8 "vsupne" "â\138\139ï¸\128"
1990 let _ = Hashtbl.add macro2utf8 "Updownarrow" "â\135\149"
1991 let _ = Hashtbl.add macro2utf8 "Lsh" "â\134°"
1992 let _ = Hashtbl.add macro2utf8 "rAarr" "â\135\155"
1993 let _ = Hashtbl.add macro2utf8 "precapprox" "â\137¾"
1994 let _ = Hashtbl.add macro2utf8 "rsquor" "â\128\153"
1995 let _ = Hashtbl.add macro2utf8 "pound" "£"
1996 let _ = Hashtbl.add macro2utf8 "lbrksld" "â¦\143"
1997 let _ = Hashtbl.add macro2utf8 "gesdot" "âª\128"
1998 let _ = Hashtbl.add macro2utf8 "Element" "â\136\136"
1999 let _ = Hashtbl.add macro2utf8 "xcirc" "â\151¯"
2000 let _ = Hashtbl.add macro2utf8 "wscr" "ð\157\147\140"
2001 let _ = Hashtbl.add macro2utf8 "toea" "⤨"
2002 let _ = Hashtbl.add macro2utf8 "setmn" "â\136\150"
2003 let _ = Hashtbl.add macro2utf8 "neg" "¬"
2004 let _ = Hashtbl.add macro2utf8 "sol" "/"
2005 let _ = Hashtbl.add macro2utf8 "yfr" "ð\157\148¶"
2006 let _ = Hashtbl.add macro2utf8 "DoubleDownArrow" "â\135\147"
2007 let _ = Hashtbl.add macro2utf8 "Rarr" "â\134 "
2008 let _ = Hashtbl.add macro2utf8 "ngE" "â\137±"
2009 let _ = Hashtbl.add macro2utf8 "Upsi" "Ï\146"
2010 let _ = Hashtbl.add macro2utf8 "opar" "⦷"
2011 let _ = Hashtbl.add macro2utf8 "rarrpl" "â¥\133"
2012 let _ = Hashtbl.add macro2utf8 "auml" "ä"
2013 let _ = Hashtbl.add macro2utf8 "bmod" "mod"
2014 let _ = Hashtbl.add macro2utf8 "SquareSuperset" "â\138\144"
2015 let _ = Hashtbl.add macro2utf8 "circleddash" "â\138\157"
2016 let _ = Hashtbl.add macro2utf8 "xrarr" "ï\149·"
2017 let _ = Hashtbl.add macro2utf8 "barwed" "â\138¼"
2018 let _ = Hashtbl.add macro2utf8 "lbrkslu" "â¦\141"
2019 let _ = Hashtbl.add macro2utf8 "planckh" "â\132\142"
2020 let _ = Hashtbl.add macro2utf8 "ldrdhar" "⥧"
2021 let _ = Hashtbl.add macro2utf8 "circledcirc" "â\138\154"
2022 let _ = Hashtbl.add macro2utf8 "ctdot" "â\139¯"
2023 let _ = Hashtbl.add macro2utf8 "fallingdotseq" "â\137\146"
2024 let _ = Hashtbl.add macro2utf8 "Map" "â¤\133"
2025 let _ = Hashtbl.add macro2utf8 "VerticalBar" "â\136£"
2026 let _ = Hashtbl.add macro2utf8 "succeq" "â\137½"
2027 let _ = Hashtbl.add macro2utf8 "succeq" "â\137½"
2028 let _ = Hashtbl.add macro2utf8 "tint" "â\136"
2029 let _ = Hashtbl.add macro2utf8 "imof" "â\138·"
2030 let _ = Hashtbl.add macro2utf8 "diam" "â\139\132"
2031 let _ = Hashtbl.add macro2utf8 "twixt" "â\137¬"
2032 let _ = Hashtbl.add macro2utf8 "NoBreak" ""
2033 let _ = Hashtbl.add macro2utf8 "langd" "â¦\145"
2034 let _ = Hashtbl.add macro2utf8 "Bernoullis" "â\132¬"
2035 let _ = Hashtbl.add macro2utf8 "rcaron" "Å\153"
2036 let _ = Hashtbl.add macro2utf8 "hom" "hom"
2037 let _ = Hashtbl.add macro2utf8 "nfr" "ð\157\148«"
2038 let _ = Hashtbl.add macro2utf8 "backsimeq" "â\139\141"
2039 let _ = Hashtbl.add macro2utf8 "target" "â\140\150"
2040 let _ = Hashtbl.add macro2utf8 "ouml" "ö"
2041 let _ = Hashtbl.add macro2utf8 "nge" "â\137±â\131¥"
2042 let _ = Hashtbl.add macro2utf8 "LeftTriangleBar" "â§\143"
2043 let _ = Hashtbl.add macro2utf8 "subplus" "⪿"
2044 let _ = Hashtbl.add macro2utf8 "parsim" "⫳"
2045 let _ = Hashtbl.add macro2utf8 "Gcedil" "Ģ"
2046 let _ = Hashtbl.add macro2utf8 "bnequiv" "â\137¡â\131¥"
2047 let _ = Hashtbl.add macro2utf8 "ubreve" "ŭ"
2048 let _ = Hashtbl.add macro2utf8 "iexcl" "¡"
2049 let _ = Hashtbl.add macro2utf8 "Xi" "Î\158"
2050 let _ = Hashtbl.add macro2utf8 "omega" "Ï\137"
2051 let _ = Hashtbl.add macro2utf8 "Xi" "Î\158"
2052 let _ = Hashtbl.add macro2utf8 "omega" "Ï\137"
2053 let _ = Hashtbl.add macro2utf8 "elsdot" "âª\151"
2054 let _ = Hashtbl.add macro2utf8 "propto" "â\136\157"
2055 let _ = Hashtbl.add macro2utf8 "propto" "â\136\157"
2056 let _ = Hashtbl.add macro2utf8 "squ" "â\150¡"
2057 let _ = Hashtbl.add macro2utf8 "Ycirc" "Ŷ"
2058 let _ = Hashtbl.add macro2utf8 "amacr" "Ä\129"
2059 let _ = Hashtbl.add macro2utf8 "curlyeqprec" "â\139\158"
2060 let _ = Hashtbl.add macro2utf8 "ngt" "â\137¯"
2061 let _ = Hashtbl.add macro2utf8 "plusdo" "â\136\148"
2062 let _ = Hashtbl.add macro2utf8 "ngeqslant" "â\137±"
2063 let _ = Hashtbl.add macro2utf8 "LongRightArrow" "ï\149·"
2064 let _ = Hashtbl.add macro2utf8 "LeftUpVector" "â\134¿"
2065 let _ = Hashtbl.add macro2utf8 "asymp" "â\137\141"
2066 let _ = Hashtbl.add macro2utf8 "asymp" "â\137\141"
2067 let _ = Hashtbl.add macro2utf8 "imped" "ð\157\149\131"
2068 let _ = Hashtbl.add macro2utf8 "tritime" "⨻"
2069 let _ = Hashtbl.add macro2utf8 "rpargt" "â¦\148"
2070 let _ = Hashtbl.add macro2utf8 "DDotrahd" "â¤\145"
2071 let _ = Hashtbl.add macro2utf8 "prnsim" "â\139¨"
2072 let _ = Hashtbl.add macro2utf8 "plusdu" "⨥"
2073 let _ = Hashtbl.add macro2utf8 "cfr" "ð\157\148 "
2074 let _ = Hashtbl.add macro2utf8 "abreve" "Ä\131"
2075 let _ = Hashtbl.add macro2utf8 "suphsol" "â\138\131/"
2076 let _ = Hashtbl.add macro2utf8 "NegativeThickSpace" "â\128\133ï¸\128"
2077 let _ = Hashtbl.add macro2utf8 "Mcy" "Ð\156"
2078 let _ = Hashtbl.add macro2utf8 "uarr" "â\134\145"
2079 let _ = Hashtbl.add macro2utf8 "LeftRightVector" "â¥\142"
2080 let _ = Hashtbl.add macro2utf8 "lAarr" "â\135\154"
2081 let _ = Hashtbl.add macro2utf8 "bsim" "â\136½"
2082 let _ = Hashtbl.add macro2utf8 "simrarr" "⥲"
2083 let _ = Hashtbl.add macro2utf8 "otimes" "â\138\151"
2084 let _ = Hashtbl.add macro2utf8 "otimes" "â\138\151"
2085 let _ = Hashtbl.add macro2utf8 "NotSucceeds" "â\138\129"
2086 let _ = Hashtbl.add macro2utf8 "Cross" "⨯"
2087 let _ = Hashtbl.add macro2utf8 "downarrow" "â\134\147"
2088 let _ = Hashtbl.add macro2utf8 "downarrow" "â\134\147"
2089 let _ = Hashtbl.add macro2utf8 "blacktriangle" "â\150´"
2090 let _ = Hashtbl.add macro2utf8 "TripleDot" "â\131\155"
2091 let _ = Hashtbl.add macro2utf8 "smallsetminus" "â\136\150ï¸\128"
2092 let _ = Hashtbl.add macro2utf8 "supedot" "â«\132"
2093 let _ = Hashtbl.add macro2utf8 "NotPrecedesSlantEqual" "â\139 "
2094 let _ = Hashtbl.add macro2utf8 "neArr" "â\135\151"
2095 let _ = Hashtbl.add macro2utf8 "rarrtl" "â\134£"
2096 let _ = Hashtbl.add macro2utf8 "isin" "â\136\136"
2097 let _ = Hashtbl.add macro2utf8 "rrarr" "â\135\137"
2098 let _ = Hashtbl.add macro2utf8 "Upsilon" "Ï\146"
2099 let _ = Hashtbl.add macro2utf8 "Upsilon" "Ï\146"
2100 let _ = Hashtbl.add macro2utf8 "sqsub" "â\138\143"
2101 let _ = Hashtbl.add macro2utf8 "boxUL" "â\149\157"
2102 let _ = Hashtbl.add macro2utf8 "LessTilde" "â\137²"
2103 let _ = Hashtbl.add macro2utf8 "chi" "Ï\135"
2104 let _ = Hashtbl.add macro2utf8 "Xfr" "ð\157\148\155"
2105 let _ = Hashtbl.add macro2utf8 "nis" "â\139¼"
2106 let _ = Hashtbl.add macro2utf8 "chi" "Ï\135"
2107 let _ = Hashtbl.add macro2utf8 "DownRightVector" "â\135\129"
2108 let _ = Hashtbl.add macro2utf8 "niv" "â\136\139"
2109 let _ = Hashtbl.add macro2utf8 "boxUR" "â\149\154"
2110 let _ = Hashtbl.add macro2utf8 "nlArr" "â\135\141"
2111 let _ = Hashtbl.add macro2utf8 "Bcy" "Ð\145"
2112 let _ = Hashtbl.add macro2utf8 "tan" "tan"
2113 let _ = Hashtbl.add macro2utf8 "EmptyVerySmallSquare" "ï\150\156"
2114 let _ = Hashtbl.add macro2utf8 "dstrok" "Ä\145"
2115 let _ = Hashtbl.add macro2utf8 "rfisht" "⥽"
2116 let _ = Hashtbl.add macro2utf8 "easter" "â\137\155"
2117 let _ = Hashtbl.add macro2utf8 "nlE" "â\137°"
2118 let _ = Hashtbl.add macro2utf8 "Mellintrf" "â\132³"
2119 let _ = Hashtbl.add macro2utf8 "lotimes" "⨴"
2120 let _ = Hashtbl.add macro2utf8 "sqsup" "â\138\144"
2121 let _ = Hashtbl.add macro2utf8 "boxVH" "â\149¬"
2122 let _ = Hashtbl.add macro2utf8 "bbrk" "â\142µ"
2123 let _ = Hashtbl.add macro2utf8 "tau" "Ï\132"
2124 let _ = Hashtbl.add macro2utf8 "tau" "Ï\132"
2125 let _ = Hashtbl.add macro2utf8 "sub" "â\138\130"
2126 let _ = Hashtbl.add macro2utf8 "UpTee" "â\138¥"
2127 let _ = Hashtbl.add macro2utf8 "NotLeftTriangleBar" "â§\143Ì¸"
2128 let _ = Hashtbl.add macro2utf8 "boxVL" "â\149£"
2129 let _ = Hashtbl.add macro2utf8 "equiv" "â\137¡"
2130 let _ = Hashtbl.add macro2utf8 "Proportion" "â\136·"
2131 let _ = Hashtbl.add macro2utf8 "equiv" "â\137¡"
2132 let _ = Hashtbl.add macro2utf8 "blk12" "â\150\146"
2133 let _ = Hashtbl.add macro2utf8 "blk14" "â\150\145"
2134 let _ = Hashtbl.add macro2utf8 "fpartint" "â¨\141"
2135 let _ = Hashtbl.add macro2utf8 "boxVR" "â\149 "
2136 let _ = Hashtbl.add macro2utf8 "starf" "â\152\133"
2137 let _ = Hashtbl.add macro2utf8 "risingdotseq" "â\137\147"
2138 let _ = Hashtbl.add macro2utf8 "Equilibrium" "â\135\140"
2139 let _ = Hashtbl.add macro2utf8 "ijlig" "ĳ"
2140 let _ = Hashtbl.add macro2utf8 "yicy" "Ñ\151"
2141 let _ = Hashtbl.add macro2utf8 "sum" "â\136\145"
2142 let _ = Hashtbl.add macro2utf8 "sum" "â\136\145"
2143 let _ = Hashtbl.add macro2utf8 "cir" "â\151\139"
2144 let _ = Hashtbl.add macro2utf8 "telrec" "â\140\149"
2145 let _ = Hashtbl.add macro2utf8 "Mfr" "ð\157\148\144"
2146 let _ = Hashtbl.add macro2utf8 "dHar" "⥥"
2147 let _ = Hashtbl.add macro2utf8 "sup" "â\138\131"
2148 let _ = Hashtbl.add macro2utf8 "boxUl" "â\149\156"
2149 let _ = Hashtbl.add macro2utf8 "apid" "â\137\139"
2150 let _ = Hashtbl.add macro2utf8 "nleftarrow" "â\134\154"
2151 let _ = Hashtbl.add macro2utf8 "curarrm" "⤼"
2152 let _ = Hashtbl.add macro2utf8 "Scirc" "Å\156"
2153 let _ = Hashtbl.add macro2utf8 "Copf" "â\132\130"
2154 let _ = Hashtbl.add macro2utf8 "RightTriangleEqual" "â\138µ"
2155 let _ = Hashtbl.add macro2utf8 "boxUr" "â\149\153"
2156 let _ = Hashtbl.add macro2utf8 "loplus" "⨭"
2157 let _ = Hashtbl.add macro2utf8 "varsupsetneq" "â\138\139ï¸\128"
2158 let _ = Hashtbl.add macro2utf8 "scaron" "š"
2159 let _ = Hashtbl.add macro2utf8 "Diamond" "â\139\132"
2160 let _ = Hashtbl.add macro2utf8 "lowast" "â\136\151"
2161 let _ = Hashtbl.add macro2utf8 "nle" "â\137°â\131¥"
2162 let _ = Hashtbl.add macro2utf8 "phiv" "Ï\149"
2163 let _ = Hashtbl.add macro2utf8 "gesdotol" "âª\132"
2164 let _ = Hashtbl.add macro2utf8 "boxVh" "â\149«"
2165 let _ = Hashtbl.add macro2utf8 "nleftrightarrow" "â\134®"
2166 let _ = Hashtbl.add macro2utf8 "Jopf" "ð\157\149\129"
2167 let _ = Hashtbl.add macro2utf8 "boxVl" "â\149¢"
2168 let _ = Hashtbl.add macro2utf8 "nearhk" "⤤"
2169 let _ = Hashtbl.add macro2utf8 "vBarv" "⫩"
2170 let _ = Hashtbl.add macro2utf8 "rHar" "⥤"
2171 let _ = Hashtbl.add macro2utf8 "boxVr" "â\149\159"
2172 let _ = Hashtbl.add macro2utf8 "Delta" "Î\148"
2173 let _ = Hashtbl.add macro2utf8 "lessdot" "â\139\150"
2174 let _ = Hashtbl.add macro2utf8 "LeftDoubleBracket" "ã\128\154"
2175 let _ = Hashtbl.add macro2utf8 "Delta" "Î\148"
2176 let _ = Hashtbl.add macro2utf8 "limsup" "limsup"
2177 let _ = Hashtbl.add macro2utf8 "tcy" "Ñ\130"
2178 let _ = Hashtbl.add macro2utf8 "nlt" "â\137®"
2179 let _ = Hashtbl.add macro2utf8 "Cdot" "Ä\138"
2180 let _ = Hashtbl.add macro2utf8 "blk34" "â\150\147"
2181 let _ = Hashtbl.add macro2utf8 "Bfr" "ð\157\148\133"
2182 let _ = Hashtbl.add macro2utf8 "lowbar" "_"
2183 let _ = Hashtbl.add macro2utf8 "lneqq" "â\137¨"
2184 let _ = Hashtbl.add macro2utf8 "TildeEqual" "â\137\131"
2185 let _ = Hashtbl.add macro2utf8 "shortmid" "â\136£ï¸\128"
2186 let _ = Hashtbl.add macro2utf8 "Qopf" "â\132\154"
2187 let _ = Hashtbl.add macro2utf8 "drcorn" "â\140\159"
2188 let _ = Hashtbl.add macro2utf8 "ZeroWidthSpace" "â\128\139"
2189 let _ = Hashtbl.add macro2utf8 "aogon" "Ä\133"
2190 let _ = Hashtbl.add macro2utf8 "Rsh" "â\134±"
2191 let _ = Hashtbl.add macro2utf8 "lrarr" "â\135\134"
2192 let _ = Hashtbl.add macro2utf8 "cupdot" "â\138\141"
2193 let _ = Hashtbl.add macro2utf8 "Xopf" "ð\157\149\143"
2194 let _ = Hashtbl.add macro2utf8 "Backslash" "â\136\150"
2195 let _ = Hashtbl.add macro2utf8 "Union" "â\139\131"
2196 let _ = Hashtbl.add macro2utf8 "ratio" "â\136¶"
2197 let _ = Hashtbl.add macro2utf8 "duarr" "â\135µ"
2198 let _ = Hashtbl.add macro2utf8 "lates" "âªï¸\128"
2199 let _ = Hashtbl.add macro2utf8 "suphsub" "â«\151"
2200 let _ = Hashtbl.add macro2utf8 "gamma" "γ"
2201 let _ = Hashtbl.add macro2utf8 "squf" "â\150ª"
2202 let _ = Hashtbl.add macro2utf8 "gamma" "γ"
2203 let _ = Hashtbl.add macro2utf8 "lrhard" "⥭"
2204 let _ = Hashtbl.add macro2utf8 "intprod" "⨼"
2205 let _ = Hashtbl.add macro2utf8 "ReverseUpEquilibrium" "⥯"
2206 let _ = Hashtbl.add macro2utf8 "icy" "и"
2207 let _ = Hashtbl.add macro2utf8 "quatint" "â¨\150"
2208 let _ = Hashtbl.add macro2utf8 "nbump" "â\137\142Ì¸"
2209 let _ = Hashtbl.add macro2utf8 "downharpoonleft" "â\135\131"
2210 let _ = Hashtbl.add macro2utf8 "otimesas" "⨶"
2211 let _ = Hashtbl.add macro2utf8 "nvHarr" "â\135\142"
2212 let _ = Hashtbl.add macro2utf8 "ContourIntegral" "â\136®"
2213 let _ = Hashtbl.add macro2utf8 "bsol" "\\"
2214 let _ = Hashtbl.add macro2utf8 "DoubleUpDownArrow" "â\135\149"
2215 let _ = Hashtbl.add macro2utf8 "disin" "â\139²"
2216 let _ = Hashtbl.add macro2utf8 "Breve" "Ë\152"
2217 let _ = Hashtbl.add macro2utf8 "YAcy" "Я"
2218 let _ = Hashtbl.add macro2utf8 "precsim" "â\137¾"
2219 let _ = Hashtbl.add macro2utf8 "NotGreaterGreater" "â\137«Ì¸ï¸\128"
2220 let _ = Hashtbl.add macro2utf8 "fopf" "ð\157\149\151"
2221 let _ = Hashtbl.add macro2utf8 "SquareSupersetEqual" "â\138\146"
2222 let _ = Hashtbl.add macro2utf8 "Dscr" "ð\157\146\159"
2223 let _ = Hashtbl.add macro2utf8 "gsime" "âª\142"
2224 let _ = Hashtbl.add macro2utf8 "PartialD" "â\136\130"
2225 let _ = Hashtbl.add macro2utf8 "Umacr" "Ū"
2226 let _ = Hashtbl.add macro2utf8 "tfr" "ð\157\148±"
2227 let _ = Hashtbl.add macro2utf8 "cularrp" "⤽"
2228 let _ = Hashtbl.add macro2utf8 "UnderBracket" "â\142µ"
2229 let _ = Hashtbl.add macro2utf8 "ugrave" "ù"
2230 let _ = Hashtbl.add macro2utf8 "mopf" "ð\157\149\158"
2231 let _ = Hashtbl.add macro2utf8 "gsiml" "âª\144"
2232 let _ = Hashtbl.add macro2utf8 "iquest" "¿"
2233 let _ = Hashtbl.add macro2utf8 "nmid" "â\136¤"
2234 let _ = Hashtbl.add macro2utf8 "leftarrowtail" "â\134¢"
2235 let _ = Hashtbl.add macro2utf8 "not" "¬"
2236 let _ = Hashtbl.add macro2utf8 "Kscr" "ð\157\146¦"
2237 let _ = Hashtbl.add macro2utf8 "xsqcup" "â\138\148"
2238 let _ = Hashtbl.add macro2utf8 "triangleleft" "â\151\131"
2239 let _ = Hashtbl.add macro2utf8 "triangleleft" "â\151\131"
2240 let _ = Hashtbl.add macro2utf8 "amalg" "⨿"
2241 let _ = Hashtbl.add macro2utf8 "amalg" "⨿"
2242 let _ = Hashtbl.add macro2utf8 "prcue" "â\137¼"
2243 let _ = Hashtbl.add macro2utf8 "ac" "â¤\143"
2244 let _ = Hashtbl.add macro2utf8 "nharr" "â\134®"
2245 let _ = Hashtbl.add macro2utf8 "dzcy" "Ñ\159"
2246 let _ = Hashtbl.add macro2utf8 "topf" "ð\157\149¥"
2247 let _ = Hashtbl.add macro2utf8 "iff" "â\135\148"
2248 let _ = Hashtbl.add macro2utf8 "af" "â\129¡"
2249 let _ = Hashtbl.add macro2utf8 "Uparrow" "â\135\145"
2250 let _ = Hashtbl.add macro2utf8 "Uparrow" "â\135\145"
2251 let _ = Hashtbl.add macro2utf8 "Iacute" "Ã\141"
2252 let _ = Hashtbl.add macro2utf8 "Rscr" "â\132\155"
2253 let _ = Hashtbl.add macro2utf8 "vrtri" "â\138³"
2254 let _ = Hashtbl.add macro2utf8 "multimap" "â\138¸"
2255 let _ = Hashtbl.add macro2utf8 "Hat" "Ì\130"
2256 let _ = Hashtbl.add macro2utf8 "rtriltri" "â§\142"
2257 let _ = Hashtbl.add macro2utf8 "npr" "â\138\128"
2258 let _ = Hashtbl.add macro2utf8 "agrave" "à"
2259 let _ = Hashtbl.add macro2utf8 "prime" "â\128²"
2260 let _ = Hashtbl.add macro2utf8 "UnderBar" "̲"
2261 let _ = Hashtbl.add macro2utf8 "prime" "â\128²"
2262 let _ = Hashtbl.add macro2utf8 "plusmn" "±"
2263 let _ = Hashtbl.add macro2utf8 "eplus" "⩱"
2264 let _ = Hashtbl.add macro2utf8 "ap" "â\137\136"
2265 let _ = Hashtbl.add macro2utf8 "dlcorn" "â\140\158"
2266 let _ = Hashtbl.add macro2utf8 "backsim" "â\136½"
2267 let _ = Hashtbl.add macro2utf8 "ifr" "ð\157\148¦"
2268 let _ = Hashtbl.add macro2utf8 "bigcup" "â\139\131"
2269 let _ = Hashtbl.add macro2utf8 "bigcup" "â\139\131"
2270 let _ = Hashtbl.add macro2utf8 "tcaron" "ť"
2271 let _ = Hashtbl.add macro2utf8 "sqcaps" "â\138\147ï¸\128"
2272 let _ = Hashtbl.add macro2utf8 "equals" "="
2273 let _ = Hashtbl.add macro2utf8 "curlywedge" "â\139\143"
2274 let _ = Hashtbl.add macro2utf8 "longrightarrow" "????"
2275 let _ = Hashtbl.add macro2utf8 "Yscr" "ð\157\146´"
2276 let _ = Hashtbl.add macro2utf8 "longrightarrow" "ï\149·"
2277 let _ = Hashtbl.add macro2utf8 "fork" "â\139\148"
2278 let _ = Hashtbl.add macro2utf8 "cos" "cos"
2279 let _ = Hashtbl.add macro2utf8 "cot" "cot"
2280 let _ = Hashtbl.add macro2utf8 "ImaginaryI" "â\133\136"
2281 let _ = Hashtbl.add macro2utf8 "Scy" "С"
2282 let _ = Hashtbl.add macro2utf8 "mapsto" "â\134¦"
2283 let _ = Hashtbl.add macro2utf8 "mapsto" "â\134¦"
2284 let _ = Hashtbl.add macro2utf8 "tdot" "â\131\155"
2285 let _ = Hashtbl.add macro2utf8 "vellip" "â\139®"
2286 let _ = Hashtbl.add macro2utf8 "sqsupseteq" "â\138\146"
2287 let _ = Hashtbl.add macro2utf8 "sqsupseteq" "â\138\146"
2288 let _ = Hashtbl.add macro2utf8 "nvdash" "â\138¬"
2289 let _ = Hashtbl.add macro2utf8 "NotSuperset" "â\138\133"
2290 let _ = Hashtbl.add macro2utf8 "DoubleUpArrow" "â\135\145"
2291 let _ = Hashtbl.add macro2utf8 "land" "â\136§"
2292 let _ = Hashtbl.add macro2utf8 "topfork" "â«\154"
2293 let _ = Hashtbl.add macro2utf8 "llhard" "⥫"
2294 let _ = Hashtbl.add macro2utf8 "apos" "'"
2295 let _ = Hashtbl.add macro2utf8 "oslash" "ø"
2296 let _ = Hashtbl.add macro2utf8 "oslash" "ø"
2297 let _ = Hashtbl.add macro2utf8 "lang" "â\140©"
2298 let _ = Hashtbl.add macro2utf8 "bernou" "â\132¬"
2299 let _ = Hashtbl.add macro2utf8 "varrho" "ϱ"
2300 let _ = Hashtbl.add macro2utf8 "varrho" "ϱ"
2301 let _ = Hashtbl.add macro2utf8 "rcub" "}"
2302 let _ = Hashtbl.add macro2utf8 "Cedilla" "¸"
2303 let _ = Hashtbl.add macro2utf8 "ApplyFunction" "â\129¡"
2304 let _ = Hashtbl.add macro2utf8 "nsce" "⪰̸"
2305 let _ = Hashtbl.add macro2utf8 "gscr" "â\132\138"
2306 let _ = Hashtbl.add macro2utf8 "imagpart" "â\132\145"
2307 let _ = Hashtbl.add macro2utf8 "ngtr" "â\137¯"
2308 let _ = Hashtbl.add macro2utf8 "nsc" "â\138\129"
2309 let _ = Hashtbl.add macro2utf8 "Barv" "⫧"
2310 let _ = Hashtbl.add macro2utf8 "tosa" "⤩"
2311 let _ = Hashtbl.add macro2utf8 "nwnear" "⤧"
2312 let _ = Hashtbl.add macro2utf8 "ltlarr" "⥶"
2313 let _ = Hashtbl.add macro2utf8 "PrecedesEqual" "⪯"
2314 let _ = Hashtbl.add macro2utf8 "lessapprox" "â\137²"
2315 let _ = Hashtbl.add macro2utf8 "Lcaron" "Ľ"