diff -r aecf1ddf3541 -r c27f04bb2262 ChengsongTanPhdThesis/Chapters/Introduction.tex
--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Tue Jun 28 21:07:42 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Wed Jun 29 12:38:05 2022 +0100
@@ -31,6 +31,7 @@
 \newcommand{\ONE}{\mbox{\bf 1}}
 \newcommand{\AALTS}[2]{\oplus {\scriptstyle #1}\, #2}
 \newcommand{\rdistinct}[2]{\textit{rdistinct} \;\; #1 \;\; #2}
+\def\rDistinct{\textit{rdistinct}}
 \newcommand\hflat[1]{\llparenthesis  #1 \rrparenthesis_*}
 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'}
 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)}