--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Sun Nov 06 23:06:10 2022 +0000
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Mon Nov 07 21:31:07 2022 +0000
@@ -39,6 +39,15 @@
 \newcommand\hflat[1]{\llparenthesis  #1 \rrparenthesis_*}
 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'}
 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)}
+\def\cbn{\textit{createdByNtimes}}
+\def\hpa{\textit{highestPowerAux}}
+\def\hpower{\textit{highestPower}}
+\def\ntset{\textit{ntset}}
+\def\optermsimp{\textit{optermsimp}}
+\def\optermOsimp{\textit{optermOsimp}}
+\def\optermosimp{\textit{optermosimp}}
+\def\opterm{\textit{opterm}}
+\def\nString{\textit{nonemptyString}}
 
 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}}
 
@@ -112,6 +121,8 @@
 \def\distinctBy{\textit{distinctBy}}
 \def\starupdate{\textit{starUpdate}}
 \def\starupdates{\textit{starUpdates}}
+\def\nupdate{\textit{nupdate}}
+\def\nupdates{\textit{nupdates}}
 
 
 \def\size{\mathit{size}}