
diff -r 28751de4b4ba -r 96e93df60954 ChengsongTanPhdThesis/Chapters/Chapter1.tex
--- a/ChengsongTanPhdThesis/Chapters/Chapter1.tex	Mon May 30 14:41:09 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Chapter1.tex	Mon May 30 17:24:52 2022 +0100
@@ -23,6 +23,7 @@
 \newcommand{\rsimp}[1]{\textit{rsimp}(#1)}
 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'}
 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
+\newcommand{\denote}{\stackrel{\mbox{\scriptsize denote}}{=}}%
 \newcommand{\ZERO}{\mbox{\bf 0}}
 \newcommand{\ONE}{\mbox{\bf 1}}
 \newcommand{\AALTS}[2]{\oplus {\scriptstyle #1}\, #2}
@@ -58,7 +59,8 @@
 \def\Stars{\mathit{Stars}}
 \def\Char{\mathit{Char}}
 \def\Seq{\mathit{Seq}}
-\def\Der{\mathit{Der}}
+\def\Der{\textit{Der}}
+\def\Ders{\textit{Ders}}
 \def\nullable{\mathit{nullable}}
 \def\Z{\mathit{Z}}
 \def\S{\mathit{S}}




