ChengsongTanPhdThesis/Chapters/Introduction.tex
changeset 567 28cb8089ec36
parent 564 3cbcd7cda0a9
child 573 454ced557605
--- 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}}