
diff -r 988e92a70704 -r b2d0de6aee18 ChengsongTanPhdThesis/Chapters/Introduction.tex
--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Wed Aug 31 23:57:42 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Thu Sep 01 23:47:37 2022 +0100
@@ -25,6 +25,7 @@
 \def\rders{\textit{rders}}
 \newcommand{\bders}[2]{#1 \backslash #2}
 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)}
+\def\bsimps{\textit{bsimp}}
 \newcommand{\rsimp}[1]{\textit{rsimp}\; #1}
 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'}
 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}%
@@ -119,7 +120,7 @@
 \def\blexersimp{\mathit{blexer}\_\mathit{simp}}
 \def\blexerStrong{\textit{blexerStrong}}
 \def\bsimpStrong{\textit{bsimpStrong}}
-%\def\bdersStrong{\textit{bdersStrong}}
+\def\bdersStrongs{\textit{bdersStrong}}
 \newcommand{\bdersStrong}[2]{#1 \backslash_{bsimpStrongs} #2}
 
 \def\map{\textit{map}}




