├── .gitignore
├── README.md
├── abbreviations.json
├── convert.py
└── lean.mim


/.gitignore:
--------------------------------------------------------------------------------
1 | .vscode
2 | 


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
 1 | System-wide Lean input method
 2 | =============================
 3 | 
 4 | This repository contains an MIM file for m17n to convert [Lean](https://leanprover.github.io/)-style abbreviations such as `\nat` to `ℕ` in *all* applications.
 5 | 
 6 | First you need an input method framework such as [fcitx](https://wiki.archlinux.org/index.php/Fcitx) (with the fcitx-m17n plugin) or [ibus](https://wiki.archlinux.org/index.php/IBus).  Then you only need to install the MIM file, and enable the new input method:
 7 | ```shell
 8 | install -Dm0644 lean.mim ~/.m17n.d/lean.mim
 9 | ```
10 | 
11 | Or alternatively:
12 | ```shell
13 | mkdir -p ~/.m17n.d
14 | curl https://raw.githubusercontent.com/gebner/m17n-lean/master/lean.mim >~/.m17n.d/lean.mim
15 | ```
16 | 


--------------------------------------------------------------------------------
/abbreviations.json:
--------------------------------------------------------------------------------
   1 | {
   2 |     "{}": "{$CURSOR}",
   3 |     "{}_": "{$CURSOR}_",
   4 |     "{{}}": "⦃$CURSOR⦄",
   5 |     "[]": "[$CURSOR]",
   6 |     "[]_": "[$CURSOR]_",
   7 |     "[[]]": "⟦$CURSOR⟧",
   8 |     "<>": "⟨$CURSOR⟩",
   9 |     "()": "($CURSOR)",
  10 |     "()_": "($CURSOR)_",
  11 |     "([])'": "⟮$CURSOR⟯",
  12 |     "f<>": "‹$CURSOR›",
  13 |     "f<<>>": "«$CURSOR»",
  14 |     "[--]": "⁅$CURSOR⁆",
  15 |     "\\": "\\",
  16 |     "a": "α",
  17 |     "b": "β",
  18 |     "c": "χ",
  19 |     "d": "↓",
  20 |     "e": "ε",
  21 |     "g": "γ",
  22 |     "i": "∩",
  23 |     "m": "μ",
  24 |     "n": "¬",
  25 |     "o": "∘",
  26 |     "p": "Π",
  27 |     "t": "▸",
  28 |     "r": "→",
  29 |     "u": "↑",
  30 |     "v": "∨",
  31 |     "x": "×",
  32 |     "-": "⁻¹",
  33 |     "~": "∼",
  34 |     ".": "·",
  35 |     "*": "⋆",
  36 |     "?": "¿",
  37 |     "1": "₁",
  38 |     "2": "₂",
  39 |     "3": "₃",
  40 |     "4": "₄",
  41 |     "5": "₅",
  42 |     "6": "₆",
  43 |     "7": "₇",
  44 |     "8": "₈",
  45 |     "9": "₉",
  46 |     "0": "₀",
  47 |     "l": "←",
  48 |     "<": "⟨",
  49 |     ">": "⟩",
  50 |     "O": "Ø",
  51 |     "&": "⅋",
  52 |     "A": "𝔸",
  53 |     "C": "ℂ",
  54 |     "D": "Δ",
  55 |     "F": "𝔽",
  56 |     "G": "Γ",
  57 |     "H": "ℍ",
  58 |     "I": "⋂",
  59 |     "I0": "⋂₀",
  60 |     "K": "𝕂",
  61 |     "L": "Λ",
  62 |     "N": "ℕ",
  63 |     "P": "Π",
  64 |     "Q": "ℚ",
  65 |     "R": "ℝ",
  66 |     "S": "Σ",
  67 |     "U": "⋃",
  68 |     "U0": "⋃₀",
  69 |     "Z": "ℤ",
  70 |     "#": "♯",
  71 |     ":": "∶",
  72 |     "|": "∣",
  73 |     "!": "¡",
  74 |     "be": "β",
  75 |     "ga": "γ",
  76 |     "de": "δ",
  77 |     "ep": "ε",
  78 |     "ze": "ζ",
  79 |     "et": "η",
  80 |     "th": "θ",
  81 |     "io": "ι",
  82 |     "ka": "κ",
  83 |     "la": "λ",
  84 |     "mu": "μ",
  85 |     "nu": "ν",
  86 |     "xi": "ξ",
  87 |     "pi": "π",
  88 |     "rh": "ρ",
  89 |     "vsi": "ς",
  90 |     "si": "σ",
  91 |     "ta": "τ",
  92 |     "ph": "φ",
  93 |     "ch": "χ",
  94 |     "ps": "ψ",
  95 |     "om": "ω",
  96 |     "`A": "À",
  97 |     "'A": "Á",
  98 |     "^{A}": "Â",
  99 |     "~A": "Ã",
 100 |     "\"A": "Ä",
 101 |     "cC": "Ç",
 102 |     "`E": "È",
 103 |     "'E": "É",
 104 |     "^{E}": "Ê",
 105 |     "\"E": "Ë",
 106 |     "`I": "Ì",
 107 |     "'I": "Í",
 108 |     "^{I}": "Î",
 109 |     "\"I": "Ï",
 110 |     "~N": "Ñ",
 111 |     "`O": "Ò",
 112 |     "'O": "Ó",
 113 |     "^{O}": "Ô",
 114 |     "~O": "Õ",
 115 |     "\"O": "Ö",
 116 |     "/O": "Ø",
 117 |     "`U": "Ù",
 118 |     "'U": "Ú",
 119 |     "^{U}": "Û",
 120 |     "\"U": "Ü",
 121 |     "'Y": "Ý",
 122 |     "`a": "à",
 123 |     "'a": "á",
 124 |     "^{a}": "â",
 125 |     "~a": "ã",
 126 |     "\"a": "ä",
 127 |     "cc": "ç",
 128 |     "`e": "è",
 129 |     "'e": "é",
 130 |     "^{e}": "ê",
 131 |     "\"e": "ë",
 132 |     "`i": "ì",
 133 |     "'i": "í",
 134 |     "^{i}": "î",
 135 |     "\"i": "ï",
 136 |     "~{n}": "ñ",
 137 |     "`o": "ò",
 138 |     "'o": "ó",
 139 |     "^{o}": "ô",
 140 |     "~o": "õ",
 141 |     "\"o": "ö",
 142 |     "/o": "ø",
 143 |     "`u": "ù",
 144 |     "'u": "ú",
 145 |     "^{u}": "û",
 146 |     "\"u": "ü",
 147 |     "'y": "ý",
 148 |     "\"y": "ÿ",
 149 |     "/L": "Ł",
 150 |     "notin": "∉",
 151 |     "note": "♩",
 152 |     "not": "¬",
 153 |     "nomisma": "𐆎",
 154 |     "nin": "∉",
 155 |     "nni": "∌",
 156 |     "ni": "∋",
 157 |     "nattrans": "⟹",
 158 |     "nat_trans": "⟹",
 159 |     "natural": "♮",
 160 |     "nat": "ℕ",
 161 |     "naira": "₦",
 162 |     "nabla": "∇",
 163 |     "napprox": "≉",
 164 |     "numero": "№",
 165 |     "nLeftarrow": "⇍",
 166 |     "nLeftrightarrow": "⇎",
 167 |     "nRightarrow": "⇏",
 168 |     "nVDash": "⊯",
 169 |     "nVdash": "⊮",
 170 |     "ncong": "≇",
 171 |     "nearrow": "↗",
 172 |     "neg": "¬",
 173 |     "nequiv": "≢",
 174 |     "neq": "≠",
 175 |     "nexists": "∄",
 176 |     "ne": "≠",
 177 |     "ngeqq": "≱",
 178 |     "ngeqslant": "≱",
 179 |     "ngeq": "≱",
 180 |     "ngtr": "≯",
 181 |     "nleftarrow": "↚",
 182 |     "nleftrightarrow": "↮",
 183 |     "nleqq": "≰",
 184 |     "nleqslant": "≰",
 185 |     "nleq": "≰",
 186 |     "nless": "≮",
 187 |     "nmid": "∤",
 188 |     "nparallel": "∦",
 189 |     "npreceq": "⋠",
 190 |     "nprec": "⊀",
 191 |     "nrightarrow": "↛",
 192 |     "nshortmid": "∤",
 193 |     "nshortparallel": "∦",
 194 |     "nsimeq": "≄",
 195 |     "nsim": "≁",
 196 |     "nsubseteqq": "⊈",
 197 |     "nsubseteq": "⊈",
 198 |     "nsubset": "⊄",
 199 |     "nsucceq": "⋡",
 200 |     "nsucc": "⊁",
 201 |     "nsupseteqq": "⊉",
 202 |     "nsupseteq": "⊉",
 203 |     "nsupset": "⊅",
 204 |     "ntrianglelefteq": "⋬",
 205 |     "ntriangleleft": "⋪",
 206 |     "ntrianglerighteq": "⋭",
 207 |     "ntriangleright": "⋫",
 208 |     "nvDash": "⊭",
 209 |     "nvdash": "⊬",
 210 |     "nwarrow": "↖",
 211 |     "eqn": "≠",
 212 |     "equiv": "≃",
 213 |     "eqcirc": "≖",
 214 |     "eqcolon": "≕",
 215 |     "eqslantgtr": "⋝",
 216 |     "eqslantless": "⋜",
 217 |     "entails": "⊢",
 218 |     "en": "–",
 219 |     "exn": "∄",
 220 |     "exists": "∃",
 221 |     "ex": "∃",
 222 |     "emptyset": "∅",
 223 |     "empty": "∅",
 224 |     "em": "—",
 225 |     "epsilon": "ε",
 226 |     "eps": "ε",
 227 |     "euro": "€",
 228 |     "eta": "η",
 229 |     "ell": "ℓ",
 230 |     "iso": "≅",
 231 |     "in": "∈",
 232 |     "inn": "∉",
 233 |     "inter": "∩",
 234 |     "intercal": "⊺",
 235 |     "intersection": "∩",
 236 |     "integral": "∫",
 237 |     "int": "ℤ",
 238 |     "inv": "⁻¹",
 239 |     "increment": "∆",
 240 |     "inf": "⊓",
 241 |     "infi": "⨅",
 242 |     "infty": "∞",
 243 |     "iff": "↔",
 244 |     "imp": "→",
 245 |     "imath": "ı",
 246 |     "iota": "ι",
 247 |     "=n": "≠",
 248 |     "==n": "≢",
 249 |     "===": "≣",
 250 |     "==>": "⟹",
 251 |     "==": "≡",
 252 |     "=:": "≕",
 253 |     "=o": "≗",
 254 |     "=>n": "⇏",
 255 |     "=>": "⇒",
 256 |     "~n": "≁",
 257 |     "~~n": "≉",
 258 |     "~~~": "≋",
 259 |     "~~-": "≊",
 260 |     "~~": "≈",
 261 |     "~-n": "≄",
 262 |     "~-": "≃",
 263 |     "~=n": "≇",
 264 |     "~=": "≅",
 265 |     "homotopy": "∼",
 266 |     "hom": "⟶",
 267 |     "hori": "ϩ",
 268 |     "hookleftarrow": "↩",
 269 |     "hookrightarrow": "↪",
 270 |     "hryvnia": "₴",
 271 |     "heta": "ͱ",
 272 |     "heartsuit": "♥",
 273 |     "hbar": "ℏ",
 274 |     ":~": "∻",
 275 |     ":=": "≔",
 276 |     "::-": "∺",
 277 |     "::": "∷",
 278 |     "-~": "≂",
 279 |     "-|": "⊣",
 280 |     "-1": "⁻¹",
 281 |     "^-1": "⁻¹",
 282 |     "-2": "⁻²",
 283 |     "-3": "⁻³",
 284 |     "-:": "∹",
 285 |     "->n": "↛",
 286 |     "->": "→",
 287 |     "-->": "⟶",
 288 |     "---": "─",
 289 |     "--=": "═",
 290 |     "--_": "━",
 291 |     "--.": "╌",
 292 |     "-o": "⊸",
 293 |     ".=.": "≑",
 294 |     ".=": "≐",
 295 |     ".+": "∔",
 296 |     ".-": "∸",
 297 |     "...": "⋯",
 298 |     "(=": "≘",
 299 |     "(b": "⟅",
 300 |     "and=": "≙",
 301 |     "and": "∧",
 302 |     "an": "∧",
 303 |     "angle": "∟",
 304 |     "angstrom": "Å",
 305 |     "all": "∀",
 306 |     "allf": "∀ᶠ",
 307 |     "all^f": "∀ᶠ",
 308 |     "allm": "∀ᵐ",
 309 |     "all^m": "∀ᵐ",
 310 |     "alpha": "α",
 311 |     "aleph": "ℵ",
 312 |     "asterisk": "⁎",
 313 |     "ast": "∗",
 314 |     "asymp": "≍",
 315 |     "apl": "⌶",
 316 |     "approxeq": "≊",
 317 |     "approx": "≈",
 318 |     "aa": "å",
 319 |     "ae": "æ",
 320 |     "austral": "₳",
 321 |     "afghani": "؋",
 322 |     "amalg": "∐",
 323 |     "or=": "≚",
 324 |     "ordfeminine": "ª",
 325 |     "ordmasculine": "º",
 326 |     "or": "∨",
 327 |     "oplus": "⊕",
 328 |     "op": "ᵒᵖ",
 329 |     "o+": "⊕",
 330 |     "o--": "⊖",
 331 |     "o-": "⊝",
 332 |     "ox": "⊗",
 333 |     "o/": "⊘",
 334 |     "o.": "⊙",
 335 |     "oo": "⊚",
 336 |     "o*": "∘*",
 337 |     "o=": "⊜",
 338 |     "oe": "œ",
 339 |     "octagonal": "🛑",
 340 |     "ohm": "Ω",
 341 |     "ounce": "℥",
 342 |     "omega": "ω",
 343 |     "omicron": "ο",
 344 |     "ominus": "⊖",
 345 |     "odot": "⊙",
 346 |     "oint": "∮",
 347 |     "oslash": "⊘",
 348 |     "otimes": "⊗",
 349 |     "*=": "≛",
 350 |     "t=": "≜",
 351 |     "transport": "▹",
 352 |     "trans": "▹",
 353 |     "triangledown": "▿",
 354 |     "trianglelefteq": "⊴",
 355 |     "triangleleft": "◃",
 356 |     "triangleq": "≜",
 357 |     "trianglerighteq": "⊵",
 358 |     "triangleright": "▹",
 359 |     "triangle": "▵",
 360 |     "tr": "⬝",
 361 |     "tb": "◂",
 362 |     "twoheadleftarrow": "↞",
 363 |     "twoheadrightarrow": "↠",
 364 |     "tw": "◃",
 365 |     "tie": "⁀",
 366 |     "times": "×",
 367 |     "theta": "θ",
 368 |     "therefore": "∴",
 369 |     "thickapprox": "≈",
 370 |     "thicksim": "∼",
 371 |     "telephone": "℡",
 372 |     "tenge": "₸",
 373 |     "textmusicalnote": "♪",
 374 |     "textmu": "µ",
 375 |     "textfractionsolidus": "⁄",
 376 |     "textbaht": "฿",
 377 |     "textdied": "✝",
 378 |     "textdiscount": "⁒",
 379 |     "textcolonmonetary": "₡",
 380 |     "textcircledP": "℗",
 381 |     "textwon": "₩",
 382 |     "textnaira": "₦",
 383 |     "textnumero": "№",
 384 |     "textpeso": "₱",
 385 |     "textpertenthousand": "‱",
 386 |     "textlira": "₤",
 387 |     "textlquill": "⁅",
 388 |     "textrecipe": "℞",
 389 |     "textreferencemark": "※",
 390 |     "textrquill": "⁆",
 391 |     "textinterrobang": "‽",
 392 |     "textestimated": "℮",
 393 |     "textopenbullet": "◦",
 394 |     "tugrik": "₮",
 395 |     "tau": "τ",
 396 |     "top": "⊤",
 397 |     "to": "→",
 398 | 
 399 |     "to0": "→₀",
 400 |     "r0": "→₀",
 401 |     "to_0": "→₀",
 402 |     "r_0": "→₀",
 403 |     "finsupp": "→₀",
 404 |     "to1": "→₁",
 405 |     "r1": "→₁",
 406 |     "to_1": "→₁",
 407 |     "r_1": "→₁",
 408 |     "l1": "→₁",
 409 |     "to1s": "→₁ₛ",
 410 |     "r1s": "→₁ₛ",
 411 |     "to_1s": "→₁ₛ",
 412 |     "r_1s": "→₁ₛ",
 413 |     "l1simplefunc": "→₁ₛ",
 414 |     "toa": "→ₐ",
 415 |     "ra": "→ₐ",
 416 |     "to_a": "→ₐ",
 417 |     "r_a": "→ₐ",
 418 |     "alghom": "→ₐ",
 419 |     "tob": "→ᵇ",
 420 |     "rb": "→ᵇ",
 421 |     "to^b": "→ᵇ",
 422 |     "r^b": "→ᵇ",
 423 |     "boundedcontinuousfunction": "→ᵇ",
 424 |     "tol": "→ₗ",
 425 |     "rl": "→ₗ",
 426 |     "to_l": "→ₗ",
 427 |     "r_l": "→ₗ",
 428 |     "linearmap": "→ₗ",
 429 |     "tom": "→ₘ",
 430 |     "rm": "→ₘ",
 431 |     "to_m": "→ₘ",
 432 |     "r_m": "→ₘ",
 433 |     "aeeqfun": "→ₘ",
 434 |     "rp": "→ₚ",
 435 |     "to_p": "→ₚ",
 436 |     "r_p": "→ₚ",
 437 |     "dfinsupp": "→ₚ",
 438 |     "tos": "→ₛ",
 439 |     "rs": "→ₛ",
 440 |     "to_s": "→ₛ",
 441 |     "r_s": "→ₛ",
 442 |     "simplefunc": "→ₛ",
 443 | 
 444 |     "covers": "⋖",
 445 |     "def=": "≝",
 446 |     "defs": "≙",
 447 |     "degree": "°",
 448 |     "dei": "ϯ",
 449 |     "delta": "δ",
 450 |     "doteqdot": "≑",
 451 |     "doteq": "≐",
 452 |     "dotplus": "∔",
 453 |     "dotsquare": "⊡",
 454 |     "dot": "⬝",
 455 |     "dong": "₫",
 456 |     "downarrow": "↓",
 457 |     "downdownarrows": "⇊",
 458 |     "downleftharpoon": "⇃",
 459 |     "downrightharpoon": "⇂",
 460 |     "dr-": "↘",
 461 |     "dr=": "⇘",
 462 |     "drachma": "₯",
 463 |     "dr": "↘",
 464 |     "dl-": "↙",
 465 |     "dl=": "⇙",
 466 |     "dl": "↙",
 467 |     "d-2": "⇊",
 468 |     "d-u-": "⇵",
 469 |     "d-|": "↧",
 470 |     "d-": "↓",
 471 |     "d==": "⟱",
 472 |     "d=": "⇓",
 473 |     "dd-": "↡",
 474 |     "ddagger": "‡",
 475 |     "ddag": "‡",
 476 |     "ddots": "⋱",
 477 |     "dz": "↯",
 478 |     "dib": "◆",
 479 |     "diw": "◇",
 480 |     "di.": "◈",
 481 |     "die": "⚀",
 482 |     "division": "÷",
 483 |     "divideontimes": "⋇",
 484 |     "div": "÷",
 485 |     "diameter": "⌀",
 486 |     "diamondsuit": "♢",
 487 |     "diamond": "⋄",
 488 |     "digamma": "ϝ",
 489 |     "di": "◆",
 490 |     "dagger": "†",
 491 |     "dag": "†",
 492 |     "daleth": "ℸ",
 493 |     "dashv": "⊣",
 494 |     "dh": "ð",
 495 |     "m=": "≞",
 496 |     "meet": "⊓",
 497 |     "member": "∈",
 498 |     "mem": "∈",
 499 |     "measuredangle": "∡",
 500 |     "male": "♂",
 501 |     "maltese": "✠",
 502 |     "manat": "₼",
 503 |     "mapsto": "↦",
 504 |     "mathscr{I}": "ℐ",
 505 |     "minus": "−",
 506 |     "mill": "₥",
 507 |     "micro": "µ",
 508 |     "mid": "∣",
 509 |     "multiplication": "×",
 510 |     "multimap": "⊸",
 511 |     "mho": "℧",
 512 |     "models": "⊧",
 513 |     "mp": "∓",
 514 |     "?=": "≟",
 515 |     "??": "⁇",
 516 |     "?!": "‽",
 517 |     "prohibited": "🛇",
 518 |     "prod": "∏",
 519 |     "propto": "∝",
 520 |     "precapprox": "≾",
 521 |     "preceq": "≼",
 522 |     "precnapprox": "⋨",
 523 |     "precnsim": "⋨",
 524 |     "precsim": "≾",
 525 |     "prec": "≺",
 526 |     "preim": "⁻¹'",
 527 |     "preimage": "⁻¹'",
 528 |     "prime": "′",
 529 |     "pr": "↣",
 530 |     "powerset": "𝒫",
 531 |     "pounds": "£",
 532 |     "pound": "£",
 533 |     "pab": "▰",
 534 |     "paw": "▱",
 535 |     "partnership": "㉐",
 536 |     "partial": "∂",
 537 |     "paragraph": "¶",
 538 |     "parallel": "∥",
 539 |     "pa": "▰",
 540 |     "pm": "±",
 541 |     "perp": "⊥",
 542 |     "^perp": "ᗮ",
 543 |     "permil": "‰",
 544 |     "per": "⅌",
 545 |     "peso": "₱",
 546 |     "peseta": "₧",
 547 |     "pilcrow": "¶",
 548 |     "pitchfork": "⋔",
 549 |     "psi": "ψ",
 550 |     "phi": "φ",
 551 |     "8<": "✂",
 552 |     "leqn": "≰",
 553 |     "leqq": "≦",
 554 |     "leqslant": "≤",
 555 |     "leq": "≤",
 556 |     "len": "≰",
 557 |     "leadsto": "↝",
 558 |     "leftarrowtail": "↢",
 559 |     "leftarrow": "←",
 560 |     "leftharpoondown": "↽",
 561 |     "leftharpoonup": "↼",
 562 |     "leftleftarrows": "⇇",
 563 |     "leftrightarrows": "⇆",
 564 |     "leftrightarrow": "↔",
 565 |     "leftrightharpoons": "⇋",
 566 |     "leftrightsquigarrow": "↭",
 567 |     "leftthreetimes": "⋋",
 568 |     "lessapprox": "≲",
 569 |     "lessdot": "⋖",
 570 |     "lesseqgtr": "⋚",
 571 |     "lesseqqgtr": "⋚",
 572 |     "lessgtr": "≶",
 573 |     "lesssim": "≲",
 574 |     "le": "≤",
 575 |     "lub": "⊔",
 576 |     "lr--": "⟷",
 577 |     "lr-n": "↮",
 578 |     "lr-": "↔",
 579 |     "lr=n": "⇎",
 580 |     "lr=": "⇔",
 581 |     "lr~": "↭",
 582 |     "lrcorner": "⌟",
 583 |     "lr": "↔",
 584 |     "l-2": "⇇",
 585 |     "l-r-": "⇆",
 586 |     "l--": "⟵",
 587 |     "l-n": "↚",
 588 |     "l-|": "↤",
 589 |     "l->": "↢",
 590 |     "l-": "←",
 591 |     "l==": "⇚",
 592 |     "l=n": "⇍",
 593 |     "l=": "⇐",
 594 |     "l~": "↜",
 595 |     "ll-": "↞",
 596 |     "llcorner": "⌞",
 597 |     "llbracket": "〚",
 598 |     "ll": "≪",
 599 |     "lbag": "⟅",
 600 |     "lambda": "λ",
 601 |     "lamda": "λ",
 602 |     "lam": "λ",
 603 |     "lari": "₾",
 604 |     "langle": "⟨",
 605 |     "lira": "₤",
 606 |     "lceil": "⌈",
 607 |     "ldots": "…",
 608 |     "ldq": "“",
 609 |     "ldata": "《",
 610 |     "lfloor": "⌊",
 611 |     "lhd": "◁",
 612 |     "lnapprox": "⋦",
 613 |     "lneqq": "≨",
 614 |     "lneq": "≨",
 615 |     "lnsim": "⋦",
 616 |     "lnot": "¬",
 617 |     "longleftarrow": "⟵",
 618 |     "longleftrightarrow": "⟷",
 619 |     "longrightarrow": "⟶",
 620 |     "looparrowleft": "↫",
 621 |     "looparrowright": "↬",
 622 |     "lozenge": "✧",
 623 |     "lq": "‘",
 624 |     "ltimes": "⋉",
 625 |     "lvertneqq": "≨",
 626 |     "geqn": "≱",
 627 |     "geqq": "≧",
 628 |     "geqslant": "≥",
 629 |     "geq": "≥",
 630 |     "gen": "≱",
 631 |     "gets": "←",
 632 |     "ge": "≥",
 633 |     "glb": "⊓",
 634 |     "glqq": "„",
 635 |     "glq": "‚",
 636 |     "guarani": "₲",
 637 |     "gangia": "ϫ",
 638 |     "gamma": "γ",
 639 |     "ggg": "⋙",
 640 |     "gg": "≫",
 641 |     "gimel": "ℷ",
 642 |     "gnapprox": "⋧",
 643 |     "gneqq": "≩",
 644 |     "gneq": "≩",
 645 |     "gnsim": "⋧",
 646 |     "gtrapprox": "≳",
 647 |     "gtrdot": "⋗",
 648 |     "gtreqless": "⋛",
 649 |     "gtreqqless": "⋛",
 650 |     "gtrless": "≷",
 651 |     "gtrsim": "≳",
 652 |     "gvertneqq": "≩",
 653 |     "grqq": "“",
 654 |     "grq": "‘",
 655 |     "<=n": "≰",
 656 |     "<=>n": "⇎",
 657 |     "<=>": "⇔",
 658 |     "<=": "≤",
 659 |     "<n": "≮",
 660 |     "<~nn": "≴",
 661 |     "<~n": "⋦",
 662 |     "<~": "≲",
 663 |     "<:": "⋖",
 664 |     ":>": "⋗",
 665 |     "<->n": "↮",
 666 |     "<->": "↔",
 667 |     "<-->": "⟷",
 668 |     "<--": "⟵",
 669 |     "<-n": "↚",
 670 |     "<-": "←",
 671 |     "<<": "⟪",
 672 |     ">=n": "≱",
 673 |     ">=": "≥",
 674 |     ">n": "≯",
 675 |     ">~nn": "≵",
 676 |     ">~n": "⋧",
 677 |     ">~": "≳",
 678 |     ">>": "⟫",
 679 |     "root": "√",
 680 |     "ssubn": "⊄",
 681 |     "ssub": "⊂",
 682 |     "ssupn": "⊅",
 683 |     "ssup": "⊃",
 684 |     "ssqub": "⊏",
 685 |     "ssqup": "⊐",
 686 |     "ss": "⊆",
 687 |     "subn": "⊈",
 688 |     "subseteqq": "⊆",
 689 |     "subseteq": "⊆",
 690 |     "subsetneqq": "⊊",
 691 |     "subsetneq": "⊊",
 692 |     "subset": "⊂",
 693 |     "sub": "⊆",
 694 |     "supn": "⊉",
 695 |     "supseteqq": "⊇",
 696 |     "supseteq": "⊇",
 697 |     "supsetneqq": "⊋",
 698 |     "supsetneq": "⊋",
 699 |     "supset": "⊃",
 700 |     "sup": "⊔",
 701 |     "supr": "⨆",
 702 |     "surd3": "∛",
 703 |     "surd4": "∜",
 704 |     "surd": "√",
 705 |     "succapprox": "≿",
 706 |     "succcurlyeq": "≽",
 707 |     "succeq": "≽",
 708 |     "succnapprox": "⋩",
 709 |     "succnsim": "⋩",
 710 |     "succsim": "≿",
 711 |     "succ": "≻",
 712 |     "sum": "∑",
 713 |     "squbn": "⋢",
 714 |     "squb": "⊑",
 715 |     "squpn": "⋣",
 716 |     "squp": "⊒",
 717 |     "square": "□",
 718 |     "squigarrowright": "⇝",
 719 |     "sqb": "■",
 720 |     "sqw": "□",
 721 |     "sq.": "▣",
 722 |     "sqo": "▢",
 723 |     "sqcap": "⊓",
 724 |     "sqcup": "⊔",
 725 |     "sqrt": "√",
 726 |     "sqsubseteq": "⊑",
 727 |     "sqsubset": "⊏",
 728 |     "sqsupseteq": "⊒",
 729 |     "sqsupset": "⊐",
 730 |     "sq": "◾",
 731 |     "sy": "⁻¹",
 732 |     "st4": "✦",
 733 |     "st6": "✶",
 734 |     "st8": "✴",
 735 |     "st12": "✹",
 736 |     "stigma": "ϛ",
 737 |     "star": "⋆",
 738 |     "straightphi": "φ",
 739 |     "st": "⋆",
 740 |     "spesmilo": "₷",
 741 |     "spadesuit": "♠",
 742 |     "sphericalangle": "∢",
 743 |     "section": "§",
 744 |     "searrow": "↘",
 745 |     "setminus": "∖",
 746 |     "san": "ϻ",
 747 |     "sampi": "ϡ",
 748 |     "shortmid": "∣",
 749 |     "shortparallel": "∥",
 750 |     "sho": "ϸ",
 751 |     "shima": "ϭ",
 752 |     "shei": "ϣ",
 753 |     "sharp": "♯",
 754 |     "sigma": "σ",
 755 |     "simeq": "≃",
 756 |     "sim": "∼",
 757 |     "sbs": "﹨",
 758 |     "smallamalg": "∐",
 759 |     "smallsetminus": "∖",
 760 |     "smallsmile": "⌣",
 761 |     "smile": "⌣",
 762 |     "smul": "•",
 763 |     "swarrow": "↙",
 764 |     "Tr": "◀",
 765 |     "Tb": "◀",
 766 |     "Tw": "◁",
 767 |     "Tau": "Τ",
 768 |     "Theta": "Θ",
 769 |     "TH": "Þ",
 770 |     "union": "∪",
 771 |     "undertie": "‿",
 772 |     "uncertainty": "⯑",
 773 |     "un": "∪",
 774 |     "u+": "⊎",
 775 |     "u.": "⊍",
 776 |     "ud-|": "↨",
 777 |     "ud-": "↕",
 778 |     "ud=": "⇕",
 779 |     "ud": "↕",
 780 |     "ul-": "↖",
 781 |     "ul=": "⇖",
 782 |     "ulcorner": "⌜",
 783 |     "ul": "↖",
 784 |     "ur-": "↗",
 785 |     "ur=": "⇗",
 786 |     "urcorner": "⌝",
 787 |     "ur": "↗",
 788 |     "u-2": "⇈",
 789 |     "u-d-": "⇅",
 790 |     "u-|": "↥",
 791 |     "u-": "↑",
 792 |     "u==": "⟰",
 793 |     "u=": "⇑",
 794 |     "uu-": "↟",
 795 |     "upsilon": "υ",
 796 |     "uparrow": "↑",
 797 |     "updownarrow": "↕",
 798 |     "upleftharpoon": "↿",
 799 |     "uplus": "⊎",
 800 |     "uprightharpoon": "↾",
 801 |     "upuparrows": "⇈",
 802 |     "And": "⋀",
 803 |     "AA": "Å",
 804 |     "AE": "Æ",
 805 |     "Alpha": "Α",
 806 |     "Or": "⋁",
 807 |     "O+": "⨁",
 808 |     "Ox": "⨂",
 809 |     "O.": "⨀",
 810 |     "O*": "⍟",
 811 |     "OE": "Œ",
 812 |     "Omega": "Ω",
 813 |     "Omicron": "Ο",
 814 |     "Int": "ℤ",
 815 |     "Inter": "⋂",
 816 |     "bInter": "⋂",
 817 |     "Iota": "Ι",
 818 |     "Im": "ℑ",
 819 |     "Un": "⋃",
 820 |     "Union": "⋃",
 821 |     "bUnion": "⋃",
 822 |     "U+": "⨄",
 823 |     "U.": "⨃",
 824 |     "Upsilon": "Υ",
 825 |     "Uparrow": "⇑",
 826 |     "Updownarrow": "⇕",
 827 |     "Gl-": "ƛ",
 828 |     "Gl": "λ",
 829 |     "Gangia": "Ϫ",
 830 |     "Gamma": "Γ",
 831 |     "Glb": "⨅",
 832 |     "Ga": "α",
 833 |     "GA": "Α",
 834 |     "Gb": "β",
 835 |     "GB": "Β",
 836 |     "Gg": "γ",
 837 |     "GG": "Γ",
 838 |     "Gd": "δ",
 839 |     "GD": "Δ",
 840 |     "Ge": "ε",
 841 |     "GE": "Ε",
 842 |     "Gz": "ζ",
 843 |     "GZ": "Ζ",
 844 |     "Gth": "θ",
 845 |     "Gt": "τ",
 846 |     "GTH": "Θ",
 847 |     "GT": "Τ",
 848 |     "Gi": "ι",
 849 |     "GI": "Ι",
 850 |     "Gk": "κ",
 851 |     "GK": "Κ",
 852 |     "GL": "Λ",
 853 |     "Gm": "μ",
 854 |     "GM": "Μ",
 855 |     "Gn": "ν",
 856 |     "GN": "Ν",
 857 |     "Gx": "ξ",
 858 |     "GX": "Ξ",
 859 |     "Gr": "ρ",
 860 |     "GR": "Ρ",
 861 |     "Gs": "σ",
 862 |     "GS": "Σ",
 863 |     "Gu": "υ",
 864 |     "GU": "Υ",
 865 |     "Gf": "φ",
 866 |     "GF": "Φ",
 867 |     "Gc": "χ",
 868 |     "GC": "Χ",
 869 |     "Gp": "ψ",
 870 |     "GP": "Ψ",
 871 |     "Go": "ω",
 872 |     "GO": "Ω",
 873 |     "Inf": "⨅",
 874 |     "Join": "⨆",
 875 |     "Lub": "⨆",
 876 |     "Lambda": "Λ",
 877 |     "Lamda": "Λ",
 878 |     "Leftarrow": "⇐",
 879 |     "Leftrightarrow": "⇔",
 880 |     "Letter": "✉",
 881 |     "Lleftarrow": "⇚",
 882 |     "Ll": "⋘",
 883 |     "Longleftarrow": "⇐",
 884 |     "Longleftrightarrow": "⇔",
 885 |     "Longrightarrow": "⇒",
 886 |     "Meet": "⨅",
 887 |     "Sup": "⨆",
 888 |     "Sqcap": "⨅",
 889 |     "Sqcup": "⨆",
 890 |     "Lsh": "↰",
 891 |     "|-n": "⊬",
 892 |     "|-": "⊢",
 893 |     "|=n": "⊭",
 894 |     "|=": "⊨",
 895 |     "||-n": "⊮",
 896 |     "||-": "⊩",
 897 |     "||=n": "⊯",
 898 |     "||=": "⊫",
 899 |     "|||-": "⊪",
 900 |     "||n": "∦",
 901 |     "||": "∥",
 902 |     "|n": "∤",
 903 |     "Com": "ℂ",
 904 |     "Chi": "Χ",
 905 |     "Cap": "⋒",
 906 |     "Cup": "⋓",
 907 |     "cul": "⌜",
 908 |     "cuL": "⌈",
 909 |     "currency": "¤",
 910 |     "curlyeqprec": "⋞",
 911 |     "curlyeqsucc": "⋟",
 912 |     "curlypreceq": "≼",
 913 |     "curlyvee": "⋎",
 914 |     "curlywedge": "⋏",
 915 |     "curvearrowleft": "↶",
 916 |     "curvearrowright": "↷",
 917 |     "cur": "⌝",
 918 |     "cuR": "⌉",
 919 |     "cup": "∪",
 920 |     "cu": "⌜",
 921 |     "cll": "⌞",
 922 |     "clL": "⌊",
 923 |     "clr": "⌟",
 924 |     "clR": "⌋",
 925 |     "clubsuit": "♣",
 926 |     "cl": "⌞",
 927 |     "construction": "🚧",
 928 |     "cong": "≅",
 929 |     "con": "⬝",
 930 |     "compl": "ᶜ",
 931 |     "complement": "ᶜ",
 932 |     "complementprefix": "∁",
 933 |     "Complement": "∁",
 934 |     "comp": "∘",
 935 |     "com": "ℂ",
 936 |     "coloneq": "≔",
 937 |     "colon": "₡",
 938 |     "copyright": "©",
 939 |     "cdots": "⋯",
 940 |     "cdot": "⬝",
 941 |     "cib": "●",
 942 |     "ciw": "○",
 943 |     "ci..": "◌",
 944 |     "ci.": "◎",
 945 |     "ciO": "◯",
 946 |     "circeq": "≗",
 947 |     "circlearrowleft": "↺",
 948 |     "circlearrowright": "↻",
 949 |     "circledR": "®",
 950 |     "circledS": "Ⓢ",
 951 |     "circledast": "⊛",
 952 |     "circledcirc": "⊚",
 953 |     "circleddash": "⊝",
 954 |     "circ": "∘",
 955 |     "ci": "●",
 956 |     "centerdot": "·",
 957 |     "cent": "¢",
 958 |     "cedi": "₵",
 959 |     "celsius": "℃",
 960 |     "ce": "ȩ",
 961 |     "checkmark": "✓",
 962 |     "chi": "χ",
 963 |     "cruzeiro": "₢",
 964 |     "caution": "☡",
 965 |     "cap": "∩",
 966 |     "qed": "∎",
 967 |     "quad": " ",
 968 |     "quot": "⧸",
 969 |     "bigsolidus": "⧸",
 970 |     "/": "⧸",
 971 |     "+ ": "⊹",
 972 |     "b+": "⊞",
 973 |     "b-": "⊟",
 974 |     "bx": "⊠",
 975 |     "b.": "⊡",
 976 |     "bn": "ℕ",
 977 |     "bz": "ℤ",
 978 |     "bq": "ℚ",
 979 |     "brokenbar": "¦",
 980 |     "br": "ℝ",
 981 |     "bc": "ℂ",
 982 |     "bp": "ℙ",
 983 |     "bb": "𝔹",
 984 |     "bsum": "⅀",
 985 |     "b0": "𝟘",
 986 |     "b1": "𝟙",
 987 |     "b2": "𝟚",
 988 |     "b3": "𝟛",
 989 |     "b4": "𝟜",
 990 |     "b5": "𝟝",
 991 |     "b6": "𝟞",
 992 |     "b7": "𝟟",
 993 |     "b8": "𝟠",
 994 |     "b9": "𝟡",
 995 |     "sb0": "𝟬",
 996 |     "sb1": "𝟭",
 997 |     "sb2": "𝟮",
 998 |     "sb3": "𝟯",
 999 |     "sb4": "𝟰",
1000 |     "sb5": "𝟱",
1001 |     "sb6": "𝟲",
1002 |     "sb7": "𝟳",
1003 |     "sb8": "𝟴",
1004 |     "sb9": "𝟵",
1005 |     "bub": "•",
1006 |     "buw": "◦",
1007 |     "but": "‣",
1008 |     "bumpeq": "≏",
1009 |     "bu": "•",
1010 |     "biohazard": "☣",
1011 |     "bigcap": "⋂",
1012 |     "bigcirc": "◯",
1013 |     "bigcoprod": "∐",
1014 |     "bigcup": "⋃",
1015 |     "bigglb": "⨅",
1016 |     "biginf": "⨅",
1017 |     "bigjoin": "⨆",
1018 |     "biglub": "⨆",
1019 |     "bigmeet": "⨅",
1020 |     "bigsqcap": "⨅",
1021 |     "bigsqcup": "⨆",
1022 |     "bigstar": "★",
1023 |     "bigsup": "⨆",
1024 |     "bigtriangledown": "▽",
1025 |     "bigtriangleup": "△",
1026 |     "bigvee": "⋁",
1027 |     "bigwedge": "⋀",
1028 |     "beta": "β",
1029 |     "beth": "ℶ",
1030 |     "between": "≬",
1031 |     "because": "∵",
1032 |     "backcong": "≌",
1033 |     "backepsilon": "∍",
1034 |     "backprime": "‵",
1035 |     "backsimeq": "⋍",
1036 |     "backsim": "∽",
1037 |     "barwedge": "⊼",
1038 |     "blacklozenge": "✦",
1039 |     "blacksquare": "▪",
1040 |     "blacksmiley": "☻",
1041 |     "blacktriangledown": "▾",
1042 |     "blacktriangleleft": "◂",
1043 |     "blacktriangleright": "▸",
1044 |     "blacktriangle": "▴",
1045 |     "bot": "⊥",
1046 |     "^bot": "ᗮ",
1047 |     "bowtie": "⋈",
1048 |     "boxminus": "⊟",
1049 |     "boxmid": "◫",
1050 |     "hcomp": "◫",
1051 |     "boxplus": "⊞",
1052 |     "boxtimes": "⊠",
1053 |     "join": "⊔",
1054 |     "r-2": "⇉",
1055 |     "r-3": "⇶",
1056 |     "r-l-": "⇄",
1057 |     "r--": "⟶",
1058 |     "r-n": "↛",
1059 |     "r-|": "↦",
1060 |     "r->": "↣",
1061 |     "r-o": "⊸",
1062 |     "r-": "→",
1063 |     "r==": "⇛",
1064 |     "r=n": "⇏",
1065 |     "r=": "⇒",
1066 |     "r~": "↝",
1067 |     "rr-": "↠",
1068 |     "reb": "▬",
1069 |     "rew": "▭",
1070 |     "real": "ℝ",
1071 |     "registered": "®",
1072 |     "re": "▬",
1073 |     "rbag": "⟆",
1074 |     "rat": "ℚ",
1075 |     "radioactive": "☢",
1076 |     "rangle": "⟩",
1077 |     "rq": "’",
1078 |     "rial": "﷼",
1079 |     "rightarrowtail": "↣",
1080 |     "rightarrow": "→",
1081 |     "rightharpoondown": "⇁",
1082 |     "rightharpoonup": "⇀",
1083 |     "rightleftarrows": "⇄",
1084 |     "rightleftharpoons": "⇌",
1085 |     "rightrightarrows": "⇉",
1086 |     "rightthreetimes": "⋌",
1087 |     "risingdotseq": "≓",
1088 |     "ruble": "₽",
1089 |     "rupee": "₨",
1090 |     "rho": "ρ",
1091 |     "rhd": "▷",
1092 |     "rceil": "⌉",
1093 |     "rfloor": "⌋",
1094 |     "rtimes": "⋊",
1095 |     "rdq": "”",
1096 |     "rdata": "》",
1097 |     "functor": "⥤",
1098 |     "fun": "λ",
1099 |     "f<<": "«",
1100 |     "f<": "‹",
1101 |     "f>>": "»",
1102 |     "f>": "›",
1103 |     "frac12": "½",
1104 |     "frac13": "⅓",
1105 |     "frac14": "¼",
1106 |     "frac15": "⅕",
1107 |     "frac16": "⅙",
1108 |     "frac18": "⅛",
1109 |     "frac1": "⅟",
1110 |     "frac23": "⅔",
1111 |     "frac25": "⅖",
1112 |     "frac34": "¾",
1113 |     "frac35": "⅗",
1114 |     "frac38": "⅜",
1115 |     "frac45": "⅘",
1116 |     "frac56": "⅚",
1117 |     "frac58": "⅝",
1118 |     "frac78": "⅞",
1119 |     "frac": "¼",
1120 |     "frown": "⌢",
1121 |     "frqq": "»",
1122 |     "frq": "›",
1123 |     "female": "♀",
1124 |     "fei": "ϥ",
1125 |     "facsimile": "℻",
1126 |     "fallingdotseq": "≒",
1127 |     "flat": "♭",
1128 |     "flqq": "«",
1129 |     "flq": "‹",
1130 |     "forall": "∀",
1131 |     ")b": "⟆",
1132 |     "[[": "⟦",
1133 |     "]]": "⟧",
1134 |     "{{": "⦃",
1135 |     "}}": "⦄",
1136 |     "([": "⟮",
1137 |     "])": "⟯",
1138 |     "Xi": "Ξ",
1139 |     "Nat": "ℕ",
1140 |     "Nu": "Ν",
1141 |     "Zeta": "Ζ",
1142 |     "Rat": "ℚ",
1143 |     "Real": "ℝ",
1144 |     "Re": "ℜ",
1145 |     "Rho": "Ρ",
1146 |     "Rightarrow": "⇒",
1147 |     "Rrightarrow": "⇛",
1148 |     "Rsh": "↱",
1149 |     "Fei": "Ϥ",
1150 |     "Frowny": "☹",
1151 |     "Hori": "Ϩ",
1152 |     "Heta": "Ͱ",
1153 |     "Khei": "Ϧ",
1154 |     "Koppa": "Ϟ",
1155 |     "Kappa": "Κ",
1156 |     "^a": "ᵃ",
1157 |     "^b": "ᵇ",
1158 |     "^c": "ᶜ",
1159 |     "^d": "ᵈ",
1160 |     "^e": "ᵉ",
1161 |     "^f": "ᶠ",
1162 |     "^g": "ᵍ",
1163 |     "^h": "ʰ",
1164 |     "^i": "ⁱ",
1165 |     "^j": "ʲ",
1166 |     "^k": "ᵏ",
1167 |     "^l": "ˡ",
1168 |     "^m": "ᵐ",
1169 |     "^n": "ⁿ",
1170 |     "^o": "ᵒ",
1171 |     "^p": "ᵖ",
1172 |     "^r": "ʳ",
1173 |     "^s": "ˢ",
1174 |     "^t": "ᵗ",
1175 |     "^u": "ᵘ",
1176 |     "^v": "ᵛ",
1177 |     "^w": "ʷ",
1178 |     "^x": "ˣ",
1179 |     "^y": "ʸ",
1180 |     "^z": "ᶻ",
1181 |     "^A": "ᴬ",
1182 |     "^B": "ᴮ",
1183 |     "^D": "ᴰ",
1184 |     "^E": "ᴱ",
1185 |     "^G": "ᴳ",
1186 |     "^H": "ᴴ",
1187 |     "^I": "ᴵ",
1188 |     "^J": "ᴶ",
1189 |     "^K": "ᴷ",
1190 |     "^L": "ᴸ",
1191 |     "^M": "ᴹ",
1192 |     "^N": "ᴺ",
1193 |     "^O": "ᴼ",
1194 |     "^P": "ᴾ",
1195 |     "^R": "ᴿ",
1196 |     "^T": "ᵀ",
1197 |     "^U": "ᵁ",
1198 |     "^V": "ⱽ",
1199 |     "^W": "ᵂ",
1200 |     "^0": "⁰",
1201 |     "^1": "¹",
1202 |     "^2": "²",
1203 |     "^3": "³",
1204 |     "^4": "⁴",
1205 |     "^5": "⁵",
1206 |     "^6": "⁶",
1207 |     "^7": "⁷",
1208 |     "^8": "⁸",
1209 |     "^9": "⁹",
1210 |     "^)": "⁾",
1211 |     "^(": "⁽",
1212 |     "^=": "⁼",
1213 |     "^+": "⁺",
1214 |     "^o_": "º",
1215 |     "^-": "⁻",
1216 |     "^a_": "ª",
1217 |     "^uhook": "ꭟ",
1218 |     "^ubar": "ᶶ",
1219 |     "^upsilon": "ᶷ",
1220 |     "^ltilde": "ꭞ",
1221 |     "^ls": "ꭝ",
1222 |     "^lhook": "ᶪ",
1223 |     "^lretroflexhook": "ᶩ",
1224 |     "^oe": "ꟹ",
1225 |     "^heng": "ꭜ",
1226 |     "^hhook": "ʱ",
1227 |     "^hwithhook": "ʱ",
1228 |     "^Hstroke": "ꟸ",
1229 |     "^theta": "ᶿ",
1230 |     "^turnedv": "ᶺ",
1231 |     "^turnedmleg": "ᶭ",
1232 |     "^turnedm": "ᵚ",
1233 |     "^turnedh": "ᶣ",
1234 |     "^turnedalpha": "ᶛ",
1235 |     "^turnedae": "ᵆ",
1236 |     "^turneda": "ᵄ",
1237 |     "^turnedi": "ᵎ",
1238 |     "^turnede": "ᵌ",
1239 |     "^turnedrhook": "ʵ",
1240 |     "^turnedrwithhook": "ʵ",
1241 |     "^turnedr": "ʴ",
1242 |     "^twithpalatalhook": "ᶵ",
1243 |     "^otop": "ᵔ",
1244 |     "^ezh": "ᶾ",
1245 |     "^esh": "ᶴ",
1246 |     "^eth": "ᶞ",
1247 |     "^eng": "ᵑ",
1248 |     "^zcurl": "ᶽ",
1249 |     "^zretroflexhook": "ᶼ",
1250 |     "^vhook": "ᶹ",
1251 |     "^Ismall": "ᶦ",
1252 |     "^Lsmall": "ᶫ",
1253 |     "^Nsmall": "ᶰ",
1254 |     "^Usmall": "ᶸ",
1255 |     "^Istroke": "ᶧ",
1256 |     "^Rinverted": "ʶ",
1257 |     "^ccurl": "ᶝ",
1258 |     "^chi": "ᵡ",
1259 |     "^shook": "ᶳ",
1260 |     "^gscript": "ᶢ",
1261 |     "^schwa": "ᵊ",
1262 |     "^usideways": "ᵙ",
1263 |     "^phi": "ᶲ",
1264 |     "^obarred": "ᶱ",
1265 |     "^beta": "ᵝ",
1266 |     "^obottom": "ᵕ",
1267 |     "^nretroflexhook": "ᶯ",
1268 |     "^nlefthook": "ᶮ",
1269 |     "^mhook": "ᶬ",
1270 |     "^jtail": "ᶨ",
1271 |     "^iota": "ᶥ",
1272 |     "^istroke": "ᶤ",
1273 |     "^ereversedopen": "ᶟ",
1274 |     "^stop": "ˤ",
1275 |     "^varphi": "ᵠ",
1276 |     "^vargamma": "ᵞ",
1277 |     "^gamma": "ˠ",
1278 |     "^ain": "ᵜ",
1279 |     "^alpha": "ᵅ",
1280 |     "^oopen": "ᵓ",
1281 |     "^eopen": "ᵋ",
1282 |     "^Ou": "ᴽ",
1283 |     "^Nreversed": "ᴻ",
1284 |     "^Ereversed": "ᴲ",
1285 |     "^Bbarred": "ᴯ",
1286 |     "^Ae": "ᴭ",
1287 |     "^SM": "℠",
1288 |     "^TEL": "℡",
1289 |     "^TM": "™",
1290 |     "_a": "ₐ",
1291 |     "_e": "ₑ",
1292 |     "_h": "ₕ",
1293 |     "_i": "ᵢ",
1294 |     "_j": "ⱼ",
1295 |     "_k": "ₖ",
1296 |     "_l": "ₗ",
1297 |     "_m": "ₘ",
1298 |     "_n": "ₙ",
1299 |     "_o": "ₒ",
1300 |     "_p": "ₚ",
1301 |     "_r": "ᵣ",
1302 |     "_s": "ₛ",
1303 |     "_t": "ₜ",
1304 |     "_u": "ᵤ",
1305 |     "_v": "ᵥ",
1306 |     "_x": "ₓ",
1307 |     "_0": "₀",
1308 |     "_1": "₁",
1309 |     "_2": "₂",
1310 |     "_3": "₃",
1311 |     "_4": "₄",
1312 |     "_5": "₅",
1313 |     "_6": "₆",
1314 |     "_7": "₇",
1315 |     "_8": "₈",
1316 |     "_9": "₉",
1317 |     "_)": "₎",
1318 |     "_(": "₍",
1319 |     "_=": "₌",
1320 |     "_+": "₊",
1321 |     "_--": "̲",
1322 |     "_-": "₋",
1323 |     "!!": "‼",
1324 |     "!?": "⁉",
1325 |     "San": "Ϻ",
1326 |     "Sampi": "Ϡ",
1327 |     "Sho": "Ϸ",
1328 |     "Shima": "Ϭ",
1329 |     "Shei": "Ϣ",
1330 |     "Stigma": "Ϛ",
1331 |     "Sigma": "Σ",
1332 |     "Subset": "⋐",
1333 |     "Supset": "⋑",
1334 |     "Smiley": "☺",
1335 |     "Psi": "Ψ",
1336 |     "Phi": "Φ",
1337 |     "Pi": "Π",
1338 | 
1339 |     "Pi0": "Π₀",
1340 |     "P0": "Π₀",
1341 |     "Pi_0": "Π₀",
1342 |     "P_0": "Π₀",
1343 | 
1344 |     "bfA": "𝐀",
1345 |     "bfB": "𝐁",
1346 |     "bfC": "𝐂",
1347 |     "bfD": "𝐃",
1348 |     "bfE": "𝐄",
1349 |     "bfF": "𝐅",
1350 |     "bfG": "𝐆",
1351 |     "bfH": "𝐇",
1352 |     "bfI": "𝐈",
1353 |     "bfJ": "𝐉",
1354 |     "bfK": "𝐊",
1355 |     "bfL": "𝐋",
1356 |     "bfM": "𝐌",
1357 |     "bfN": "𝐍",
1358 |     "bfO": "𝐎",
1359 |     "bfP": "𝐏",
1360 |     "bfQ": "𝐐",
1361 |     "bfR": "𝐑",
1362 |     "bfS": "𝐒",
1363 |     "bfT": "𝐓",
1364 |     "bfU": "𝐔",
1365 |     "bfV": "𝐕",
1366 |     "bfW": "𝐖",
1367 |     "bfX": "𝐗",
1368 |     "bfY": "𝐘",
1369 |     "bfZ": "𝐙",
1370 | 
1371 |     "bfa": "𝐚",
1372 |     "bfb": "𝐛",
1373 |     "bfc": "𝐜",
1374 |     "bfd": "𝐝",
1375 |     "bfe": "𝐞",
1376 |     "bff": "𝐟",
1377 |     "bfg": "𝐠",
1378 |     "bfh": "𝐡",
1379 |     "bfi": "𝐢",
1380 |     "bfj": "𝐣",
1381 |     "bfk": "𝐤",
1382 |     "bfl": "𝐥",
1383 |     "bfm": "𝐦",
1384 |     "bfn": "𝐧",
1385 |     "bfo": "𝐨",
1386 |     "bfp": "𝐩",
1387 |     "bfq": "𝐪",
1388 |     "bfr": "𝐫",
1389 |     "bfs": "𝐬",
1390 |     "bft": "𝐭",
1391 |     "bfu": "𝐮",
1392 |     "bfv": "𝐯",
1393 |     "bfw": "𝐰",
1394 |     "bfx": "𝐱",
1395 |     "bfy": "𝐲",
1396 |     "bfz": "𝐳",
1397 | 
1398 |     "MiA": "𝐴",
1399 |     "MiB": "𝐵",
1400 |     "MiC": "𝐶",
1401 |     "MiD": "𝐷",
1402 |     "MiE": "𝐸",
1403 |     "MiF": "𝐹",
1404 |     "MiG": "𝐺",
1405 |     "MiH": "𝐻",
1406 |     "MiI": "𝐼",
1407 |     "MiJ": "𝐽",
1408 |     "MiK": "𝐾",
1409 |     "MiL": "𝐿",
1410 |     "MiM": "𝑀",
1411 |     "MiN": "𝑁",
1412 |     "MiO": "𝑂",
1413 |     "MiP": "𝑃",
1414 |     "MiQ": "𝑄",
1415 |     "MiR": "𝑅",
1416 |     "MiS": "𝑆",
1417 |     "MiT": "𝑇",
1418 |     "MiU": "𝑈",
1419 |     "MiV": "𝑉",
1420 |     "MiW": "𝑊",
1421 |     "MiX": "𝑋",
1422 |     "MiY": "𝑌",
1423 |     "MiZ": "𝑍",
1424 |     "Mia": "𝑎",
1425 |     "Mib": "𝑏",
1426 |     "Mic": "𝑐",
1427 |     "Mid": "𝑑",
1428 |     "Mie": "𝑒",
1429 |     "Mif": "𝑓",
1430 |     "Mig": "𝑔",
1431 |     "Mii": "𝑖",
1432 |     "Mij": "𝑗",
1433 |     "Mik": "𝑘",
1434 |     "Mil": "𝑙",
1435 |     "Mim": "𝑚",
1436 |     "Min": "𝑛",
1437 |     "Mio": "𝑜",
1438 |     "Mip": "𝑝",
1439 |     "Miq": "𝑞",
1440 |     "Mir": "𝑟",
1441 |     "Mis": "𝑠",
1442 |     "Mit": "𝑡",
1443 |     "Miu": "𝑢",
1444 |     "Miv": "𝑣",
1445 |     "Miw": "𝑤",
1446 |     "Mix": "𝑥",
1447 |     "Miy": "𝑦",
1448 |     "Miz": "𝑧",
1449 |     "MIA": "𝑨",
1450 |     "MIB": "𝑩",
1451 |     "MIC": "𝑪",
1452 |     "MID": "𝑫",
1453 |     "MIE": "𝑬",
1454 |     "MIF": "𝑭",
1455 |     "MIG": "𝑮",
1456 |     "MIH": "𝑯",
1457 |     "MII": "𝑰",
1458 |     "MIJ": "𝑱",
1459 |     "MIK": "𝑲",
1460 |     "MIL": "𝑳",
1461 |     "MIM": "𝑴",
1462 |     "MIN": "𝑵",
1463 |     "MIO": "𝑶",
1464 |     "MIP": "𝑷",
1465 |     "MIQ": "𝑸",
1466 |     "MIR": "𝑹",
1467 |     "MIS": "𝑺",
1468 |     "MIT": "𝑻",
1469 |     "MIU": "𝑼",
1470 |     "MIV": "𝑽",
1471 |     "MIW": "𝑾",
1472 |     "MIX": "𝑿",
1473 |     "MIY": "𝒀",
1474 |     "MIZ": "𝒁",
1475 |     "MIa": "𝒂",
1476 |     "MIb": "𝒃",
1477 |     "MIc": "𝒄",
1478 |     "MId": "𝒅",
1479 |     "MIe": "𝒆",
1480 |     "MIf": "𝒇",
1481 |     "MIg": "𝒈",
1482 |     "MIh": "𝒉",
1483 |     "MIi": "𝒊",
1484 |     "MIj": "𝒋",
1485 |     "MIk": "𝒌",
1486 |     "MIl": "𝒍",
1487 |     "MIm": "𝒎",
1488 |     "MIn": "𝒏",
1489 |     "MIo": "𝒐",
1490 |     "MIp": "𝒑",
1491 |     "MIq": "𝒒",
1492 |     "MIr": "𝒓",
1493 |     "MIs": "𝒔",
1494 |     "MIt": "𝒕",
1495 |     "MIu": "𝒖",
1496 |     "MIv": "𝒗",
1497 |     "MIw": "𝒘",
1498 |     "MIx": "𝒙",
1499 |     "MIy": "𝒚",
1500 |     "MIz": "𝒛",
1501 |     "McA": "𝒜",
1502 |     "McB": "ℬ",
1503 |     "McC": "𝒞",
1504 |     "McD": "𝒟",
1505 |     "McE": "ℰ",
1506 |     "McF": "ℱ",
1507 |     "McG": "𝒢",
1508 |     "McH": "ℋ",
1509 |     "McI": "ℐ",
1510 |     "McJ": "𝒥",
1511 |     "McK": "𝒦",
1512 |     "McL": "ℒ",
1513 |     "McM": "ℳ",
1514 |     "McN": "𝒩",
1515 |     "McO": "𝒪",
1516 |     "McP": "𝒫",
1517 |     "McQ": "𝒬",
1518 |     "McR": "ℛ",
1519 |     "McS": "𝒮",
1520 |     "McT": "𝒯",
1521 |     "McU": "𝒰",
1522 |     "McV": "𝒱",
1523 |     "McW": "𝒲",
1524 |     "McX": "𝒳",
1525 |     "McY": "𝒴",
1526 |     "McZ": "𝒵",
1527 |     "Mca": "𝒶",
1528 |     "Mcb": "𝒷",
1529 |     "Mcc": "𝒸",
1530 |     "Mcd": "𝒹",
1531 |     "Mce": "ℯ",
1532 |     "Mcf": "𝒻",
1533 |     "Mcg": "ℊ",
1534 |     "Mch": "𝒽",
1535 |     "Mci": "𝒾",
1536 |     "Mcj": "𝒿",
1537 |     "Mck": "𝓀",
1538 |     "Mcl": "𝓁",
1539 |     "Mcm": "𝓂",
1540 |     "Mcn": "𝓃",
1541 |     "Mco": "ℴ",
1542 |     "Mcp": "𝓅",
1543 |     "Mcq": "𝓆",
1544 |     "Mcr": "𝓇",
1545 |     "Mcs": "𝓈",
1546 |     "Mct": "𝓉",
1547 |     "Mcu": "𝓊",
1548 |     "Mcv": "𝓋",
1549 |     "Mcw": "𝓌",
1550 |     "Mcx": "𝓍",
1551 |     "Mcy": "𝓎",
1552 |     "Mcz": "𝓏",
1553 |     "MCA": "𝓐",
1554 |     "MCB": "𝓑",
1555 |     "MCC": "𝓒",
1556 |     "MCD": "𝓓",
1557 |     "MCE": "𝓔",
1558 |     "MCF": "𝓕",
1559 |     "MCG": "𝓖",
1560 |     "MCH": "𝓗",
1561 |     "MCI": "𝓘",
1562 |     "MCJ": "𝓙",
1563 |     "MCK": "𝓚",
1564 |     "MCL": "𝓛",
1565 |     "MCM": "𝓜",
1566 |     "MCN": "𝓝",
1567 |     "MCO": "𝓞",
1568 |     "MCP": "𝓟",
1569 |     "MCQ": "𝓠",
1570 |     "MCR": "𝓡",
1571 |     "MCS": "𝓢",
1572 |     "MCT": "𝓣",
1573 |     "MCU": "𝓤",
1574 |     "MCV": "𝓥",
1575 |     "MCW": "𝓦",
1576 |     "MCX": "𝓧",
1577 |     "MCY": "𝓨",
1578 |     "MCZ": "𝓩",
1579 |     "MCa": "𝓪",
1580 |     "MCb": "𝓫",
1581 |     "MCc": "𝓬",
1582 |     "MCd": "𝓭",
1583 |     "MCe": "𝓮",
1584 |     "MCf": "𝓯",
1585 |     "MCg": "𝓰",
1586 |     "MCh": "𝓱",
1587 |     "MCi": "𝓲",
1588 |     "MCj": "𝓳",
1589 |     "MCk": "𝓴",
1590 |     "MCl": "𝓵",
1591 |     "MCm": "𝓶",
1592 |     "MCn": "𝓷",
1593 |     "MCo": "𝓸",
1594 |     "MCp": "𝓹",
1595 |     "MCq": "𝓺",
1596 |     "MCr": "𝓻",
1597 |     "MCs": "𝓼",
1598 |     "MCt": "𝓽",
1599 |     "MCu": "𝓾",
1600 |     "MCv": "𝓿",
1601 |     "MCw": "𝔀",
1602 |     "MCx": "𝔁",
1603 |     "MCy": "𝔂",
1604 |     "MCz": "𝔃",
1605 |     "MfA": "𝔄",
1606 |     "MfB": "𝔅",
1607 |     "MfC": "ℭ",
1608 |     "MfD": "𝔇",
1609 |     "MfE": "𝔈",
1610 |     "MfF": "𝔉",
1611 |     "MfG": "𝔊",
1612 |     "MfH": "ℌ",
1613 |     "MfI": "ℑ",
1614 |     "MfJ": "𝔍",
1615 |     "MfK": "𝔎",
1616 |     "MfL": "𝔏",
1617 |     "MfM": "𝔐",
1618 |     "MfN": "𝔑",
1619 |     "MfO": "𝔒",
1620 |     "MfP": "𝔓",
1621 |     "MfQ": "𝔔",
1622 |     "MfR": "ℜ",
1623 |     "MfS": "𝔖",
1624 |     "MfT": "𝔗",
1625 |     "MfU": "𝔘",
1626 |     "MfV": "𝔙",
1627 |     "MfW": "𝔚",
1628 |     "MfX": "𝔛",
1629 |     "MfY": "𝔜",
1630 |     "MfZ": "ℨ",
1631 |     "Mfa": "𝔞",
1632 |     "Mfb": "𝔟",
1633 |     "Mfc": "𝔠",
1634 |     "Mfd": "𝔡",
1635 |     "Mfe": "𝔢",
1636 |     "Mff": "𝔣",
1637 |     "Mfg": "𝔤",
1638 |     "Mfh": "𝔥",
1639 |     "Mfi": "𝔦",
1640 |     "Mfj": "𝔧",
1641 |     "Mfk": "𝔨",
1642 |     "Mfl": "𝔩",
1643 |     "Mfm": "𝔪",
1644 |     "Mfn": "𝔫",
1645 |     "Mfo": "𝔬",
1646 |     "Mfp": "𝔭",
1647 |     "Mfq": "𝔮",
1648 |     "Mfr": "𝔯",
1649 |     "Mfs": "𝔰",
1650 |     "Mft": "𝔱",
1651 |     "Mfu": "𝔲",
1652 |     "Mfv": "𝔳",
1653 |     "Mfw": "𝔴",
1654 |     "Mfx": "𝔵",
1655 |     "Mfy": "𝔶",
1656 |     "Mfz": "𝔷",
1657 | 
1658 |     "yen": "¥",
1659 |     "varrho": "ϱ",
1660 |     "varkappa": "ϰ",
1661 |     "varkai": "ϗ",
1662 |     "varpi": "ϖ",
1663 |     "varphi": "ϕ",
1664 |     "varprime": "′",
1665 |     "varpropto": "∝",
1666 |     "vartheta": "ϑ",
1667 |     "vartriangleleft": "⊲",
1668 |     "vartriangleright": "⊳",
1669 |     "varbeta": "ϐ",
1670 |     "varsigma": "ς",
1671 |     "veebar": "⊻",
1672 |     "vee": "∨",
1673 |     "ve": "ě",
1674 |     "vE": "Ě",
1675 |     "vdash": "⊢",
1676 |     "vdots": "⋮",
1677 |     "vd": "ď",
1678 |     "vDash": "⊨",
1679 |     "vD": "Ď",
1680 |     "vc": "č",
1681 |     "vC": "Č",
1682 |     "koppa": "ϟ",
1683 |     "kip": "₭",
1684 |     "ki": "į",
1685 |     "kI": "Į",
1686 |     "kelvin": "K",
1687 |     "kappa": "κ",
1688 |     "khei": "ϧ",
1689 |     "warning": "⚠",
1690 |     "won": "₩",
1691 |     "wedge": "∧",
1692 |     "wp": "℘",
1693 |     "wr": "≀",
1694 |     "Dei": "Ϯ",
1695 |     "Delta": "Δ",
1696 |     "Digamma": "Ϝ",
1697 |     "Diamond": "◇",
1698 |     "Downarrow": "⇓",
1699 |     "DH": "Ð",
1700 |     "zeta": "ζ",
1701 |     "Eta": "Η",
1702 |     "Epsilon": "Ε",
1703 |     "Beta": "Β",
1704 |     "Box": "□",
1705 |     "Bumpeq": "≎",
1706 | 
1707 |     "bbA": "𝔸",
1708 |     "bbB": "𝔹",
1709 |     "bbC": "ℂ",
1710 |     "bbD": "𝔻",
1711 |     "bbE": "𝔼",
1712 |     "bbF": "𝔽",
1713 |     "bbG": "𝔾",
1714 |     "bbH": "ℍ",
1715 |     "bbI": "𝕀",
1716 |     "bbJ": "𝕁",
1717 |     "bbK": "𝕂",
1718 |     "bbL": "𝕃",
1719 |     "bbM": "𝕄",
1720 |     "bbN": "ℕ",
1721 |     "bbO": "𝕆",
1722 |     "bbP": "ℙ",
1723 |     "bbQ": "ℚ",
1724 |     "bbR": "ℝ",
1725 |     "bbS": "𝕊",
1726 |     "bbT": "𝕋",
1727 |     "bbU": "𝕌",
1728 |     "bbV": "𝕍",
1729 |     "bbW": "𝕎",
1730 |     "bbX": "𝕏",
1731 |     "bbY": "𝕐",
1732 |     "bbZ": "ℤ",
1733 |     "bba": "𝕒",
1734 |     "bbb": "𝕓",
1735 |     "bbc": "𝕔",
1736 |     "bbd": "𝕕",
1737 |     "bbe": "𝕖",
1738 |     "bbf": "𝕗",
1739 |     "bbg": "𝕘",
1740 |     "bbh": "𝕙",
1741 |     "bbi": "𝕚",
1742 |     "bbj": "𝕛",
1743 |     "bbk": "𝕜",
1744 |     "bbl": "𝕝",
1745 |     "bbm": "𝕞",
1746 |     "bbn": "𝕟",
1747 |     "bbo": "𝕠",
1748 |     "bbp": "𝕡",
1749 |     "bbq": "𝕢",
1750 |     "bbr": "𝕣",
1751 |     "bbs": "𝕤",
1752 |     "bbt": "𝕥",
1753 |     "bbu": "𝕦",
1754 |     "bbv": "𝕧",
1755 |     "bbw": "𝕨",
1756 |     "bbx": "𝕩",
1757 |     "bby": "𝕪",
1758 |     "bbz": "𝕫",
1759 | 
1760 |     "Rge0": "ℝ≥0",
1761 |     "R>=0": "ℝ≥0",
1762 |     "nnreal": "ℝ≥0",
1763 |     "ennreal": "ℝ≥0∞",
1764 |     "Zsqrt": "ℤ√",
1765 |     "zsqrtd": "ℤ√",
1766 |     "liel": "⁅",
1767 |     "[-": "⁅",
1768 |     "bracketl": "⁅",
1769 |     "lier": "⁆",
1770 |     "-]": "⁆",
1771 |     "bracketr": "⁆",
1772 |     "nhds": "𝓝",
1773 |     "nbhds": "𝓝",
1774 |     "X": "⨯",
1775 |     "vectorproduct": "⨯",
1776 |     "crossproduct": "⨯",
1777 |     "coprod": "⨿",
1778 |     "sigmaobj": "∐",
1779 |     "xf": "×ᶠ",
1780 |     "exf": "∃ᶠ",
1781 |     "c[": "⦃",
1782 |     "c]": "⦄",
1783 |     "Yot": "Ϳ",
1784 |     "goal": "⊢",
1785 |     "Vdash": "⊩",
1786 |     "Vert": "‖",
1787 |     "Vvdash": "⊪"
1788 | }
1789 | 


--------------------------------------------------------------------------------
/convert.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python3
 2 | 
 3 | import json
 4 | 
 5 | t = json.load(open('abbreviations.json'))
 6 | 
 7 | out = open('lean.mim', 'w')
 8 | 
 9 | out.write(r'''
10 | ;; lean.mim -- Input method using abbreviations from the Lean proof assistant
11 | 
12 | ;; Converted from https://github.com/leanprover/vscode-lean/translations.json
13 | 
14 | (input-method t lean)
15 | 
16 | (description "Input method using abbreviations from the Lean proof assistant
17 | 
18 | Example: \\nat \\to \\com
19 | ")
20 | 
21 | (title "Lean")
22 | 
23 | (map (map
24 | ''')
25 | 
26 | for k, v in sorted(t.items(), key = lambda i: i[0]):
27 |     if '$CURSOR' in v: continue
28 |     if k == '\\': continue
29 |     k = '\\' + k
30 |     k = k.replace('\\', '\\\\')
31 |     k = k.replace('"', '\\"')
32 |     out.write('  ("{0}" "{1}")\n'.format(k, v))
33 | 
34 | out.write(r'''
35 | ))
36 | 
37 | (state (init (map)))
38 | ''')
39 | 


--------------------------------------------------------------------------------
/lean.mim:
--------------------------------------------------------------------------------
   1 | 
   2 | ;; lean.mim -- Input method using abbreviations from the Lean proof assistant
   3 | 
   4 | ;; Converted from https://github.com/leanprover/vscode-lean/translations.json
   5 | 
   6 | (input-method t lean)
   7 | 
   8 | (description "Input method using abbreviations from the Lean proof assistant
   9 | 
  10 | Example: \\nat \\to \\com
  11 | ")
  12 | 
  13 | (title "Lean")
  14 | 
  15 | (map (map
  16 |   ("\\!" "¡")
  17 |   ("\\!!" "‼")
  18 |   ("\\!?" "⁉")
  19 |   ("\\\"A" "Ä")
  20 |   ("\\\"E" "Ë")
  21 |   ("\\\"I" "Ï")
  22 |   ("\\\"O" "Ö")
  23 |   ("\\\"U" "Ü")
  24 |   ("\\\"a" "ä")
  25 |   ("\\\"e" "ë")
  26 |   ("\\\"i" "ï")
  27 |   ("\\\"o" "ö")
  28 |   ("\\\"u" "ü")
  29 |   ("\\\"y" "ÿ")
  30 |   ("\\#" "♯")
  31 |   ("\\&" "⅋")
  32 |   ("\\'A" "Á")
  33 |   ("\\'E" "É")
  34 |   ("\\'I" "Í")
  35 |   ("\\'O" "Ó")
  36 |   ("\\'U" "Ú")
  37 |   ("\\'Y" "Ý")
  38 |   ("\\'a" "á")
  39 |   ("\\'e" "é")
  40 |   ("\\'i" "í")
  41 |   ("\\'o" "ó")
  42 |   ("\\'u" "ú")
  43 |   ("\\'y" "ý")
  44 |   ("\\(=" "≘")
  45 |   ("\\([" "⟮")
  46 |   ("\\(b" "⟅")
  47 |   ("\\)b" "⟆")
  48 |   ("\\*" "⋆")
  49 |   ("\\*=" "≛")
  50 |   ("\\+ " "⊹")
  51 |   ("\\-" "⁻¹")
  52 |   ("\\---" "─")
  53 |   ("\\--." "╌")
  54 |   ("\\--=" "═")
  55 |   ("\\-->" "⟶")
  56 |   ("\\--_" "━")
  57 |   ("\\-1" "⁻¹")
  58 |   ("\\-2" "⁻²")
  59 |   ("\\-3" "⁻³")
  60 |   ("\\-:" "∹")
  61 |   ("\\->" "→")
  62 |   ("\\->n" "↛")
  63 |   ("\\-]" "⁆")
  64 |   ("\\-o" "⊸")
  65 |   ("\\-|" "⊣")
  66 |   ("\\-~" "≂")
  67 |   ("\\." "·")
  68 |   ("\\.+" "∔")
  69 |   ("\\.-" "∸")
  70 |   ("\\..." "⋯")
  71 |   ("\\.=" "≐")
  72 |   ("\\.=." "≑")
  73 |   ("\\/" "⧸")
  74 |   ("\\/L" "Ł")
  75 |   ("\\/O" "Ø")
  76 |   ("\\/o" "ø")
  77 |   ("\\0" "₀")
  78 |   ("\\1" "₁")
  79 |   ("\\2" "₂")
  80 |   ("\\3" "₃")
  81 |   ("\\4" "₄")
  82 |   ("\\5" "₅")
  83 |   ("\\6" "₆")
  84 |   ("\\7" "₇")
  85 |   ("\\8" "₈")
  86 |   ("\\8<" "✂")
  87 |   ("\\9" "₉")
  88 |   ("\\:" "∶")
  89 |   ("\\::" "∷")
  90 |   ("\\::-" "∺")
  91 |   ("\\:=" "≔")
  92 |   ("\\:>" "⋗")
  93 |   ("\\:~" "∻")
  94 |   ("\\<" "⟨")
  95 |   ("\\<-" "←")
  96 |   ("\\<--" "⟵")
  97 |   ("\\<-->" "⟷")
  98 |   ("\\<->" "↔")
  99 |   ("\\<->n" "↮")
 100 |   ("\\<-n" "↚")
 101 |   ("\\<:" "⋖")
 102 |   ("\\<<" "⟪")
 103 |   ("\\<=" "≤")
 104 |   ("\\<=>" "⇔")
 105 |   ("\\<=>n" "⇎")
 106 |   ("\\<=n" "≰")
 107 |   ("\\<n" "≮")
 108 |   ("\\<~" "≲")
 109 |   ("\\<~n" "⋦")
 110 |   ("\\<~nn" "≴")
 111 |   ("\\=:" "≕")
 112 |   ("\\==" "≡")
 113 |   ("\\===" "≣")
 114 |   ("\\==>" "⟹")
 115 |   ("\\==n" "≢")
 116 |   ("\\=>" "⇒")
 117 |   ("\\=>n" "⇏")
 118 |   ("\\=n" "≠")
 119 |   ("\\=o" "≗")
 120 |   ("\\>" "⟩")
 121 |   ("\\>=" "≥")
 122 |   ("\\>=n" "≱")
 123 |   ("\\>>" "⟫")
 124 |   ("\\>n" "≯")
 125 |   ("\\>~" "≳")
 126 |   ("\\>~n" "⋧")
 127 |   ("\\>~nn" "≵")
 128 |   ("\\?" "¿")
 129 |   ("\\?!" "‽")
 130 |   ("\\?=" "≟")
 131 |   ("\\??" "⁇")
 132 |   ("\\A" "𝔸")
 133 |   ("\\AA" "Å")
 134 |   ("\\AE" "Æ")
 135 |   ("\\Alpha" "Α")
 136 |   ("\\And" "⋀")
 137 |   ("\\Beta" "Β")
 138 |   ("\\Box" "□")
 139 |   ("\\Bumpeq" "≎")
 140 |   ("\\C" "ℂ")
 141 |   ("\\Cap" "⋒")
 142 |   ("\\Chi" "Χ")
 143 |   ("\\Com" "ℂ")
 144 |   ("\\Complement" "∁")
 145 |   ("\\Cup" "⋓")
 146 |   ("\\D" "Δ")
 147 |   ("\\DH" "Ð")
 148 |   ("\\Dei" "Ϯ")
 149 |   ("\\Delta" "Δ")
 150 |   ("\\Diamond" "◇")
 151 |   ("\\Digamma" "Ϝ")
 152 |   ("\\Downarrow" "⇓")
 153 |   ("\\Epsilon" "Ε")
 154 |   ("\\Eta" "Η")
 155 |   ("\\F" "𝔽")
 156 |   ("\\Fei" "Ϥ")
 157 |   ("\\Frowny" "☹")
 158 |   ("\\G" "Γ")
 159 |   ("\\GA" "Α")
 160 |   ("\\GB" "Β")
 161 |   ("\\GC" "Χ")
 162 |   ("\\GD" "Δ")
 163 |   ("\\GE" "Ε")
 164 |   ("\\GF" "Φ")
 165 |   ("\\GG" "Γ")
 166 |   ("\\GI" "Ι")
 167 |   ("\\GK" "Κ")
 168 |   ("\\GL" "Λ")
 169 |   ("\\GM" "Μ")
 170 |   ("\\GN" "Ν")
 171 |   ("\\GO" "Ω")
 172 |   ("\\GP" "Ψ")
 173 |   ("\\GR" "Ρ")
 174 |   ("\\GS" "Σ")
 175 |   ("\\GT" "Τ")
 176 |   ("\\GTH" "Θ")
 177 |   ("\\GU" "Υ")
 178 |   ("\\GX" "Ξ")
 179 |   ("\\GZ" "Ζ")
 180 |   ("\\Ga" "α")
 181 |   ("\\Gamma" "Γ")
 182 |   ("\\Gangia" "Ϫ")
 183 |   ("\\Gb" "β")
 184 |   ("\\Gc" "χ")
 185 |   ("\\Gd" "δ")
 186 |   ("\\Ge" "ε")
 187 |   ("\\Gf" "φ")
 188 |   ("\\Gg" "γ")
 189 |   ("\\Gi" "ι")
 190 |   ("\\Gk" "κ")
 191 |   ("\\Gl" "λ")
 192 |   ("\\Gl-" "ƛ")
 193 |   ("\\Glb" "⨅")
 194 |   ("\\Gm" "μ")
 195 |   ("\\Gn" "ν")
 196 |   ("\\Go" "ω")
 197 |   ("\\Gp" "ψ")
 198 |   ("\\Gr" "ρ")
 199 |   ("\\Gs" "σ")
 200 |   ("\\Gt" "τ")
 201 |   ("\\Gth" "θ")
 202 |   ("\\Gu" "υ")
 203 |   ("\\Gx" "ξ")
 204 |   ("\\Gz" "ζ")
 205 |   ("\\H" "ℍ")
 206 |   ("\\Heta" "Ͱ")
 207 |   ("\\Hori" "Ϩ")
 208 |   ("\\I" "⋂")
 209 |   ("\\I0" "⋂₀")
 210 |   ("\\Im" "ℑ")
 211 |   ("\\Inf" "⨅")
 212 |   ("\\Int" "ℤ")
 213 |   ("\\Inter" "⋂")
 214 |   ("\\Iota" "Ι")
 215 |   ("\\Join" "⨆")
 216 |   ("\\K" "𝕂")
 217 |   ("\\Kappa" "Κ")
 218 |   ("\\Khei" "Ϧ")
 219 |   ("\\Koppa" "Ϟ")
 220 |   ("\\L" "Λ")
 221 |   ("\\Lambda" "Λ")
 222 |   ("\\Lamda" "Λ")
 223 |   ("\\Leftarrow" "⇐")
 224 |   ("\\Leftrightarrow" "⇔")
 225 |   ("\\Letter" "✉")
 226 |   ("\\Ll" "⋘")
 227 |   ("\\Lleftarrow" "⇚")
 228 |   ("\\Longleftarrow" "⇐")
 229 |   ("\\Longleftrightarrow" "⇔")
 230 |   ("\\Longrightarrow" "⇒")
 231 |   ("\\Lsh" "↰")
 232 |   ("\\Lub" "⨆")
 233 |   ("\\MCA" "𝓐")
 234 |   ("\\MCB" "𝓑")
 235 |   ("\\MCC" "𝓒")
 236 |   ("\\MCD" "𝓓")
 237 |   ("\\MCE" "𝓔")
 238 |   ("\\MCF" "𝓕")
 239 |   ("\\MCG" "𝓖")
 240 |   ("\\MCH" "𝓗")
 241 |   ("\\MCI" "𝓘")
 242 |   ("\\MCJ" "𝓙")
 243 |   ("\\MCK" "𝓚")
 244 |   ("\\MCL" "𝓛")
 245 |   ("\\MCM" "𝓜")
 246 |   ("\\MCN" "𝓝")
 247 |   ("\\MCO" "𝓞")
 248 |   ("\\MCP" "𝓟")
 249 |   ("\\MCQ" "𝓠")
 250 |   ("\\MCR" "𝓡")
 251 |   ("\\MCS" "𝓢")
 252 |   ("\\MCT" "𝓣")
 253 |   ("\\MCU" "𝓤")
 254 |   ("\\MCV" "𝓥")
 255 |   ("\\MCW" "𝓦")
 256 |   ("\\MCX" "𝓧")
 257 |   ("\\MCY" "𝓨")
 258 |   ("\\MCZ" "𝓩")
 259 |   ("\\MCa" "𝓪")
 260 |   ("\\MCb" "𝓫")
 261 |   ("\\MCc" "𝓬")
 262 |   ("\\MCd" "𝓭")
 263 |   ("\\MCe" "𝓮")
 264 |   ("\\MCf" "𝓯")
 265 |   ("\\MCg" "𝓰")
 266 |   ("\\MCh" "𝓱")
 267 |   ("\\MCi" "𝓲")
 268 |   ("\\MCj" "𝓳")
 269 |   ("\\MCk" "𝓴")
 270 |   ("\\MCl" "𝓵")
 271 |   ("\\MCm" "𝓶")
 272 |   ("\\MCn" "𝓷")
 273 |   ("\\MCo" "𝓸")
 274 |   ("\\MCp" "𝓹")
 275 |   ("\\MCq" "𝓺")
 276 |   ("\\MCr" "𝓻")
 277 |   ("\\MCs" "𝓼")
 278 |   ("\\MCt" "𝓽")
 279 |   ("\\MCu" "𝓾")
 280 |   ("\\MCv" "𝓿")
 281 |   ("\\MCw" "𝔀")
 282 |   ("\\MCx" "𝔁")
 283 |   ("\\MCy" "𝔂")
 284 |   ("\\MCz" "𝔃")
 285 |   ("\\MIA" "𝑨")
 286 |   ("\\MIB" "𝑩")
 287 |   ("\\MIC" "𝑪")
 288 |   ("\\MID" "𝑫")
 289 |   ("\\MIE" "𝑬")
 290 |   ("\\MIF" "𝑭")
 291 |   ("\\MIG" "𝑮")
 292 |   ("\\MIH" "𝑯")
 293 |   ("\\MII" "𝑰")
 294 |   ("\\MIJ" "𝑱")
 295 |   ("\\MIK" "𝑲")
 296 |   ("\\MIL" "𝑳")
 297 |   ("\\MIM" "𝑴")
 298 |   ("\\MIN" "𝑵")
 299 |   ("\\MIO" "𝑶")
 300 |   ("\\MIP" "𝑷")
 301 |   ("\\MIQ" "𝑸")
 302 |   ("\\MIR" "𝑹")
 303 |   ("\\MIS" "𝑺")
 304 |   ("\\MIT" "𝑻")
 305 |   ("\\MIU" "𝑼")
 306 |   ("\\MIV" "𝑽")
 307 |   ("\\MIW" "𝑾")
 308 |   ("\\MIX" "𝑿")
 309 |   ("\\MIY" "𝒀")
 310 |   ("\\MIZ" "𝒁")
 311 |   ("\\MIa" "𝒂")
 312 |   ("\\MIb" "𝒃")
 313 |   ("\\MIc" "𝒄")
 314 |   ("\\MId" "𝒅")
 315 |   ("\\MIe" "𝒆")
 316 |   ("\\MIf" "𝒇")
 317 |   ("\\MIg" "𝒈")
 318 |   ("\\MIh" "𝒉")
 319 |   ("\\MIi" "𝒊")
 320 |   ("\\MIj" "𝒋")
 321 |   ("\\MIk" "𝒌")
 322 |   ("\\MIl" "𝒍")
 323 |   ("\\MIm" "𝒎")
 324 |   ("\\MIn" "𝒏")
 325 |   ("\\MIo" "𝒐")
 326 |   ("\\MIp" "𝒑")
 327 |   ("\\MIq" "𝒒")
 328 |   ("\\MIr" "𝒓")
 329 |   ("\\MIs" "𝒔")
 330 |   ("\\MIt" "𝒕")
 331 |   ("\\MIu" "𝒖")
 332 |   ("\\MIv" "𝒗")
 333 |   ("\\MIw" "𝒘")
 334 |   ("\\MIx" "𝒙")
 335 |   ("\\MIy" "𝒚")
 336 |   ("\\MIz" "𝒛")
 337 |   ("\\McA" "𝒜")
 338 |   ("\\McB" "ℬ")
 339 |   ("\\McC" "𝒞")
 340 |   ("\\McD" "𝒟")
 341 |   ("\\McE" "ℰ")
 342 |   ("\\McF" "ℱ")
 343 |   ("\\McG" "𝒢")
 344 |   ("\\McH" "ℋ")
 345 |   ("\\McI" "ℐ")
 346 |   ("\\McJ" "𝒥")
 347 |   ("\\McK" "𝒦")
 348 |   ("\\McL" "ℒ")
 349 |   ("\\McM" "ℳ")
 350 |   ("\\McN" "𝒩")
 351 |   ("\\McO" "𝒪")
 352 |   ("\\McP" "𝒫")
 353 |   ("\\McQ" "𝒬")
 354 |   ("\\McR" "ℛ")
 355 |   ("\\McS" "𝒮")
 356 |   ("\\McT" "𝒯")
 357 |   ("\\McU" "𝒰")
 358 |   ("\\McV" "𝒱")
 359 |   ("\\McW" "𝒲")
 360 |   ("\\McX" "𝒳")
 361 |   ("\\McY" "𝒴")
 362 |   ("\\McZ" "𝒵")
 363 |   ("\\Mca" "𝒶")
 364 |   ("\\Mcb" "𝒷")
 365 |   ("\\Mcc" "𝒸")
 366 |   ("\\Mcd" "𝒹")
 367 |   ("\\Mce" "ℯ")
 368 |   ("\\Mcf" "𝒻")
 369 |   ("\\Mcg" "ℊ")
 370 |   ("\\Mch" "𝒽")
 371 |   ("\\Mci" "𝒾")
 372 |   ("\\Mcj" "𝒿")
 373 |   ("\\Mck" "𝓀")
 374 |   ("\\Mcl" "𝓁")
 375 |   ("\\Mcm" "𝓂")
 376 |   ("\\Mcn" "𝓃")
 377 |   ("\\Mco" "ℴ")
 378 |   ("\\Mcp" "𝓅")
 379 |   ("\\Mcq" "𝓆")
 380 |   ("\\Mcr" "𝓇")
 381 |   ("\\Mcs" "𝓈")
 382 |   ("\\Mct" "𝓉")
 383 |   ("\\Mcu" "𝓊")
 384 |   ("\\Mcv" "𝓋")
 385 |   ("\\Mcw" "𝓌")
 386 |   ("\\Mcx" "𝓍")
 387 |   ("\\Mcy" "𝓎")
 388 |   ("\\Mcz" "𝓏")
 389 |   ("\\Meet" "⨅")
 390 |   ("\\MfA" "𝔄")
 391 |   ("\\MfB" "𝔅")
 392 |   ("\\MfC" "ℭ")
 393 |   ("\\MfD" "𝔇")
 394 |   ("\\MfE" "𝔈")
 395 |   ("\\MfF" "𝔉")
 396 |   ("\\MfG" "𝔊")
 397 |   ("\\MfH" "ℌ")
 398 |   ("\\MfI" "ℑ")
 399 |   ("\\MfJ" "𝔍")
 400 |   ("\\MfK" "𝔎")
 401 |   ("\\MfL" "𝔏")
 402 |   ("\\MfM" "𝔐")
 403 |   ("\\MfN" "𝔑")
 404 |   ("\\MfO" "𝔒")
 405 |   ("\\MfP" "𝔓")
 406 |   ("\\MfQ" "𝔔")
 407 |   ("\\MfR" "ℜ")
 408 |   ("\\MfS" "𝔖")
 409 |   ("\\MfT" "𝔗")
 410 |   ("\\MfU" "𝔘")
 411 |   ("\\MfV" "𝔙")
 412 |   ("\\MfW" "𝔚")
 413 |   ("\\MfX" "𝔛")
 414 |   ("\\MfY" "𝔜")
 415 |   ("\\MfZ" "ℨ")
 416 |   ("\\Mfa" "𝔞")
 417 |   ("\\Mfb" "𝔟")
 418 |   ("\\Mfc" "𝔠")
 419 |   ("\\Mfd" "𝔡")
 420 |   ("\\Mfe" "𝔢")
 421 |   ("\\Mff" "𝔣")
 422 |   ("\\Mfg" "𝔤")
 423 |   ("\\Mfh" "𝔥")
 424 |   ("\\Mfi" "𝔦")
 425 |   ("\\Mfj" "𝔧")
 426 |   ("\\Mfk" "𝔨")
 427 |   ("\\Mfl" "𝔩")
 428 |   ("\\Mfm" "𝔪")
 429 |   ("\\Mfn" "𝔫")
 430 |   ("\\Mfo" "𝔬")
 431 |   ("\\Mfp" "𝔭")
 432 |   ("\\Mfq" "𝔮")
 433 |   ("\\Mfr" "𝔯")
 434 |   ("\\Mfs" "𝔰")
 435 |   ("\\Mft" "𝔱")
 436 |   ("\\Mfu" "𝔲")
 437 |   ("\\Mfv" "𝔳")
 438 |   ("\\Mfw" "𝔴")
 439 |   ("\\Mfx" "𝔵")
 440 |   ("\\Mfy" "𝔶")
 441 |   ("\\Mfz" "𝔷")
 442 |   ("\\MiA" "𝐴")
 443 |   ("\\MiB" "𝐵")
 444 |   ("\\MiC" "𝐶")
 445 |   ("\\MiD" "𝐷")
 446 |   ("\\MiE" "𝐸")
 447 |   ("\\MiF" "𝐹")
 448 |   ("\\MiG" "𝐺")
 449 |   ("\\MiH" "𝐻")
 450 |   ("\\MiI" "𝐼")
 451 |   ("\\MiJ" "𝐽")
 452 |   ("\\MiK" "𝐾")
 453 |   ("\\MiL" "𝐿")
 454 |   ("\\MiM" "𝑀")
 455 |   ("\\MiN" "𝑁")
 456 |   ("\\MiO" "𝑂")
 457 |   ("\\MiP" "𝑃")
 458 |   ("\\MiQ" "𝑄")
 459 |   ("\\MiR" "𝑅")
 460 |   ("\\MiS" "𝑆")
 461 |   ("\\MiT" "𝑇")
 462 |   ("\\MiU" "𝑈")
 463 |   ("\\MiV" "𝑉")
 464 |   ("\\MiW" "𝑊")
 465 |   ("\\MiX" "𝑋")
 466 |   ("\\MiY" "𝑌")
 467 |   ("\\MiZ" "𝑍")
 468 |   ("\\Mia" "𝑎")
 469 |   ("\\Mib" "𝑏")
 470 |   ("\\Mic" "𝑐")
 471 |   ("\\Mid" "𝑑")
 472 |   ("\\Mie" "𝑒")
 473 |   ("\\Mif" "𝑓")
 474 |   ("\\Mig" "𝑔")
 475 |   ("\\Mii" "𝑖")
 476 |   ("\\Mij" "𝑗")
 477 |   ("\\Mik" "𝑘")
 478 |   ("\\Mil" "𝑙")
 479 |   ("\\Mim" "𝑚")
 480 |   ("\\Min" "𝑛")
 481 |   ("\\Mio" "𝑜")
 482 |   ("\\Mip" "𝑝")
 483 |   ("\\Miq" "𝑞")
 484 |   ("\\Mir" "𝑟")
 485 |   ("\\Mis" "𝑠")
 486 |   ("\\Mit" "𝑡")
 487 |   ("\\Miu" "𝑢")
 488 |   ("\\Miv" "𝑣")
 489 |   ("\\Miw" "𝑤")
 490 |   ("\\Mix" "𝑥")
 491 |   ("\\Miy" "𝑦")
 492 |   ("\\Miz" "𝑧")
 493 |   ("\\N" "ℕ")
 494 |   ("\\Nat" "ℕ")
 495 |   ("\\Nu" "Ν")
 496 |   ("\\O" "Ø")
 497 |   ("\\O*" "⍟")
 498 |   ("\\O+" "⨁")
 499 |   ("\\O." "⨀")
 500 |   ("\\OE" "Œ")
 501 |   ("\\Omega" "Ω")
 502 |   ("\\Omicron" "Ο")
 503 |   ("\\Or" "⋁")
 504 |   ("\\Ox" "⨂")
 505 |   ("\\P" "Π")
 506 |   ("\\P0" "Π₀")
 507 |   ("\\P_0" "Π₀")
 508 |   ("\\Phi" "Φ")
 509 |   ("\\Pi" "Π")
 510 |   ("\\Pi0" "Π₀")
 511 |   ("\\Pi_0" "Π₀")
 512 |   ("\\Psi" "Ψ")
 513 |   ("\\Q" "ℚ")
 514 |   ("\\R" "ℝ")
 515 |   ("\\R>=0" "ℝ≥0")
 516 |   ("\\Rat" "ℚ")
 517 |   ("\\Re" "ℜ")
 518 |   ("\\Real" "ℝ")
 519 |   ("\\Rge0" "ℝ≥0")
 520 |   ("\\Rho" "Ρ")
 521 |   ("\\Rightarrow" "⇒")
 522 |   ("\\Rrightarrow" "⇛")
 523 |   ("\\Rsh" "↱")
 524 |   ("\\S" "Σ")
 525 |   ("\\Sampi" "Ϡ")
 526 |   ("\\San" "Ϻ")
 527 |   ("\\Shei" "Ϣ")
 528 |   ("\\Shima" "Ϭ")
 529 |   ("\\Sho" "Ϸ")
 530 |   ("\\Sigma" "Σ")
 531 |   ("\\Smiley" "☺")
 532 |   ("\\Sqcap" "⨅")
 533 |   ("\\Sqcup" "⨆")
 534 |   ("\\Stigma" "Ϛ")
 535 |   ("\\Subset" "⋐")
 536 |   ("\\Sup" "⨆")
 537 |   ("\\Supset" "⋑")
 538 |   ("\\TH" "Þ")
 539 |   ("\\Tau" "Τ")
 540 |   ("\\Tb" "◀")
 541 |   ("\\Theta" "Θ")
 542 |   ("\\Tr" "◀")
 543 |   ("\\Tw" "◁")
 544 |   ("\\U" "⋃")
 545 |   ("\\U+" "⨄")
 546 |   ("\\U." "⨃")
 547 |   ("\\U0" "⋃₀")
 548 |   ("\\Un" "⋃")
 549 |   ("\\Union" "⋃")
 550 |   ("\\Uparrow" "⇑")
 551 |   ("\\Updownarrow" "⇕")
 552 |   ("\\Upsilon" "Υ")
 553 |   ("\\Vdash" "⊩")
 554 |   ("\\Vert" "‖")
 555 |   ("\\Vvdash" "⊪")
 556 |   ("\\X" "⨯")
 557 |   ("\\Xi" "Ξ")
 558 |   ("\\Yot" "Ϳ")
 559 |   ("\\Z" "ℤ")
 560 |   ("\\Zeta" "Ζ")
 561 |   ("\\Zsqrt" "ℤ√")
 562 |   ("\\[-" "⁅")
 563 |   ("\\[[" "⟦")
 564 |   ("\\])" "⟯")
 565 |   ("\\]]" "⟧")
 566 |   ("\\^(" "⁽")
 567 |   ("\\^)" "⁾")
 568 |   ("\\^+" "⁺")
 569 |   ("\\^-" "⁻")
 570 |   ("\\^-1" "⁻¹")
 571 |   ("\\^0" "⁰")
 572 |   ("\\^1" "¹")
 573 |   ("\\^2" "²")
 574 |   ("\\^3" "³")
 575 |   ("\\^4" "⁴")
 576 |   ("\\^5" "⁵")
 577 |   ("\\^6" "⁶")
 578 |   ("\\^7" "⁷")
 579 |   ("\\^8" "⁸")
 580 |   ("\\^9" "⁹")
 581 |   ("\\^=" "⁼")
 582 |   ("\\^A" "ᴬ")
 583 |   ("\\^Ae" "ᴭ")
 584 |   ("\\^B" "ᴮ")
 585 |   ("\\^Bbarred" "ᴯ")
 586 |   ("\\^D" "ᴰ")
 587 |   ("\\^E" "ᴱ")
 588 |   ("\\^Ereversed" "ᴲ")
 589 |   ("\\^G" "ᴳ")
 590 |   ("\\^H" "ᴴ")
 591 |   ("\\^Hstroke" "ꟸ")
 592 |   ("\\^I" "ᴵ")
 593 |   ("\\^Ismall" "ᶦ")
 594 |   ("\\^Istroke" "ᶧ")
 595 |   ("\\^J" "ᴶ")
 596 |   ("\\^K" "ᴷ")
 597 |   ("\\^L" "ᴸ")
 598 |   ("\\^Lsmall" "ᶫ")
 599 |   ("\\^M" "ᴹ")
 600 |   ("\\^N" "ᴺ")
 601 |   ("\\^Nreversed" "ᴻ")
 602 |   ("\\^Nsmall" "ᶰ")
 603 |   ("\\^O" "ᴼ")
 604 |   ("\\^Ou" "ᴽ")
 605 |   ("\\^P" "ᴾ")
 606 |   ("\\^R" "ᴿ")
 607 |   ("\\^Rinverted" "ʶ")
 608 |   ("\\^SM" "℠")
 609 |   ("\\^T" "ᵀ")
 610 |   ("\\^TEL" "℡")
 611 |   ("\\^TM" "™")
 612 |   ("\\^U" "ᵁ")
 613 |   ("\\^Usmall" "ᶸ")
 614 |   ("\\^V" "ⱽ")
 615 |   ("\\^W" "ᵂ")
 616 |   ("\\^a" "ᵃ")
 617 |   ("\\^a_" "ª")
 618 |   ("\\^ain" "ᵜ")
 619 |   ("\\^alpha" "ᵅ")
 620 |   ("\\^b" "ᵇ")
 621 |   ("\\^beta" "ᵝ")
 622 |   ("\\^bot" "ᗮ")
 623 |   ("\\^c" "ᶜ")
 624 |   ("\\^ccurl" "ᶝ")
 625 |   ("\\^chi" "ᵡ")
 626 |   ("\\^d" "ᵈ")
 627 |   ("\\^e" "ᵉ")
 628 |   ("\\^eng" "ᵑ")
 629 |   ("\\^eopen" "ᵋ")
 630 |   ("\\^ereversedopen" "ᶟ")
 631 |   ("\\^esh" "ᶴ")
 632 |   ("\\^eth" "ᶞ")
 633 |   ("\\^ezh" "ᶾ")
 634 |   ("\\^f" "ᶠ")
 635 |   ("\\^g" "ᵍ")
 636 |   ("\\^gamma" "ˠ")
 637 |   ("\\^gscript" "ᶢ")
 638 |   ("\\^h" "ʰ")
 639 |   ("\\^heng" "ꭜ")
 640 |   ("\\^hhook" "ʱ")
 641 |   ("\\^hwithhook" "ʱ")
 642 |   ("\\^i" "ⁱ")
 643 |   ("\\^iota" "ᶥ")
 644 |   ("\\^istroke" "ᶤ")
 645 |   ("\\^j" "ʲ")
 646 |   ("\\^jtail" "ᶨ")
 647 |   ("\\^k" "ᵏ")
 648 |   ("\\^l" "ˡ")
 649 |   ("\\^lhook" "ᶪ")
 650 |   ("\\^lretroflexhook" "ᶩ")
 651 |   ("\\^ls" "ꭝ")
 652 |   ("\\^ltilde" "ꭞ")
 653 |   ("\\^m" "ᵐ")
 654 |   ("\\^mhook" "ᶬ")
 655 |   ("\\^n" "ⁿ")
 656 |   ("\\^nlefthook" "ᶮ")
 657 |   ("\\^nretroflexhook" "ᶯ")
 658 |   ("\\^o" "ᵒ")
 659 |   ("\\^o_" "º")
 660 |   ("\\^obarred" "ᶱ")
 661 |   ("\\^obottom" "ᵕ")
 662 |   ("\\^oe" "ꟹ")
 663 |   ("\\^oopen" "ᵓ")
 664 |   ("\\^otop" "ᵔ")
 665 |   ("\\^p" "ᵖ")
 666 |   ("\\^perp" "ᗮ")
 667 |   ("\\^phi" "ᶲ")
 668 |   ("\\^r" "ʳ")
 669 |   ("\\^s" "ˢ")
 670 |   ("\\^schwa" "ᵊ")
 671 |   ("\\^shook" "ᶳ")
 672 |   ("\\^stop" "ˤ")
 673 |   ("\\^t" "ᵗ")
 674 |   ("\\^theta" "ᶿ")
 675 |   ("\\^turneda" "ᵄ")
 676 |   ("\\^turnedae" "ᵆ")
 677 |   ("\\^turnedalpha" "ᶛ")
 678 |   ("\\^turnede" "ᵌ")
 679 |   ("\\^turnedh" "ᶣ")
 680 |   ("\\^turnedi" "ᵎ")
 681 |   ("\\^turnedm" "ᵚ")
 682 |   ("\\^turnedmleg" "ᶭ")
 683 |   ("\\^turnedr" "ʴ")
 684 |   ("\\^turnedrhook" "ʵ")
 685 |   ("\\^turnedrwithhook" "ʵ")
 686 |   ("\\^turnedv" "ᶺ")
 687 |   ("\\^twithpalatalhook" "ᶵ")
 688 |   ("\\^u" "ᵘ")
 689 |   ("\\^ubar" "ᶶ")
 690 |   ("\\^uhook" "ꭟ")
 691 |   ("\\^upsilon" "ᶷ")
 692 |   ("\\^usideways" "ᵙ")
 693 |   ("\\^v" "ᵛ")
 694 |   ("\\^vargamma" "ᵞ")
 695 |   ("\\^varphi" "ᵠ")
 696 |   ("\\^vhook" "ᶹ")
 697 |   ("\\^w" "ʷ")
 698 |   ("\\^x" "ˣ")
 699 |   ("\\^y" "ʸ")
 700 |   ("\\^z" "ᶻ")
 701 |   ("\\^zcurl" "ᶽ")
 702 |   ("\\^zretroflexhook" "ᶼ")
 703 |   ("\\^{A}" "Â")
 704 |   ("\\^{E}" "Ê")
 705 |   ("\\^{I}" "Î")
 706 |   ("\\^{O}" "Ô")
 707 |   ("\\^{U}" "Û")
 708 |   ("\\^{a}" "â")
 709 |   ("\\^{e}" "ê")
 710 |   ("\\^{i}" "î")
 711 |   ("\\^{o}" "ô")
 712 |   ("\\^{u}" "û")
 713 |   ("\\_(" "₍")
 714 |   ("\\_)" "₎")
 715 |   ("\\_+" "₊")
 716 |   ("\\_-" "₋")
 717 |   ("\\_--" "̲")
 718 |   ("\\_0" "₀")
 719 |   ("\\_1" "₁")
 720 |   ("\\_2" "₂")
 721 |   ("\\_3" "₃")
 722 |   ("\\_4" "₄")
 723 |   ("\\_5" "₅")
 724 |   ("\\_6" "₆")
 725 |   ("\\_7" "₇")
 726 |   ("\\_8" "₈")
 727 |   ("\\_9" "₉")
 728 |   ("\\_=" "₌")
 729 |   ("\\_a" "ₐ")
 730 |   ("\\_e" "ₑ")
 731 |   ("\\_h" "ₕ")
 732 |   ("\\_i" "ᵢ")
 733 |   ("\\_j" "ⱼ")
 734 |   ("\\_k" "ₖ")
 735 |   ("\\_l" "ₗ")
 736 |   ("\\_m" "ₘ")
 737 |   ("\\_n" "ₙ")
 738 |   ("\\_o" "ₒ")
 739 |   ("\\_p" "ₚ")
 740 |   ("\\_r" "ᵣ")
 741 |   ("\\_s" "ₛ")
 742 |   ("\\_t" "ₜ")
 743 |   ("\\_u" "ᵤ")
 744 |   ("\\_v" "ᵥ")
 745 |   ("\\_x" "ₓ")
 746 |   ("\\`A" "À")
 747 |   ("\\`E" "È")
 748 |   ("\\`I" "Ì")
 749 |   ("\\`O" "Ò")
 750 |   ("\\`U" "Ù")
 751 |   ("\\`a" "à")
 752 |   ("\\`e" "è")
 753 |   ("\\`i" "ì")
 754 |   ("\\`o" "ò")
 755 |   ("\\`u" "ù")
 756 |   ("\\a" "α")
 757 |   ("\\aa" "å")
 758 |   ("\\ae" "æ")
 759 |   ("\\aeeqfun" "→ₘ")
 760 |   ("\\afghani" "؋")
 761 |   ("\\aleph" "ℵ")
 762 |   ("\\alghom" "→ₐ")
 763 |   ("\\all" "∀")
 764 |   ("\\all^f" "∀ᶠ")
 765 |   ("\\all^m" "∀ᵐ")
 766 |   ("\\allf" "∀ᶠ")
 767 |   ("\\allm" "∀ᵐ")
 768 |   ("\\alpha" "α")
 769 |   ("\\amalg" "∐")
 770 |   ("\\an" "∧")
 771 |   ("\\and" "∧")
 772 |   ("\\and=" "≙")
 773 |   ("\\angle" "∟")
 774 |   ("\\angstrom" "Å")
 775 |   ("\\apl" "⌶")
 776 |   ("\\approx" "≈")
 777 |   ("\\approxeq" "≊")
 778 |   ("\\ast" "∗")
 779 |   ("\\asterisk" "⁎")
 780 |   ("\\asymp" "≍")
 781 |   ("\\austral" "₳")
 782 |   ("\\b" "β")
 783 |   ("\\b+" "⊞")
 784 |   ("\\b-" "⊟")
 785 |   ("\\b." "⊡")
 786 |   ("\\b0" "𝟘")
 787 |   ("\\b1" "𝟙")
 788 |   ("\\b2" "𝟚")
 789 |   ("\\b3" "𝟛")
 790 |   ("\\b4" "𝟜")
 791 |   ("\\b5" "𝟝")
 792 |   ("\\b6" "𝟞")
 793 |   ("\\b7" "𝟟")
 794 |   ("\\b8" "𝟠")
 795 |   ("\\b9" "𝟡")
 796 |   ("\\bInter" "⋂")
 797 |   ("\\bUnion" "⋃")
 798 |   ("\\backcong" "≌")
 799 |   ("\\backepsilon" "∍")
 800 |   ("\\backprime" "‵")
 801 |   ("\\backsim" "∽")
 802 |   ("\\backsimeq" "⋍")
 803 |   ("\\barwedge" "⊼")
 804 |   ("\\bb" "𝔹")
 805 |   ("\\bbA" "𝔸")
 806 |   ("\\bbB" "𝔹")
 807 |   ("\\bbC" "ℂ")
 808 |   ("\\bbD" "𝔻")
 809 |   ("\\bbE" "𝔼")
 810 |   ("\\bbF" "𝔽")
 811 |   ("\\bbG" "𝔾")
 812 |   ("\\bbH" "ℍ")
 813 |   ("\\bbI" "𝕀")
 814 |   ("\\bbJ" "𝕁")
 815 |   ("\\bbK" "𝕂")
 816 |   ("\\bbL" "𝕃")
 817 |   ("\\bbM" "𝕄")
 818 |   ("\\bbN" "ℕ")
 819 |   ("\\bbO" "𝕆")
 820 |   ("\\bbP" "ℙ")
 821 |   ("\\bbQ" "ℚ")
 822 |   ("\\bbR" "ℝ")
 823 |   ("\\bbS" "𝕊")
 824 |   ("\\bbT" "𝕋")
 825 |   ("\\bbU" "𝕌")
 826 |   ("\\bbV" "𝕍")
 827 |   ("\\bbW" "𝕎")
 828 |   ("\\bbX" "𝕏")
 829 |   ("\\bbY" "𝕐")
 830 |   ("\\bbZ" "ℤ")
 831 |   ("\\bba" "𝕒")
 832 |   ("\\bbb" "𝕓")
 833 |   ("\\bbc" "𝕔")
 834 |   ("\\bbd" "𝕕")
 835 |   ("\\bbe" "𝕖")
 836 |   ("\\bbf" "𝕗")
 837 |   ("\\bbg" "𝕘")
 838 |   ("\\bbh" "𝕙")
 839 |   ("\\bbi" "𝕚")
 840 |   ("\\bbj" "𝕛")
 841 |   ("\\bbk" "𝕜")
 842 |   ("\\bbl" "𝕝")
 843 |   ("\\bbm" "𝕞")
 844 |   ("\\bbn" "𝕟")
 845 |   ("\\bbo" "𝕠")
 846 |   ("\\bbp" "𝕡")
 847 |   ("\\bbq" "𝕢")
 848 |   ("\\bbr" "𝕣")
 849 |   ("\\bbs" "𝕤")
 850 |   ("\\bbt" "𝕥")
 851 |   ("\\bbu" "𝕦")
 852 |   ("\\bbv" "𝕧")
 853 |   ("\\bbw" "𝕨")
 854 |   ("\\bbx" "𝕩")
 855 |   ("\\bby" "𝕪")
 856 |   ("\\bbz" "𝕫")
 857 |   ("\\bc" "ℂ")
 858 |   ("\\be" "β")
 859 |   ("\\because" "∵")
 860 |   ("\\beta" "β")
 861 |   ("\\beth" "ℶ")
 862 |   ("\\between" "≬")
 863 |   ("\\bfA" "𝐀")
 864 |   ("\\bfB" "𝐁")
 865 |   ("\\bfC" "𝐂")
 866 |   ("\\bfD" "𝐃")
 867 |   ("\\bfE" "𝐄")
 868 |   ("\\bfF" "𝐅")
 869 |   ("\\bfG" "𝐆")
 870 |   ("\\bfH" "𝐇")
 871 |   ("\\bfI" "𝐈")
 872 |   ("\\bfJ" "𝐉")
 873 |   ("\\bfK" "𝐊")
 874 |   ("\\bfL" "𝐋")
 875 |   ("\\bfM" "𝐌")
 876 |   ("\\bfN" "𝐍")
 877 |   ("\\bfO" "𝐎")
 878 |   ("\\bfP" "𝐏")
 879 |   ("\\bfQ" "𝐐")
 880 |   ("\\bfR" "𝐑")
 881 |   ("\\bfS" "𝐒")
 882 |   ("\\bfT" "𝐓")
 883 |   ("\\bfU" "𝐔")
 884 |   ("\\bfV" "𝐕")
 885 |   ("\\bfW" "𝐖")
 886 |   ("\\bfX" "𝐗")
 887 |   ("\\bfY" "𝐘")
 888 |   ("\\bfZ" "𝐙")
 889 |   ("\\bfa" "𝐚")
 890 |   ("\\bfb" "𝐛")
 891 |   ("\\bfc" "𝐜")
 892 |   ("\\bfd" "𝐝")
 893 |   ("\\bfe" "𝐞")
 894 |   ("\\bff" "𝐟")
 895 |   ("\\bfg" "𝐠")
 896 |   ("\\bfh" "𝐡")
 897 |   ("\\bfi" "𝐢")
 898 |   ("\\bfj" "𝐣")
 899 |   ("\\bfk" "𝐤")
 900 |   ("\\bfl" "𝐥")
 901 |   ("\\bfm" "𝐦")
 902 |   ("\\bfn" "𝐧")
 903 |   ("\\bfo" "𝐨")
 904 |   ("\\bfp" "𝐩")
 905 |   ("\\bfq" "𝐪")
 906 |   ("\\bfr" "𝐫")
 907 |   ("\\bfs" "𝐬")
 908 |   ("\\bft" "𝐭")
 909 |   ("\\bfu" "𝐮")
 910 |   ("\\bfv" "𝐯")
 911 |   ("\\bfw" "𝐰")
 912 |   ("\\bfx" "𝐱")
 913 |   ("\\bfy" "𝐲")
 914 |   ("\\bfz" "𝐳")
 915 |   ("\\bigcap" "⋂")
 916 |   ("\\bigcirc" "◯")
 917 |   ("\\bigcoprod" "∐")
 918 |   ("\\bigcup" "⋃")
 919 |   ("\\bigglb" "⨅")
 920 |   ("\\biginf" "⨅")
 921 |   ("\\bigjoin" "⨆")
 922 |   ("\\biglub" "⨆")
 923 |   ("\\bigmeet" "⨅")
 924 |   ("\\bigsolidus" "⧸")
 925 |   ("\\bigsqcap" "⨅")
 926 |   ("\\bigsqcup" "⨆")
 927 |   ("\\bigstar" "★")
 928 |   ("\\bigsup" "⨆")
 929 |   ("\\bigtriangledown" "▽")
 930 |   ("\\bigtriangleup" "△")
 931 |   ("\\bigvee" "⋁")
 932 |   ("\\bigwedge" "⋀")
 933 |   ("\\biohazard" "☣")
 934 |   ("\\blacklozenge" "✦")
 935 |   ("\\blacksmiley" "☻")
 936 |   ("\\blacksquare" "▪")
 937 |   ("\\blacktriangle" "▴")
 938 |   ("\\blacktriangledown" "▾")
 939 |   ("\\blacktriangleleft" "◂")
 940 |   ("\\blacktriangleright" "▸")
 941 |   ("\\bn" "ℕ")
 942 |   ("\\bot" "⊥")
 943 |   ("\\boundedcontinuousfunction" "→ᵇ")
 944 |   ("\\bowtie" "⋈")
 945 |   ("\\boxmid" "◫")
 946 |   ("\\boxminus" "⊟")
 947 |   ("\\boxplus" "⊞")
 948 |   ("\\boxtimes" "⊠")
 949 |   ("\\bp" "ℙ")
 950 |   ("\\bq" "ℚ")
 951 |   ("\\br" "ℝ")
 952 |   ("\\bracketl" "⁅")
 953 |   ("\\bracketr" "⁆")
 954 |   ("\\brokenbar" "¦")
 955 |   ("\\bsum" "⅀")
 956 |   ("\\bu" "•")
 957 |   ("\\bub" "•")
 958 |   ("\\bumpeq" "≏")
 959 |   ("\\but" "‣")
 960 |   ("\\buw" "◦")
 961 |   ("\\bx" "⊠")
 962 |   ("\\bz" "ℤ")
 963 |   ("\\c" "χ")
 964 |   ("\\cC" "Ç")
 965 |   ("\\c[" "⦃")
 966 |   ("\\c]" "⦄")
 967 |   ("\\cap" "∩")
 968 |   ("\\caution" "☡")
 969 |   ("\\cc" "ç")
 970 |   ("\\cdot" "⬝")
 971 |   ("\\cdots" "⋯")
 972 |   ("\\ce" "ȩ")
 973 |   ("\\cedi" "₵")
 974 |   ("\\celsius" "℃")
 975 |   ("\\cent" "¢")
 976 |   ("\\centerdot" "·")
 977 |   ("\\ch" "χ")
 978 |   ("\\checkmark" "✓")
 979 |   ("\\chi" "χ")
 980 |   ("\\ci" "●")
 981 |   ("\\ci." "◎")
 982 |   ("\\ci.." "◌")
 983 |   ("\\ciO" "◯")
 984 |   ("\\cib" "●")
 985 |   ("\\circ" "∘")
 986 |   ("\\circeq" "≗")
 987 |   ("\\circlearrowleft" "↺")
 988 |   ("\\circlearrowright" "↻")
 989 |   ("\\circledR" "®")
 990 |   ("\\circledS" "Ⓢ")
 991 |   ("\\circledast" "⊛")
 992 |   ("\\circledcirc" "⊚")
 993 |   ("\\circleddash" "⊝")
 994 |   ("\\ciw" "○")
 995 |   ("\\cl" "⌞")
 996 |   ("\\clL" "⌊")
 997 |   ("\\clR" "⌋")
 998 |   ("\\cll" "⌞")
 999 |   ("\\clr" "⌟")
1000 |   ("\\clubsuit" "♣")
1001 |   ("\\colon" "₡")
1002 |   ("\\coloneq" "≔")
1003 |   ("\\com" "ℂ")
1004 |   ("\\comp" "∘")
1005 |   ("\\compl" "ᶜ")
1006 |   ("\\complement" "ᶜ")
1007 |   ("\\complementprefix" "∁")
1008 |   ("\\con" "⬝")
1009 |   ("\\cong" "≅")
1010 |   ("\\construction" "🚧")
1011 |   ("\\coprod" "⨿")
1012 |   ("\\copyright" "©")
1013 |   ("\\covers" "⋖")
1014 |   ("\\crossproduct" "⨯")
1015 |   ("\\cruzeiro" "₢")
1016 |   ("\\cu" "⌜")
1017 |   ("\\cuL" "⌈")
1018 |   ("\\cuR" "⌉")
1019 |   ("\\cul" "⌜")
1020 |   ("\\cup" "∪")
1021 |   ("\\cur" "⌝")
1022 |   ("\\curlyeqprec" "⋞")
1023 |   ("\\curlyeqsucc" "⋟")
1024 |   ("\\curlypreceq" "≼")
1025 |   ("\\curlyvee" "⋎")
1026 |   ("\\curlywedge" "⋏")
1027 |   ("\\currency" "¤")
1028 |   ("\\curvearrowleft" "↶")
1029 |   ("\\curvearrowright" "↷")
1030 |   ("\\d" "↓")
1031 |   ("\\d-" "↓")
1032 |   ("\\d-2" "⇊")
1033 |   ("\\d-u-" "⇵")
1034 |   ("\\d-|" "↧")
1035 |   ("\\d=" "⇓")
1036 |   ("\\d==" "⟱")
1037 |   ("\\dag" "†")
1038 |   ("\\dagger" "†")
1039 |   ("\\daleth" "ℸ")
1040 |   ("\\dashv" "⊣")
1041 |   ("\\dd-" "↡")
1042 |   ("\\ddag" "‡")
1043 |   ("\\ddagger" "‡")
1044 |   ("\\ddots" "⋱")
1045 |   ("\\de" "δ")
1046 |   ("\\def=" "≝")
1047 |   ("\\defs" "≙")
1048 |   ("\\degree" "°")
1049 |   ("\\dei" "ϯ")
1050 |   ("\\delta" "δ")
1051 |   ("\\dfinsupp" "→ₚ")
1052 |   ("\\dh" "ð")
1053 |   ("\\di" "◆")
1054 |   ("\\di." "◈")
1055 |   ("\\diameter" "⌀")
1056 |   ("\\diamond" "⋄")
1057 |   ("\\diamondsuit" "♢")
1058 |   ("\\dib" "◆")
1059 |   ("\\die" "⚀")
1060 |   ("\\digamma" "ϝ")
1061 |   ("\\div" "÷")
1062 |   ("\\divideontimes" "⋇")
1063 |   ("\\division" "÷")
1064 |   ("\\diw" "◇")
1065 |   ("\\dl" "↙")
1066 |   ("\\dl-" "↙")
1067 |   ("\\dl=" "⇙")
1068 |   ("\\dong" "₫")
1069 |   ("\\dot" "⬝")
1070 |   ("\\doteq" "≐")
1071 |   ("\\doteqdot" "≑")
1072 |   ("\\dotplus" "∔")
1073 |   ("\\dotsquare" "⊡")
1074 |   ("\\downarrow" "↓")
1075 |   ("\\downdownarrows" "⇊")
1076 |   ("\\downleftharpoon" "⇃")
1077 |   ("\\downrightharpoon" "⇂")
1078 |   ("\\dr" "↘")
1079 |   ("\\dr-" "↘")
1080 |   ("\\dr=" "⇘")
1081 |   ("\\drachma" "₯")
1082 |   ("\\dz" "↯")
1083 |   ("\\e" "ε")
1084 |   ("\\ell" "ℓ")
1085 |   ("\\em" "—")
1086 |   ("\\empty" "∅")
1087 |   ("\\emptyset" "∅")
1088 |   ("\\en" "–")
1089 |   ("\\ennreal" "ℝ≥0∞")
1090 |   ("\\entails" "⊢")
1091 |   ("\\ep" "ε")
1092 |   ("\\eps" "ε")
1093 |   ("\\epsilon" "ε")
1094 |   ("\\eqcirc" "≖")
1095 |   ("\\eqcolon" "≕")
1096 |   ("\\eqn" "≠")
1097 |   ("\\eqslantgtr" "⋝")
1098 |   ("\\eqslantless" "⋜")
1099 |   ("\\equiv" "≃")
1100 |   ("\\et" "η")
1101 |   ("\\eta" "η")
1102 |   ("\\euro" "€")
1103 |   ("\\ex" "∃")
1104 |   ("\\exf" "∃ᶠ")
1105 |   ("\\exists" "∃")
1106 |   ("\\exn" "∄")
1107 |   ("\\f<" "‹")
1108 |   ("\\f<<" "«")
1109 |   ("\\f>" "›")
1110 |   ("\\f>>" "»")
1111 |   ("\\facsimile" "℻")
1112 |   ("\\fallingdotseq" "≒")
1113 |   ("\\fei" "ϥ")
1114 |   ("\\female" "♀")
1115 |   ("\\finsupp" "→₀")
1116 |   ("\\flat" "♭")
1117 |   ("\\flq" "‹")
1118 |   ("\\flqq" "«")
1119 |   ("\\forall" "∀")
1120 |   ("\\frac" "¼")
1121 |   ("\\frac1" "⅟")
1122 |   ("\\frac12" "½")
1123 |   ("\\frac13" "⅓")
1124 |   ("\\frac14" "¼")
1125 |   ("\\frac15" "⅕")
1126 |   ("\\frac16" "⅙")
1127 |   ("\\frac18" "⅛")
1128 |   ("\\frac23" "⅔")
1129 |   ("\\frac25" "⅖")
1130 |   ("\\frac34" "¾")
1131 |   ("\\frac35" "⅗")
1132 |   ("\\frac38" "⅜")
1133 |   ("\\frac45" "⅘")
1134 |   ("\\frac56" "⅚")
1135 |   ("\\frac58" "⅝")
1136 |   ("\\frac78" "⅞")
1137 |   ("\\frown" "⌢")
1138 |   ("\\frq" "›")
1139 |   ("\\frqq" "»")
1140 |   ("\\fun" "λ")
1141 |   ("\\functor" "⥤")
1142 |   ("\\g" "γ")
1143 |   ("\\ga" "γ")
1144 |   ("\\gamma" "γ")
1145 |   ("\\gangia" "ϫ")
1146 |   ("\\ge" "≥")
1147 |   ("\\gen" "≱")
1148 |   ("\\geq" "≥")
1149 |   ("\\geqn" "≱")
1150 |   ("\\geqq" "≧")
1151 |   ("\\geqslant" "≥")
1152 |   ("\\gets" "←")
1153 |   ("\\gg" "≫")
1154 |   ("\\ggg" "⋙")
1155 |   ("\\gimel" "ℷ")
1156 |   ("\\glb" "⊓")
1157 |   ("\\glq" "‚")
1158 |   ("\\glqq" "„")
1159 |   ("\\gnapprox" "⋧")
1160 |   ("\\gneq" "≩")
1161 |   ("\\gneqq" "≩")
1162 |   ("\\gnsim" "⋧")
1163 |   ("\\goal" "⊢")
1164 |   ("\\grq" "‘")
1165 |   ("\\grqq" "“")
1166 |   ("\\gtrapprox" "≳")
1167 |   ("\\gtrdot" "⋗")
1168 |   ("\\gtreqless" "⋛")
1169 |   ("\\gtreqqless" "⋛")
1170 |   ("\\gtrless" "≷")
1171 |   ("\\gtrsim" "≳")
1172 |   ("\\guarani" "₲")
1173 |   ("\\gvertneqq" "≩")
1174 |   ("\\hbar" "ℏ")
1175 |   ("\\hcomp" "◫")
1176 |   ("\\heartsuit" "♥")
1177 |   ("\\heta" "ͱ")
1178 |   ("\\hom" "⟶")
1179 |   ("\\homotopy" "∼")
1180 |   ("\\hookleftarrow" "↩")
1181 |   ("\\hookrightarrow" "↪")
1182 |   ("\\hori" "ϩ")
1183 |   ("\\hryvnia" "₴")
1184 |   ("\\i" "∩")
1185 |   ("\\iff" "↔")
1186 |   ("\\imath" "ı")
1187 |   ("\\imp" "→")
1188 |   ("\\in" "∈")
1189 |   ("\\increment" "∆")
1190 |   ("\\inf" "⊓")
1191 |   ("\\infi" "⨅")
1192 |   ("\\infty" "∞")
1193 |   ("\\inn" "∉")
1194 |   ("\\int" "ℤ")
1195 |   ("\\integral" "∫")
1196 |   ("\\inter" "∩")
1197 |   ("\\intercal" "⊺")
1198 |   ("\\intersection" "∩")
1199 |   ("\\inv" "⁻¹")
1200 |   ("\\io" "ι")
1201 |   ("\\iota" "ι")
1202 |   ("\\iso" "≅")
1203 |   ("\\join" "⊔")
1204 |   ("\\kI" "Į")
1205 |   ("\\ka" "κ")
1206 |   ("\\kappa" "κ")
1207 |   ("\\kelvin" "K")
1208 |   ("\\khei" "ϧ")
1209 |   ("\\ki" "į")
1210 |   ("\\kip" "₭")
1211 |   ("\\koppa" "ϟ")
1212 |   ("\\l" "←")
1213 |   ("\\l-" "←")
1214 |   ("\\l--" "⟵")
1215 |   ("\\l-2" "⇇")
1216 |   ("\\l->" "↢")
1217 |   ("\\l-n" "↚")
1218 |   ("\\l-r-" "⇆")
1219 |   ("\\l-|" "↤")
1220 |   ("\\l1" "→₁")
1221 |   ("\\l1simplefunc" "→₁ₛ")
1222 |   ("\\l=" "⇐")
1223 |   ("\\l==" "⇚")
1224 |   ("\\l=n" "⇍")
1225 |   ("\\la" "λ")
1226 |   ("\\lam" "λ")
1227 |   ("\\lambda" "λ")
1228 |   ("\\lamda" "λ")
1229 |   ("\\langle" "⟨")
1230 |   ("\\lari" "₾")
1231 |   ("\\lbag" "⟅")
1232 |   ("\\lceil" "⌈")
1233 |   ("\\ldata" "《")
1234 |   ("\\ldots" "…")
1235 |   ("\\ldq" "“")
1236 |   ("\\le" "≤")
1237 |   ("\\leadsto" "↝")
1238 |   ("\\leftarrow" "←")
1239 |   ("\\leftarrowtail" "↢")
1240 |   ("\\leftharpoondown" "↽")
1241 |   ("\\leftharpoonup" "↼")
1242 |   ("\\leftleftarrows" "⇇")
1243 |   ("\\leftrightarrow" "↔")
1244 |   ("\\leftrightarrows" "⇆")
1245 |   ("\\leftrightharpoons" "⇋")
1246 |   ("\\leftrightsquigarrow" "↭")
1247 |   ("\\leftthreetimes" "⋋")
1248 |   ("\\len" "≰")
1249 |   ("\\leq" "≤")
1250 |   ("\\leqn" "≰")
1251 |   ("\\leqq" "≦")
1252 |   ("\\leqslant" "≤")
1253 |   ("\\lessapprox" "≲")
1254 |   ("\\lessdot" "⋖")
1255 |   ("\\lesseqgtr" "⋚")
1256 |   ("\\lesseqqgtr" "⋚")
1257 |   ("\\lessgtr" "≶")
1258 |   ("\\lesssim" "≲")
1259 |   ("\\lfloor" "⌊")
1260 |   ("\\lhd" "◁")
1261 |   ("\\liel" "⁅")
1262 |   ("\\lier" "⁆")
1263 |   ("\\linearmap" "→ₗ")
1264 |   ("\\lira" "₤")
1265 |   ("\\ll" "≪")
1266 |   ("\\ll-" "↞")
1267 |   ("\\llbracket" "〚")
1268 |   ("\\llcorner" "⌞")
1269 |   ("\\lnapprox" "⋦")
1270 |   ("\\lneq" "≨")
1271 |   ("\\lneqq" "≨")
1272 |   ("\\lnot" "¬")
1273 |   ("\\lnsim" "⋦")
1274 |   ("\\longleftarrow" "⟵")
1275 |   ("\\longleftrightarrow" "⟷")
1276 |   ("\\longrightarrow" "⟶")
1277 |   ("\\looparrowleft" "↫")
1278 |   ("\\looparrowright" "↬")
1279 |   ("\\lozenge" "✧")
1280 |   ("\\lq" "‘")
1281 |   ("\\lr" "↔")
1282 |   ("\\lr-" "↔")
1283 |   ("\\lr--" "⟷")
1284 |   ("\\lr-n" "↮")
1285 |   ("\\lr=" "⇔")
1286 |   ("\\lr=n" "⇎")
1287 |   ("\\lrcorner" "⌟")
1288 |   ("\\lr~" "↭")
1289 |   ("\\ltimes" "⋉")
1290 |   ("\\lub" "⊔")
1291 |   ("\\lvertneqq" "≨")
1292 |   ("\\l~" "↜")
1293 |   ("\\m" "μ")
1294 |   ("\\m=" "≞")
1295 |   ("\\male" "♂")
1296 |   ("\\maltese" "✠")
1297 |   ("\\manat" "₼")
1298 |   ("\\mapsto" "↦")
1299 |   ("\\mathscr{I}" "ℐ")
1300 |   ("\\measuredangle" "∡")
1301 |   ("\\meet" "⊓")
1302 |   ("\\mem" "∈")
1303 |   ("\\member" "∈")
1304 |   ("\\mho" "℧")
1305 |   ("\\micro" "µ")
1306 |   ("\\mid" "∣")
1307 |   ("\\mill" "₥")
1308 |   ("\\minus" "−")
1309 |   ("\\models" "⊧")
1310 |   ("\\mp" "∓")
1311 |   ("\\mu" "μ")
1312 |   ("\\multimap" "⊸")
1313 |   ("\\multiplication" "×")
1314 |   ("\\n" "¬")
1315 |   ("\\nLeftarrow" "⇍")
1316 |   ("\\nLeftrightarrow" "⇎")
1317 |   ("\\nRightarrow" "⇏")
1318 |   ("\\nVDash" "⊯")
1319 |   ("\\nVdash" "⊮")
1320 |   ("\\nabla" "∇")
1321 |   ("\\naira" "₦")
1322 |   ("\\napprox" "≉")
1323 |   ("\\nat" "ℕ")
1324 |   ("\\nat_trans" "⟹")
1325 |   ("\\nattrans" "⟹")
1326 |   ("\\natural" "♮")
1327 |   ("\\nbhds" "𝓝")
1328 |   ("\\ncong" "≇")
1329 |   ("\\ne" "≠")
1330 |   ("\\nearrow" "↗")
1331 |   ("\\neg" "¬")
1332 |   ("\\neq" "≠")
1333 |   ("\\nequiv" "≢")
1334 |   ("\\nexists" "∄")
1335 |   ("\\ngeq" "≱")
1336 |   ("\\ngeqq" "≱")
1337 |   ("\\ngeqslant" "≱")
1338 |   ("\\ngtr" "≯")
1339 |   ("\\nhds" "𝓝")
1340 |   ("\\ni" "∋")
1341 |   ("\\nin" "∉")
1342 |   ("\\nleftarrow" "↚")
1343 |   ("\\nleftrightarrow" "↮")
1344 |   ("\\nleq" "≰")
1345 |   ("\\nleqq" "≰")
1346 |   ("\\nleqslant" "≰")
1347 |   ("\\nless" "≮")
1348 |   ("\\nmid" "∤")
1349 |   ("\\nni" "∌")
1350 |   ("\\nnreal" "ℝ≥0")
1351 |   ("\\nomisma" "𐆎")
1352 |   ("\\not" "¬")
1353 |   ("\\note" "♩")
1354 |   ("\\notin" "∉")
1355 |   ("\\nparallel" "∦")
1356 |   ("\\nprec" "⊀")
1357 |   ("\\npreceq" "⋠")
1358 |   ("\\nrightarrow" "↛")
1359 |   ("\\nshortmid" "∤")
1360 |   ("\\nshortparallel" "∦")
1361 |   ("\\nsim" "≁")
1362 |   ("\\nsimeq" "≄")
1363 |   ("\\nsubset" "⊄")
1364 |   ("\\nsubseteq" "⊈")
1365 |   ("\\nsubseteqq" "⊈")
1366 |   ("\\nsucc" "⊁")
1367 |   ("\\nsucceq" "⋡")
1368 |   ("\\nsupset" "⊅")
1369 |   ("\\nsupseteq" "⊉")
1370 |   ("\\nsupseteqq" "⊉")
1371 |   ("\\ntriangleleft" "⋪")
1372 |   ("\\ntrianglelefteq" "⋬")
1373 |   ("\\ntriangleright" "⋫")
1374 |   ("\\ntrianglerighteq" "⋭")
1375 |   ("\\nu" "ν")
1376 |   ("\\numero" "№")
1377 |   ("\\nvDash" "⊭")
1378 |   ("\\nvdash" "⊬")
1379 |   ("\\nwarrow" "↖")
1380 |   ("\\o" "∘")
1381 |   ("\\o*" "∘*")
1382 |   ("\\o+" "⊕")
1383 |   ("\\o-" "⊝")
1384 |   ("\\o--" "⊖")
1385 |   ("\\o." "⊙")
1386 |   ("\\o/" "⊘")
1387 |   ("\\o=" "⊜")
1388 |   ("\\octagonal" "🛑")
1389 |   ("\\odot" "⊙")
1390 |   ("\\oe" "œ")
1391 |   ("\\ohm" "Ω")
1392 |   ("\\oint" "∮")
1393 |   ("\\om" "ω")
1394 |   ("\\omega" "ω")
1395 |   ("\\omicron" "ο")
1396 |   ("\\ominus" "⊖")
1397 |   ("\\oo" "⊚")
1398 |   ("\\op" "ᵒᵖ")
1399 |   ("\\oplus" "⊕")
1400 |   ("\\or" "∨")
1401 |   ("\\or=" "≚")
1402 |   ("\\ordfeminine" "ª")
1403 |   ("\\ordmasculine" "º")
1404 |   ("\\oslash" "⊘")
1405 |   ("\\otimes" "⊗")
1406 |   ("\\ounce" "℥")
1407 |   ("\\ox" "⊗")
1408 |   ("\\p" "Π")
1409 |   ("\\pa" "▰")
1410 |   ("\\pab" "▰")
1411 |   ("\\paragraph" "¶")
1412 |   ("\\parallel" "∥")
1413 |   ("\\partial" "∂")
1414 |   ("\\partnership" "㉐")
1415 |   ("\\paw" "▱")
1416 |   ("\\per" "⅌")
1417 |   ("\\permil" "‰")
1418 |   ("\\perp" "⊥")
1419 |   ("\\peseta" "₧")
1420 |   ("\\peso" "₱")
1421 |   ("\\ph" "φ")
1422 |   ("\\phi" "φ")
1423 |   ("\\pi" "π")
1424 |   ("\\pilcrow" "¶")
1425 |   ("\\pitchfork" "⋔")
1426 |   ("\\pm" "±")
1427 |   ("\\pound" "£")
1428 |   ("\\pounds" "£")
1429 |   ("\\powerset" "𝒫")
1430 |   ("\\pr" "↣")
1431 |   ("\\prec" "≺")
1432 |   ("\\precapprox" "≾")
1433 |   ("\\preceq" "≼")
1434 |   ("\\precnapprox" "⋨")
1435 |   ("\\precnsim" "⋨")
1436 |   ("\\precsim" "≾")
1437 |   ("\\preim" "⁻¹'")
1438 |   ("\\preimage" "⁻¹'")
1439 |   ("\\prime" "′")
1440 |   ("\\prod" "∏")
1441 |   ("\\prohibited" "🛇")
1442 |   ("\\propto" "∝")
1443 |   ("\\ps" "ψ")
1444 |   ("\\psi" "ψ")
1445 |   ("\\qed" "∎")
1446 |   ("\\quad" " ")
1447 |   ("\\quot" "⧸")
1448 |   ("\\r" "→")
1449 |   ("\\r-" "→")
1450 |   ("\\r--" "⟶")
1451 |   ("\\r-2" "⇉")
1452 |   ("\\r-3" "⇶")
1453 |   ("\\r->" "↣")
1454 |   ("\\r-l-" "⇄")
1455 |   ("\\r-n" "↛")
1456 |   ("\\r-o" "⊸")
1457 |   ("\\r-|" "↦")
1458 |   ("\\r0" "→₀")
1459 |   ("\\r1" "→₁")
1460 |   ("\\r1s" "→₁ₛ")
1461 |   ("\\r=" "⇒")
1462 |   ("\\r==" "⇛")
1463 |   ("\\r=n" "⇏")
1464 |   ("\\r^b" "→ᵇ")
1465 |   ("\\r_0" "→₀")
1466 |   ("\\r_1" "→₁")
1467 |   ("\\r_1s" "→₁ₛ")
1468 |   ("\\r_a" "→ₐ")
1469 |   ("\\r_l" "→ₗ")
1470 |   ("\\r_m" "→ₘ")
1471 |   ("\\r_p" "→ₚ")
1472 |   ("\\r_s" "→ₛ")
1473 |   ("\\ra" "→ₐ")
1474 |   ("\\radioactive" "☢")
1475 |   ("\\rangle" "⟩")
1476 |   ("\\rat" "ℚ")
1477 |   ("\\rb" "→ᵇ")
1478 |   ("\\rbag" "⟆")
1479 |   ("\\rceil" "⌉")
1480 |   ("\\rdata" "》")
1481 |   ("\\rdq" "”")
1482 |   ("\\re" "▬")
1483 |   ("\\real" "ℝ")
1484 |   ("\\reb" "▬")
1485 |   ("\\registered" "®")
1486 |   ("\\rew" "▭")
1487 |   ("\\rfloor" "⌋")
1488 |   ("\\rh" "ρ")
1489 |   ("\\rhd" "▷")
1490 |   ("\\rho" "ρ")
1491 |   ("\\rial" "﷼")
1492 |   ("\\rightarrow" "→")
1493 |   ("\\rightarrowtail" "↣")
1494 |   ("\\rightharpoondown" "⇁")
1495 |   ("\\rightharpoonup" "⇀")
1496 |   ("\\rightleftarrows" "⇄")
1497 |   ("\\rightleftharpoons" "⇌")
1498 |   ("\\rightrightarrows" "⇉")
1499 |   ("\\rightthreetimes" "⋌")
1500 |   ("\\risingdotseq" "≓")
1501 |   ("\\rl" "→ₗ")
1502 |   ("\\rm" "→ₘ")
1503 |   ("\\root" "√")
1504 |   ("\\rp" "→ₚ")
1505 |   ("\\rq" "’")
1506 |   ("\\rr-" "↠")
1507 |   ("\\rs" "→ₛ")
1508 |   ("\\rtimes" "⋊")
1509 |   ("\\ruble" "₽")
1510 |   ("\\rupee" "₨")
1511 |   ("\\r~" "↝")
1512 |   ("\\sampi" "ϡ")
1513 |   ("\\san" "ϻ")
1514 |   ("\\sb0" "𝟬")
1515 |   ("\\sb1" "𝟭")
1516 |   ("\\sb2" "𝟮")
1517 |   ("\\sb3" "𝟯")
1518 |   ("\\sb4" "𝟰")
1519 |   ("\\sb5" "𝟱")
1520 |   ("\\sb6" "𝟲")
1521 |   ("\\sb7" "𝟳")
1522 |   ("\\sb8" "𝟴")
1523 |   ("\\sb9" "𝟵")
1524 |   ("\\sbs" "﹨")
1525 |   ("\\searrow" "↘")
1526 |   ("\\section" "§")
1527 |   ("\\setminus" "∖")
1528 |   ("\\sharp" "♯")
1529 |   ("\\shei" "ϣ")
1530 |   ("\\shima" "ϭ")
1531 |   ("\\sho" "ϸ")
1532 |   ("\\shortmid" "∣")
1533 |   ("\\shortparallel" "∥")
1534 |   ("\\si" "σ")
1535 |   ("\\sigma" "σ")
1536 |   ("\\sigmaobj" "∐")
1537 |   ("\\sim" "∼")
1538 |   ("\\simeq" "≃")
1539 |   ("\\simplefunc" "→ₛ")
1540 |   ("\\smallamalg" "∐")
1541 |   ("\\smallsetminus" "∖")
1542 |   ("\\smallsmile" "⌣")
1543 |   ("\\smile" "⌣")
1544 |   ("\\smul" "•")
1545 |   ("\\spadesuit" "♠")
1546 |   ("\\spesmilo" "₷")
1547 |   ("\\sphericalangle" "∢")
1548 |   ("\\sq" "◾")
1549 |   ("\\sq." "▣")
1550 |   ("\\sqb" "■")
1551 |   ("\\sqcap" "⊓")
1552 |   ("\\sqcup" "⊔")
1553 |   ("\\sqo" "▢")
1554 |   ("\\sqrt" "√")
1555 |   ("\\sqsubset" "⊏")
1556 |   ("\\sqsubseteq" "⊑")
1557 |   ("\\sqsupset" "⊐")
1558 |   ("\\sqsupseteq" "⊒")
1559 |   ("\\square" "□")
1560 |   ("\\squb" "⊑")
1561 |   ("\\squbn" "⋢")
1562 |   ("\\squigarrowright" "⇝")
1563 |   ("\\squp" "⊒")
1564 |   ("\\squpn" "⋣")
1565 |   ("\\sqw" "□")
1566 |   ("\\ss" "⊆")
1567 |   ("\\ssqub" "⊏")
1568 |   ("\\ssqup" "⊐")
1569 |   ("\\ssub" "⊂")
1570 |   ("\\ssubn" "⊄")
1571 |   ("\\ssup" "⊃")
1572 |   ("\\ssupn" "⊅")
1573 |   ("\\st" "⋆")
1574 |   ("\\st12" "✹")
1575 |   ("\\st4" "✦")
1576 |   ("\\st6" "✶")
1577 |   ("\\st8" "✴")
1578 |   ("\\star" "⋆")
1579 |   ("\\stigma" "ϛ")
1580 |   ("\\straightphi" "φ")
1581 |   ("\\sub" "⊆")
1582 |   ("\\subn" "⊈")
1583 |   ("\\subset" "⊂")
1584 |   ("\\subseteq" "⊆")
1585 |   ("\\subseteqq" "⊆")
1586 |   ("\\subsetneq" "⊊")
1587 |   ("\\subsetneqq" "⊊")
1588 |   ("\\succ" "≻")
1589 |   ("\\succapprox" "≿")
1590 |   ("\\succcurlyeq" "≽")
1591 |   ("\\succeq" "≽")
1592 |   ("\\succnapprox" "⋩")
1593 |   ("\\succnsim" "⋩")
1594 |   ("\\succsim" "≿")
1595 |   ("\\sum" "∑")
1596 |   ("\\sup" "⊔")
1597 |   ("\\supn" "⊉")
1598 |   ("\\supr" "⨆")
1599 |   ("\\supset" "⊃")
1600 |   ("\\supseteq" "⊇")
1601 |   ("\\supseteqq" "⊇")
1602 |   ("\\supsetneq" "⊋")
1603 |   ("\\supsetneqq" "⊋")
1604 |   ("\\surd" "√")
1605 |   ("\\surd3" "∛")
1606 |   ("\\surd4" "∜")
1607 |   ("\\swarrow" "↙")
1608 |   ("\\sy" "⁻¹")
1609 |   ("\\t" "▸")
1610 |   ("\\t=" "≜")
1611 |   ("\\ta" "τ")
1612 |   ("\\tau" "τ")
1613 |   ("\\tb" "◂")
1614 |   ("\\telephone" "℡")
1615 |   ("\\tenge" "₸")
1616 |   ("\\textbaht" "฿")
1617 |   ("\\textcircledP" "℗")
1618 |   ("\\textcolonmonetary" "₡")
1619 |   ("\\textdied" "✝")
1620 |   ("\\textdiscount" "⁒")
1621 |   ("\\textestimated" "℮")
1622 |   ("\\textfractionsolidus" "⁄")
1623 |   ("\\textinterrobang" "‽")
1624 |   ("\\textlira" "₤")
1625 |   ("\\textlquill" "⁅")
1626 |   ("\\textmu" "µ")
1627 |   ("\\textmusicalnote" "♪")
1628 |   ("\\textnaira" "₦")
1629 |   ("\\textnumero" "№")
1630 |   ("\\textopenbullet" "◦")
1631 |   ("\\textpertenthousand" "‱")
1632 |   ("\\textpeso" "₱")
1633 |   ("\\textrecipe" "℞")
1634 |   ("\\textreferencemark" "※")
1635 |   ("\\textrquill" "⁆")
1636 |   ("\\textwon" "₩")
1637 |   ("\\th" "θ")
1638 |   ("\\therefore" "∴")
1639 |   ("\\theta" "θ")
1640 |   ("\\thickapprox" "≈")
1641 |   ("\\thicksim" "∼")
1642 |   ("\\tie" "⁀")
1643 |   ("\\times" "×")
1644 |   ("\\to" "→")
1645 |   ("\\to0" "→₀")
1646 |   ("\\to1" "→₁")
1647 |   ("\\to1s" "→₁ₛ")
1648 |   ("\\to^b" "→ᵇ")
1649 |   ("\\to_0" "→₀")
1650 |   ("\\to_1" "→₁")
1651 |   ("\\to_1s" "→₁ₛ")
1652 |   ("\\to_a" "→ₐ")
1653 |   ("\\to_l" "→ₗ")
1654 |   ("\\to_m" "→ₘ")
1655 |   ("\\to_p" "→ₚ")
1656 |   ("\\to_s" "→ₛ")
1657 |   ("\\toa" "→ₐ")
1658 |   ("\\tob" "→ᵇ")
1659 |   ("\\tol" "→ₗ")
1660 |   ("\\tom" "→ₘ")
1661 |   ("\\top" "⊤")
1662 |   ("\\tos" "→ₛ")
1663 |   ("\\tr" "⬝")
1664 |   ("\\trans" "▹")
1665 |   ("\\transport" "▹")
1666 |   ("\\triangle" "▵")
1667 |   ("\\triangledown" "▿")
1668 |   ("\\triangleleft" "◃")
1669 |   ("\\trianglelefteq" "⊴")
1670 |   ("\\triangleq" "≜")
1671 |   ("\\triangleright" "▹")
1672 |   ("\\trianglerighteq" "⊵")
1673 |   ("\\tugrik" "₮")
1674 |   ("\\tw" "◃")
1675 |   ("\\twoheadleftarrow" "↞")
1676 |   ("\\twoheadrightarrow" "↠")
1677 |   ("\\u" "↑")
1678 |   ("\\u+" "⊎")
1679 |   ("\\u-" "↑")
1680 |   ("\\u-2" "⇈")
1681 |   ("\\u-d-" "⇅")
1682 |   ("\\u-|" "↥")
1683 |   ("\\u." "⊍")
1684 |   ("\\u=" "⇑")
1685 |   ("\\u==" "⟰")
1686 |   ("\\ud" "↕")
1687 |   ("\\ud-" "↕")
1688 |   ("\\ud-|" "↨")
1689 |   ("\\ud=" "⇕")
1690 |   ("\\ul" "↖")
1691 |   ("\\ul-" "↖")
1692 |   ("\\ul=" "⇖")
1693 |   ("\\ulcorner" "⌜")
1694 |   ("\\un" "∪")
1695 |   ("\\uncertainty" "⯑")
1696 |   ("\\undertie" "‿")
1697 |   ("\\union" "∪")
1698 |   ("\\uparrow" "↑")
1699 |   ("\\updownarrow" "↕")
1700 |   ("\\upleftharpoon" "↿")
1701 |   ("\\uplus" "⊎")
1702 |   ("\\uprightharpoon" "↾")
1703 |   ("\\upsilon" "υ")
1704 |   ("\\upuparrows" "⇈")
1705 |   ("\\ur" "↗")
1706 |   ("\\ur-" "↗")
1707 |   ("\\ur=" "⇗")
1708 |   ("\\urcorner" "⌝")
1709 |   ("\\uu-" "↟")
1710 |   ("\\v" "∨")
1711 |   ("\\vC" "Č")
1712 |   ("\\vD" "Ď")
1713 |   ("\\vDash" "⊨")
1714 |   ("\\vE" "Ě")
1715 |   ("\\varbeta" "ϐ")
1716 |   ("\\varkai" "ϗ")
1717 |   ("\\varkappa" "ϰ")
1718 |   ("\\varphi" "ϕ")
1719 |   ("\\varpi" "ϖ")
1720 |   ("\\varprime" "′")
1721 |   ("\\varpropto" "∝")
1722 |   ("\\varrho" "ϱ")
1723 |   ("\\varsigma" "ς")
1724 |   ("\\vartheta" "ϑ")
1725 |   ("\\vartriangleleft" "⊲")
1726 |   ("\\vartriangleright" "⊳")
1727 |   ("\\vc" "č")
1728 |   ("\\vd" "ď")
1729 |   ("\\vdash" "⊢")
1730 |   ("\\vdots" "⋮")
1731 |   ("\\ve" "ě")
1732 |   ("\\vectorproduct" "⨯")
1733 |   ("\\vee" "∨")
1734 |   ("\\veebar" "⊻")
1735 |   ("\\vsi" "ς")
1736 |   ("\\warning" "⚠")
1737 |   ("\\wedge" "∧")
1738 |   ("\\won" "₩")
1739 |   ("\\wp" "℘")
1740 |   ("\\wr" "≀")
1741 |   ("\\x" "×")
1742 |   ("\\xf" "×ᶠ")
1743 |   ("\\xi" "ξ")
1744 |   ("\\yen" "¥")
1745 |   ("\\ze" "ζ")
1746 |   ("\\zeta" "ζ")
1747 |   ("\\zsqrtd" "ℤ√")
1748 |   ("\\{{" "⦃")
1749 |   ("\\|" "∣")
1750 |   ("\\|-" "⊢")
1751 |   ("\\|-n" "⊬")
1752 |   ("\\|=" "⊨")
1753 |   ("\\|=n" "⊭")
1754 |   ("\\|n" "∤")
1755 |   ("\\||" "∥")
1756 |   ("\\||-" "⊩")
1757 |   ("\\||-n" "⊮")
1758 |   ("\\||=" "⊫")
1759 |   ("\\||=n" "⊯")
1760 |   ("\\||n" "∦")
1761 |   ("\\|||-" "⊪")
1762 |   ("\\}}" "⦄")
1763 |   ("\\~" "∼")
1764 |   ("\\~-" "≃")
1765 |   ("\\~-n" "≄")
1766 |   ("\\~=" "≅")
1767 |   ("\\~=n" "≇")
1768 |   ("\\~A" "Ã")
1769 |   ("\\~N" "Ñ")
1770 |   ("\\~O" "Õ")
1771 |   ("\\~a" "ã")
1772 |   ("\\~n" "≁")
1773 |   ("\\~o" "õ")
1774 |   ("\\~{n}" "ñ")
1775 |   ("\\~~" "≈")
1776 |   ("\\~~-" "≊")
1777 |   ("\\~~n" "≉")
1778 |   ("\\~~~" "≋")
1779 | 
1780 | ))
1781 | 
1782 | (state (init (map)))
1783 | 


--------------------------------------------------------------------------------