github_redefinitions.tex

\renewcommand{\gls}[1]{#1}
\renewcommand{\todo}[1]{TODO: \textbf{#1}}
\renewcommand{\epigraph}[2]{\textbf{#1} - \textbf{#2}}
\renewcommand{\keyword}[1]{\texttt{#1}}
\renewenvironment{proof}{\\ \textbf{(Optional) Proof:} \\}{\\ \textbf{(Optional) ■} \\}

\renewenvironment{titlepage}
{
\comment
}
{
\endcomment
}
%% Begin unicode math

\renewcommand{\neg}[0]{¬}
\renewcommand{\pm}[0]{±}
\renewcommand{\times}[0]{×}
\renewcommand{\div}[0]{÷}
\renewcommand{\dots}[0]{…}
\renewcommand{\leftarrow}[0]{←}
\renewcommand{\uparrow}[0]{↑}
\renewcommand{\rightarrow}[0]{→}
\renewcommand{\downarrow}[0]{↓}
\renewcommand{\leftrightarrow}[0]{↔}
\renewcommand{\Rightarrow}[0]{⇒}
\renewcommand{\Leftrightarrow}[0]{⇔}
\renewcommand{\forall}[0]{∀}
\renewcommand{\exists}[0]{∃}
\renewcommand{\emptyset}[0]{∅}
\renewcommand{\in}[0]{∈}
\renewcommand{\notin}[0]{∉}
\renewcommand{\ni}[0]{∋}
\renewcommand{\blacksquare}[0]{∎}
\renewcommand{\mp}[0]{∓}
\renewcommand{\ast}[0]{∗}
\renewcommand{\circ}[0]{∘}
\renewcommand{\bullet}[0]{∙}
\renewcommand{\propto}[0]{∝}
\renewcommand{\infty}[0]{∞}
\renewcommand{\parallel}[0]{∥}
\renewcommand{\land}[0]{∧}
\renewcommand{\lor}[0]{∨}
\renewcommand{\cap}[0]{∩}
\renewcommand{\cup}[0]{∪}
\renewcommand{\therefore}[0]{∴}
\renewcommand{\because}[0]{∵}
\renewcommand{\approx}[0]{≈}
\renewcommand{\neq}[0]{≠}
\renewcommand{\equiv}[0]{≡}
\renewcommand{\leq}[0]{≤}
\renewcommand{\geq}[0]{≥}
\renewcommand{\subset}[0]{⊂}
\renewcommand{\supset}[0]{⊃}
\renewcommand{\subseteq}[0]{⊆}
\renewcommand{\supseteq}[0]{⊇}
\renewcommand{\vdash}[0]{⊢}
\renewcommand{\top}[0]{⊤}
\renewcommand{\bot}[0]{⊥}
\renewcommand{\vDash}[0]{⊨}
\renewcommand{\cdot}[0]{⋅}
\renewcommand{\vdots}[0]{⋮}
\renewcommand{\cdots}[0]{⋯}
\renewcommand{\alpha}[0]{α}
\renewcommand{\beta}[0]{β}
\renewcommand{\gamma}[0]{γ}
\renewcommand{\Gamma}[0]{Γ}
\renewcommand{\delta}[0]{δ}
\renewcommand{\Delta}[0]{Δ}
\renewcommand{\varepsilon}[0]{ε}
\renewcommand{\epsilon}[0]{ϵ}
\renewcommand{\zeta}[0]{ζ}
\renewcommand{\eta}[0]{η}
\renewcommand{\theta}[0]{θ}
\renewcommand{\vartheta}[0]{ϑ}
\renewcommand{\Theta}[0]{Θ}
\renewcommand{\iota}[0]{ι}
\renewcommand{\kappa}[0]{κ}
\renewcommand{\lambda}[0]{λ}
\renewcommand{\Lambda}[0]{Λ}
\renewcommand{\mu}[0]{μ}
\renewcommand{\nabla}[0]{∇}
\renewcommand{\nu}[0]{ν}
\renewcommand{\xi}[0]{ξ}
\renewcommand{\Xi}[0]{Ξ}
\renewcommand{\pi}[0]{π}
\renewcommand{\Pi}[0]{Π}
\renewcommand{\rho}[0]{ρ}
\renewcommand{\varrho}[0]{ϱ}
\renewcommand{\sigma}[0]{σ}
\renewcommand{\varsigma}[0]{ς}
\renewcommand{\Sigma}[0]{Σ}
\renewcommand{\tau}[0]{τ}
\renewcommand{\upsilon}[0]{υ}
\renewcommand{\Upsilon}[0]{Υ}
\renewcommand{\varphi}[0]{φ}
\renewcommand{\phi}[0]{ϕ}
\renewcommand{\Phi}[0]{Φ}
\renewcommand{\chi}[0]{χ}
\renewcommand{\psi}[0]{ψ}
\renewcommand{\Psi}[0]{Ψ}
\renewcommand{\omega}[0]{ω}
\renewcommand{\Omega}[0]{Ω}
\renewcommand{\inf}[0]{inf}
\renewcommand{\sup}[0]{sup}