diff -r 1734bd5975a3 -r 4969ef817d92 ChengsongTanPhdThesis/Chapters/Introduction.tex
--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Tue Aug 23 22:59:49 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Sat Aug 27 00:37:03 2022 +0100
@@ -57,12 +57,16 @@
 \def\mkeps{\textit{mkeps}}
 \newcommand{\rder}[2]{#2 \backslash_r #1}
 
+\def\rerases{\textit{rerase}}
+
 \def\nonnested{\textit{nonnested}}
 \def\AZERO{\textit{AZERO}}
 \def\sizeNregex{\textit{sizeNregex}}
 \def\AONE{\textit{AONE}}
 \def\ACHAR{\textit{ACHAR}}
 
+\def\simpsulz{\textit{simp}_{Sulz}}
+
 \def\scfrewrites{\stackrel{*}{\rightsquigarrow_{scf}}}
 \def\frewrite{\rightsquigarrow_f}
 \def\hrewrite{\rightsquigarrow_h}