
diff -r 94604a5fd271 -r 28cb8089ec36 ChengsongTanPhdThesis/Chapters/Introduction.tex
--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Wed Jul 13 08:35:45 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Thu Jul 14 14:57:32 2022 +0100
@@ -85,8 +85,8 @@
 \def\flex{\textit{flex}}
 \def\inj{\mathit{inj}}
 \def\Empty{\textit{Empty}}
-\def\Left{\mathit{Left}}
-\def\Right{\mathit{Right}}
+\def\Left{\textit{Left}}
+\def\Right{\textit{Right}}
 \def\Stars{\mathit{Stars}}
 \def\Char{\mathit{Char}}
 \def\Seq{\mathit{Seq}}




