--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Wed Aug 31 12:51:53 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Wed Aug 31 23:57:42 2022 +0100
@@ -117,6 +117,11 @@
 \def\map{\mathit{map}}
 \def\distinct{\mathit{distinct}}
 \def\blexersimp{\mathit{blexer}\_\mathit{simp}}
+\def\blexerStrong{\textit{blexerStrong}}
+\def\bsimpStrong{\textit{bsimpStrong}}
+%\def\bdersStrong{\textit{bdersStrong}}
+\newcommand{\bdersStrong}[2]{#1 \backslash_{bsimpStrongs} #2}
+
 \def\map{\textit{map}}
 \def\rrexp{\textit{rrexp}}
 \newcommand\rnullable[1]{\textit{rnullable} \; #1 }
@@ -153,20 +158,27 @@
 
 
 
-\pgfplotsset{
-    myplotstyle/.style={
-    legend style={draw=none, font=\small},
-    legend cell align=left,
-    legend pos=north east,
-    ylabel style={align=center, font=\bfseries\boldmath},
-    xlabel style={align=center, font=\bfseries\boldmath},
-    x tick label style={font=\bfseries\boldmath},
-    y tick label style={font=\bfseries\boldmath},
-    scaled ticks=true,
-    every axis plot/.append style={thick},
-    },
+
+\lstdefinestyle{myScalastyle}{
+  frame=tb,
+  language=scala,
+  aboveskip=3mm,
+  belowskip=3mm,
+  showstringspaces=false,
+  columns=flexible,
+  basicstyle={\small\ttfamily},
+  numbers=none,
+  numberstyle=\tiny\color{gray},
+  keywordstyle=\color{blue},
+  commentstyle=\color{dkgreen},
+  stringstyle=\color{mauve},
+  frame=single,
+  breaklines=true,
+  breakatwhitespace=true,
+  tabsize=3,
 }
 
+
 %----------------------------------------------------------------------------------------
 %This part is about regular expressions, Brzozowski derivatives,
 %and a bit-coded lexing algorithm with proven correctness and time bounds.