{
  "α": "alpha",
  "β": "beta",
  "γ": "gamma",
  "Γ": "Gamma",
  "δ": "delta",
  "Δ": "Delta",
  "∆": "Delta",
  "ε": "epsilon",
  "ɛ": "varepsilon",
  "ζ": "zeta",
  "η": "eta",
  "θ": "theta",
  "Θ": "Theta",
  "ϑ": "vartheta",
  "ι": "iota",
  "κ": "kappa",
  "λ": "lambda",
  "Λ": "Lambda",
  "μ": "mu",
  "ν": "nu",
  "ξ": "xi",
  "Ξ": "Xi",
  "π": "pi",
  "Π": "Pi",
  "ρ": "rho",
  "ς": "beta",
  "σ": "sigma",
  "Σ": "Sigma",
  "τ": "tau",
  "υ": "upsilon",
  "φ": "phi",
  "Φ": "Phi",
  "ϕ": "varphi",
  "χ": "chi",
  "ψ": "psi",
  "Ψ": "Psi",
  "ω": "omega",
  "Ω": "omega",
  "⋅": "dot",
  "∙": "*",
  "·": ".",
  "∗": "**",
  "⋆": "***",
  "×": "xx",
  "⋉": "|><",
  "⋊": "><|",
  "⋈": "|><|",
  "÷": "-:",
  "∘": "@",
  "⊕": "o+",
  "⨁": "o+",
  "⊗": "ox",
  "⊙": " ",
  "∑": "sum",
  "∏": "prod",
  "∏": "prod",
  "∧": "^^",
  "⋀": "^^^",
  "∨": "vv",
  "⋁": "vvv",
  "∩": "nn",
  "⋂": "nnn",
  "∪": "cup",
  "⋃": "uuu",
  "≠": "!=",
  "≤": "<=",
  "≥": ">=",
  "≺": "-<",
  "≻": ">-",
  "⪯": "-<=",
  "⪰": " >-=",
  "∈": "in",
  "∉": "!in",
  "⊂": "sub",
  "⊃": "sup",
  "⊆": "sube",
  "⊇": "supe",
  "≡": "-=",
  "≅": "~=",
  "≈": "~~",
  "∝": "prop",
  "¬": "not",
  "∀": "AA",
  "∃": "EE",
  "⊥": "_|_",
  "⊤": "TT",
  "⊢": "|--",
  "⊨": "|==",
  "〈": "(:",
  "〉": ":)",
  "⟨": "<<",
  "⟩": ">>",
  "∫": "int",
  "∮": "oint",
  "∂": "del",
  "∇": "grad",
  "±": "+-",
  "∅": "O/",
  "∞": "oo",
  "ℵ": "aleph",
  "∴": ":.",
  "∵": ":'",
  "∠": "/_",
  "△": "/_\\",
  "′": "'",
  "  ": "quad",
  "    ": "qquad",
  "⌢": "frown",
  "⋯": "cdots",
  "⋮": "vdots",
  "⋱": "ddots",
  "⋄": "diamond",
  "□": "square",
  "⌊": "|__",
  "⌋": "__|",
  "⌈": "|~",
  "⌉": "~|",
  "ℂ": "CC",
  "ℕ": "NN",
  "ℚ": "QQ",
  "ℝ": "RR",
  "ℤ": "ZZ",
  "↑": "uarr",
  "↓": "darr",
  "←": "larr",
  "↔": "harr",
  "⇒": "rArr",
  "⇐": "lArr",
  "⇔": "hArr",
  "→": "->",
  "↣": ">->",
  "↠": "->>",
  "⤖": ">->>",
  "↦": "|->",
  "…": "...",
  "−": "-",
  "⁡": "",
  "⏞": "obrace",
  "⏟": "ubrace",
}.freeze
      
        {
  :bb=>"bold",
  :fr=>"fraktur",
  :cc=>"script",
  :sf=>"sans-serif",
  :tt=>"monospace",
  :mbf=>"bold",
  :mit=>"italic",
  :mtt=>"monospace",
  :Bbb=>"double-struck",
  :bbb=>"double-struck",
  :mscr=>"mathbb",
  :mfrak=>"fraktur",
  :msans=>"sans-serif",
  :mbfit=>"bold italic",
  :mathbf=>"bold",
  :mathit=>"italic",
  :mathds=>"mathbb",
  :mathrm=>"mathrm",
  :mathtt=>"monospace",
  :mathsf=>"sans-serif",
  :mathbb=>"double-struck",
  :mbfsans=>"bold sans-serif",
  :mathcal=>"script",
  :mathbold=>"bold",
  :mathfrak=>"fraktur",
  :mathbfit=>"bold italic",
  :mathsfbf=>"sans-serif bold",
  :mathsfit=>"sans-serif italic",
  :mbfitsans=>"bold italic sans-serif",
  :mathsfbfit=>"sans-serif bold italic",
}.freeze