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}}