diff -r ab626b60ee64 -r 4d9eecfc936a ChengsongTanPhdThesis/main.tex
--- a/ChengsongTanPhdThesis/main.tex	Sun May 01 11:50:46 2022 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Mon May 02 00:23:39 2022 +0100
@@ -44,6 +44,7 @@
 \usepackage{mathpazo} % Use the Palatino font by default
 \usepackage{hyperref}
 \usepackage[backend=bibtex,style=authoryear,natbib=true]{biblatex} % Use the bibtex backend with the authoryear citation style (which resembles APA)
+\usepackage{stmaryrd}
 
 \addbibresource{example.bib} % The filename of the bibliography
 
@@ -253,12 +254,25 @@
 \textbf{LAH} & \textbf{L}ist \textbf{A}bbreviations \textbf{H}ere\\
 \textbf{WSF} & \textbf{W}hat (it) \textbf{S}tands \textbf{F}or\\
 
+
+\newtheorem{theorem}{Theorem}
+\newtheorem{lemma}{Lemma}
+
+
+
+\newcommand{\bderssimp}[2]{{#1} \backslash_{bsimp} {#2}}
 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
 \newcommand{\ZERO}{\mbox{\bf 0}}
 \newcommand{\ONE}{\mbox{\bf 1}}
 \def\lexer{\mathit{lexer}}
 \def\mkeps{\mathit{mkeps}}
 
+\def\AZERO{\textit{AZERO}}
+\def\AONE{\textit{AONE}}
+\def\ACHAR{\textit{ACHAR}}
+\def\ASEQ{\textit{ASEQ}}
+\def\AALTS{\textit{AALTS}}
+\def\ASTAR{\textit{ASTAR}}
 \def\DFA{\textit{DFA}}
 \def\bmkeps{\textit{bmkeps}}
 \def\retrieve{\textit{retrieve}}
@@ -276,6 +290,24 @@
 \def\Z{\mathit{Z}}
 \def\S{\mathit{S}}
 \def\rup{r^\uparrow}
+%\def\bderssimp{\mathit{bders}\_\mathit{simp}}
+\def\distinctWith{\textit{distinctWith}}
+
+\def\simp{\mathit{simp}}
+\def\simpALTs{\mathit{simp}\_\mathit{ALTs}}
+\def\map{\mathit{map}}
+\def\distinct{\mathit{distinct}}
+\def\blexersimp{\mathit{blexer}\_\mathit{simp}}
+\def\map{\textit{map}}
+\def\vsuf{\textit{vsuf}}
+\def\sflataux{\textit{sflat}\_\textit{aux}}
+\def\rrexp{\textit{rrexp}}
+\def\rsize{\textit{rsize}}
+\def\asize{\textit{asize}}
+\def\rerase{\textit{rerase}}
+\def\erase{\textit{erase}}
+\def\STAR{\textit{STAR}}
+\def\flts{\textit{flts}}
 
 \end{abbreviations}