--- a/ChengsongTanPhdThesis/main.tex	Tue May 03 13:11:41 2022 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Fri May 06 13:22:20 2022 +0100
@@ -56,6 +56,7 @@
 
 %\usepackage{algorithm}
 \usepackage{amsmath}
+\usepackage{mathtools}
 \usepackage[noend]{algpseudocode}
 \usepackage{enumitem}
 \usepackage{nccmath}
@@ -258,20 +259,25 @@
 \newtheorem{theorem}{Theorem}
 \newtheorem{lemma}{Lemma}
 
-
-
-\newcommand{\bderssimp}[2]{{#1} \backslash_{bsimp} {#2}}
+\newcommand\sflat[1][]{\textit{sflat} \, #1}
+\newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}
+\newcommand{\bderssimp}[2]{#1 \backslash_{bsimp} #2}
+\newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2}
+\newcommand{\sflataux}[1]{\lbracket #1 \rbracket}
 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
 \newcommand{\ZERO}{\mbox{\bf 0}}
 \newcommand{\ONE}{\mbox{\bf 1}}
+\newcommand{\AALTS}[2]{\XOR {\scriptstyle #1}\, #2}
+
 \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\ALTS{\textit{ALTS}}
 \def\ASTAR{\textit{ASTAR}}
 \def\DFA{\textit{DFA}}
 \def\bmkeps{\textit{bmkeps}}
@@ -293,6 +299,7 @@
 %\def\bderssimp{\mathit{bders}\_\mathit{simp}}
 \def\distinctWith{\textit{distinctWith}}
 
+\def\rexp{\mathbf{rexp}}
 \def\simp{\mathit{simp}}
 \def\simpALTs{\mathit{simp}\_\mathit{ALTs}}
 \def\map{\mathit{map}}
@@ -309,6 +316,8 @@
 \def\STAR{\textit{STAR}}
 \def\flts{\textit{flts}}
 
+
+
 \end{abbreviations}