--- a/ChengsongTanPhdThesis/Chapters/Bitcoded1.tex	Tue Jun 14 18:06:33 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Bitcoded1.tex	Thu Jun 23 16:09:40 2022 +0100
@@ -528,7 +528,7 @@
 the lexing process, which might not be possible
 using $\lexer$ or $\blexer$ themselves.
 The first function we shall look at is $\retrieve$.
-\subsection{$\retrieve$}
+\subsection{$\textit{Retrieve}$}
 Our bit-coded lexer "retrieve"s the bitcodes using $\bmkeps$
 after we finished doing all the derivatives:
 \begin{center}