--- a/ChengsongTanPhdThesis/Chapters/Inj.tex	Fri Sep 30 01:47:33 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Inj.tex	Sat Oct 01 12:06:46 2022 +0100
@@ -473,6 +473,7 @@
 derivatives on regular expressions and
 derivatives on a set of strings:
 \begin{lemma}\label{derDer}
+	\mbox{}
 	\begin{itemize}
 		\item
 $\textit{Der} \; c \; L(r) = L (r\backslash c)$
@@ -638,8 +639,10 @@
 later, but as a preliminary we have to first define 
 the datatype for lexing results, 
 called \emph{value} or
-sometimes also \emph{lexical value}.  Values and regular
-expressions correspond to each other as illustrated in the following
+sometimes also \emph{lexical value}.  
+Values and regular
+expressions correspond to each other 
+as illustrated in the following
 table:
 
 \begin{center}