{
  twoheadrightarrowtail: :"⤖",
  twoheadrightarrow: :"↠",
  rightarrowtail: :"↣",
  Leftrightarrow: :"⇔",
  leftrightarrow: :"↔",
  Rightarrow: :"⇒",
  rightarrow: :"→",
  varepsilon: :"ɛ",
  Leftarrow: :"⇐",
  leftarrow: :"←",
  downarrow: :"↓",
  therefore: :"∴",
  backslash: :"\",
  setminus: :"⧵",
  triangle: :"△",
  bigwedge: :"⋀",
  rceiling: :"⌉",
  lceiling: :"⌈",
  supseteq: :"⊇",
  subseteq: :"⊆",
  vartheta: :"ϑ",
  emptyset: :"∅",
  diamond: :"⋄",
  uparrow: :"↑",
  implies: :"⇒",
  partial: :"∂",
  because: :"∵",
  upsilon: :"υ",
  epsilon: :"ε",
  bigcap: :"⋂",
  bigvee: :"⋁",
  propto: :"∝",
  approx: :"≈",
  exists: :"∃",
  forall: :"∀",
  otimes: :"⊗",
  ltimes: :"⋉",
  bowtie: :"⋈",
  rtimes: :"⋊",
  models: :"⊨",
  mapsto: :"↦",
  bigcup: :"⋃",
  succeq: :"⪰",
  preceq: :"⪯",
  rfloor: :"⌋",
  lfloor: :"⌊",
  square: :"□",
  supset: :"⊃",
  subset: :"⊂",
  lambda: :"λ",
  Lambda: :"Λ",
  varphi: :"φ",
  rangle: :"〉",
  langle: :"〈",
  ">->>": :"⤖",
  "/_\\": :"△",
  "|><|": :"⋈",
  kappa: :"κ",
  Delta: :"Δ",
  delta: :"δ",
  gamma: :"γ",
  Gamma: :"Γ",
  Theta: :"Θ",
  theta: :"θ",
  alpha: :"α",
  aleph: :"ℵ",
  infty: :"∞",
  equiv: :"≡",
  frown: :"⌢",
  notin: :"∉",
  angle: :"∠",
  prime: :"′",
  "!in": :"∉",
  cdots: :"⋯",
  vdash: :"⊢",
  wedge: :"∧",
  oplus: :"⊕",
  nabla: :"∇",
  ddots: :"⋱",
  vdots: :"⋮",
  Sigma: :"Σ",
  Omega: :"Ω",
  omega: :"ω",
  sigma: :"σ",
  times: :"×",
  ldots: :"…",
  ">-=": :"⪰",
  "-<=": :"⪯",
  "><|": :"⋊",
  "|==": :"⊨",
  "|--": :"⊢",
  "^^^": :"⋀",
  "|->": :"↦",
  ">->": :"↣",
  "->>": :"↠",
  "__|": :"⌋",
  "|__": :"⌊",
  "|><": :"⋉",
  "_|_": :"⊥",
  "***": :"⋆",
  "<=>": :"⇔",
  "...": :"…",
  "(:": :"〈",
  ":)": :"〉",
  quad: :" ",
  star: :"⋆",
  odot: :"⊙",
  cdot: :"⋅",
  rarr: :"→",
  darr: :"↓",
  prop: :"∝",
  lArr: :"⇐",
  rArr: :"⇒",
  uarr: :"↑",
  hArr: :"⇔",
  harr: :"↔",
  larr: :"←",
  grad: :"∇",
  circ: :"∘",
  sube: :"⊆",
  supe: :"⊇",
  succ: :"≻",
  prec: :"≺",
  cong: :"≅",
  beta: :"β",
  zeta: :"ζ",
  iota: :"ι",
  ":'": :"∵",
  "^^": :"∧",
  "o+": :"⊕",
  "o.": :"⊙",
  "**": :"∗",
  "~~": :"≈",
  "O/": :"∅",
  "->": :"→",
  "=>": :"⇒",
  ">>": :"〉",
  "<<": :"〈",
  "~|": :"⌉",
  "!=": :"≠",
  ">-": :"≻",
  "-<": :"≺",
  "~=": :"≅",
  "-=": :"≡",
  ":.": :"∴",
  ">=": :"≥",
  "<=": :"≤",
  "|~": :"⌈",
  "/_": :"∠",
  "''": :"″",
  "+-": :"±",
  "-:": :"÷",
  "\\ ": :" ",
  "\\": :"\\",
  "//": :/,
  sup: :"⊃",
  sub: :"⊂",
  top: :"⊤",
  vvv: :"⋁",
  vee: :"∨",
  nnn: :"⋂",
  cap: :"∩",
  ast: :"∗",
  bot: :"⊥",
  del: :"∂",
  uuu: :"⋃",
  cup: :"∪",
  iff: :"⇔",
  eta: :"η",
  Phi: :"Φ",
  Psi: :"Ψ",
  psi: :"ψ",
  chi: :"χ",
  phi: :"ϕ",
  rho: :"ρ",
  tau: :"τ",
  div: :"÷",
  neg: :"¬",
  not: :"¬",
  "*": :"⋅",
  "@": :"∘",
  "<": :"<",
  ">": :">",
  "/": :"/",
  ":": :":",
  "!": :"!",
  ",": :",",
  ";": :";",
  "?": :"?",
  "$": :"$",
  "~": :"~",
  "|": :"|",
  "%": :"%",
  "'": :"′",
  "&": :"&",
  "#": :"#",
  "=": :"=",
  "-": :"-",
  "+": :"+",
  nn: :"∩",
  vv: :"∨",
  TT: :"⊤",
  EE: :"∃",
  ox: :"⊗",
  to: :"→",
  AA: :"∀",
  uu: :"∪",
  ne: :"≠",
  oo: :"∞",
  ge: :"≥",
  le: :"≤",
  in: :"∈",
  nu: :"ν",
  mu: :"μ",
  pi: :"π",
  Pi: :"Π",
  xi: :"ξ",
  Xi: :"Ξ",
  xx: :"×",
  pm: :"±",
  gt: :">",
  lt: :"<",
  if: :if,
}.freeze