{
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