--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Fri Jul 01 13:02:15 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Mon Jul 04 12:27:13 2022 +0100
@@ -57,6 +57,7 @@
 
 \def\nonnested{\textit{nonnested}}
 \def\AZERO{\textit{AZERO}}
+\def\sizeNregex{\textit{sizeNregex}}
 \def\AONE{\textit{AONE}}
 \def\ACHAR{\textit{ACHAR}}
 
@@ -99,6 +100,9 @@
 \def\PD{\textit{PD}}
 \def\suffix{\textit{Suffix}}
 \def\distinctBy{\textit{distinctBy}}
+\def\starupdate{\textit{starUpdate}}
+\def\starupdates{\textit{starUpdates}}
+
 
 \def\size{\mathit{size}}
 \def\rexp{\mathbf{rexp}}
@@ -108,8 +112,6 @@
 \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}}
 \newcommand\rnullable[1]{\textit{rnullable} \; #1 }
 \newcommand\rsize[1]{\llbracket #1 \rrbracket_r}
@@ -132,9 +134,9 @@
 \def\RONE{\mathbf{1}_r}
 \newcommand\RCHAR[1]{\mathbf{#1}_r}
 \newcommand\RSEQ[2]{#1 \cdot #2}
-\newcommand\RALTS[1]{\oplus #1}
+\newcommand\RALTS[1]{\sum #1}
 \newcommand\RSTAR[1]{#1^*}
-\newcommand\vsuf[2]{\textit{vsuf} \;#1\;#2}
+\newcommand\vsuf[2]{\textit{Suffix} \;#1\;#2}