--- a/ChengsongTanPhdThesis/main.tex	Sun Jun 26 22:22:47 2022 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Tue Jun 28 21:07:42 2022 +0100
@@ -42,6 +42,7 @@
 \usepackage[T1]{fontenc} % Output font encoding for international characters
 %\usepackage{fdsymbol} % Loads unicode-math
 
+\usepackage{verbatim}
 \usepackage{mathpazo} % Use the Palatino font by default
 \usepackage{hyperref}
 \usepackage{lipsum}
@@ -72,7 +73,7 @@
 \usetikzlibrary{fit,
                 shapes.geometric}
 \usepackage{mathpartir}
-
+\usepackage{stackrel}
 
 \DeclareCaptionType{mytype}[Illustration][]
 \newenvironment{envForCaption}{\captionsetup{type=mytype} }{}