[aliases]
shrug = "¯\\_(ツ)_/¯"
Alpha = "Α"
Beta = "Β"
Chi = "Χ"
Delta = "Δ"
Epsilon = "Ε"
Eta = "Η"
Gamma = "Γ"
Iota = "Ι"
Kappa = "Κ"
Lambda = "Λ"
Mu = "Μ"
Nu = "Ν"
Omega = "Ω"
Omicron = "Ο"
Phi = "Φ"
Pi = "Π"
Psi = "Ψ"
Rho = "Ρ"
Sigma = "Σ"
Tau = "Τ"
Theta = "Θ"
Upsilon = "Υ"
Xi = "Ξ"
Zeta = "Ζ"
absmul = "⨂"
absop = "⨀"
abssum = "⨁"
aleph = "ℵ"
alpha = "α"
and = "∧"
aprox = "∼"
aproxeq = "≃"
assertion = "⊦"
because = "∵"
beta = "β"
bottom = "⊥"
btc = "฿"
cdot = "⋅"
cdots = "⋯"
chi = "χ"
cong = "≡"
contradiction = "↯"
delta = "δ"
divides = "∣"
dotminus = "∸"
emptyset = "∅"
epsilon = "ε"
"eq?" = "≟"
eqdef = "≝"
eqtriang = "≜"
equiv = "⇔"
eta = "η"
euro = "€"
exists = "∃"
forall = "∀"
gamma = "γ"
geq = "≥"
implies = "⇒"
in = "∈"
inf = "∞"
integral = "∫"
intersect = "∩"
ints = "ℤ"
iota = "ι"
kappa = "κ"
lambda = "λ"
larrow = "←"
lceil = "⌈"
ldsqbracket = "⟦"
leq = "≤"
lfloor = "⌊"
lseq = "⟨"
mapsto = "↦"
models = "⊧"
mu = "μ"
nabla = "∇"
nats = "ℕ"
neq = "≠"
not = "¬"
notaproxeq = "≄"
notdivides = "∤"
notexists = "∄"
notin = "∉"
notsubset = "⊄"
notsubseteq = "⊈"
nu = "ν"
omega = "ω"
omicron = "ο"
or = "∨"
part = "∂"
phi = "φ"
pi = "π"
plusminus = "±"
prec = "≺"
preceq = "≼"
prod = "∏"
psi = "ψ"
qed = "□"
rarrow = "→"
rats = "ℚ"
rceil = "⌉"
rdsqbracket = "⟧"
reals = "ℝ"
rfloor = "⌋"
rho = "ρ"
rotleft = "≪"
rotright = "≫"
rseq = "⟩"
sigma = "σ"
subset = "⊂"
subseteq = "⊆"
subsetneq = "⊊"
succ = "≻"
succeq = "≽"
sum = "∑"
tau = "τ"
therefore = "∴"
theta = "θ"
tm = "™"
top = "⊤"
union = "∪"
upsilon = "υ"
vdots = "⋮"
xi = "ξ"
xor = "⨁"
zeta = "ζ"
ib = "‽"
dagger = "†"
doubledagger = "‡"
warning = "⚠"
skull = "💀"
skullcrossbones = "☠"
lquote = "“"
rquote = "”"
lsquote = "‘"
rsquote = "’"
ratio = "∶"
copyright = "©"
copyleft = "🄯"
dash = "—"