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}}