diff -r 0f00d440f484 -r 15d182ffbc76 ChengsongTanPhdThesis/Chapters/Introduction.tex
--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Fri Jun 24 21:49:23 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Sun Jun 26 22:22:47 2022 +0100
@@ -23,7 +23,7 @@
 \newcommand{\rderssimp}[2]{#1 \backslash_{rsimp} #2}
 \newcommand{\bders}[2]{#1 \backslash #2}
 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)}
-\newcommand{\rsimp}[1]{\textit{rsimp}(#1)}
+\newcommand{\rsimp}[1]{\textit{rsimp}\; #1}
 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'}
 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
 \newcommand{\denote}{\stackrel{\mbox{\scriptsize denote}}{=}}%
@@ -37,6 +37,11 @@
 
 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}}
 
+\def\sequal{\stackrel{\mbox{\scriptsize rsimp}}{=}}
+\def\rsimpalts{\textit{rsimp}_{ALTS}}
+\def\good{\textit{good}}
+\def\btrue{\textit{true}}
+\def\bfalse{\textit{false}}
 \def\bnullable{\textit{bnullable}}
 \def\bnullables{\textit{bnullables}}
 \def\Some{\textit{Some}}
@@ -48,10 +53,15 @@
 \def\mkeps{\textit{mkeps}}
 \newcommand{\rder}[2]{#2 \backslash #1}
 
+\def\nonnested{\textit{nonnested}}
 \def\AZERO{\textit{AZERO}}
 \def\AONE{\textit{AONE}}
 \def\ACHAR{\textit{ACHAR}}
 
+\def\hrewrite{\stackrel[h]{\rightsquigarrow}}
+\def\hrewrites{\stackrel[h]{*}{\rightsquigarrow} }
+\def\grewrite{\stackrel[g]{\rightsquigarrow}}
+\def\grewrites{\stackrel[g]{*}{\rightsquigarrow}}
 \def\fuse{\textit{fuse}}
 \def\bder{\textit{bder}}
 \def\der{\textit{der}}
@@ -96,7 +106,7 @@
 %\def\vsuf{\textit{vsuf}}
 %\def\sflataux{\textit{sflat}\_\textit{aux}}
 \def\rrexp{\textit{rrexp}}
-\newcommand\rnullable[1]{\textit{rnullable}(#1)}
+\newcommand\rnullable[1]{\textit{rnullable} \; #1 }
 \newcommand\rsize[1]{\llbracket #1 \rrbracket_r}
 \newcommand\asize[1]{\llbracket #1 \rrbracket}
 \newcommand\rerase[1]{ (#1)_{\downarrow_r}}