--- a/ChengsongTanPhdThesis/main.tex	Sun May 08 15:38:00 2022 +0100
+++ b/ChengsongTanPhdThesis/main.tex	Sun May 08 15:44:04 2022 +0100
@@ -40,6 +40,7 @@
 
 \usepackage[utf8]{inputenc} % Required for inputting international characters
 \usepackage[T1]{fontenc} % Output font encoding for international characters
+%\usepackage{fdsymbol} % Loads unicode-math
 
 \usepackage{mathpazo} % Use the Palatino font by default
 \usepackage{hyperref}
@@ -56,7 +57,9 @@
 
 %\usepackage{algorithm}
 \usepackage{amsmath}
-\usepackage{mathtools}
+\usepackage{amsthm}
+\usepackage{amssymb}
+%\usepackage{mathtools}
 \usepackage[noend]{algpseudocode}
 \usepackage{enumitem}
 \usepackage{nccmath}
@@ -258,6 +261,8 @@
 
 \newtheorem{theorem}{Theorem}
 \newtheorem{lemma}{Lemma}
+%proof
+
 
 \newcommand\sflat[1][]{\textit{sflat} \, #1}
 \newcommand{\ASEQ}[3]{\textit{ASEQ}_{#1} \, #2 \, #3}