--- a/ChengsongTanPhdThesis/Chapters/Introduction.tex	Sun Jun 26 22:22:47 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Introduction.tex	Tue Jun 28 21:07:42 2022 +0100
@@ -30,7 +30,7 @@
 \newcommand{\ZERO}{\mbox{\bf 0}}
 \newcommand{\ONE}{\mbox{\bf 1}}
 \newcommand{\AALTS}[2]{\oplus {\scriptstyle #1}\, #2}
-\newcommand{\rdistinct}[2]{\textit{rdistinct} \; \textit{#1} \; #2}
+\newcommand{\rdistinct}[2]{\textit{rdistinct} \;\; #1 \;\; #2}
 \newcommand\hflat[1]{\llparenthesis  #1 \rrparenthesis_*}
 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'}
 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)}
@@ -58,10 +58,12 @@
 \def\AONE{\textit{AONE}}
 \def\ACHAR{\textit{ACHAR}}
 
-\def\hrewrite{\stackrel[h]{\rightsquigarrow}}
-\def\hrewrites{\stackrel[h]{*}{\rightsquigarrow} }
-\def\grewrite{\stackrel[g]{\rightsquigarrow}}
-\def\grewrites{\stackrel[g]{*}{\rightsquigarrow}}
+\def\frewrite{\rightsquigarrow_f}
+\def\hrewrite{\rightsquigarrow_h}
+\def\grewrite{\rightsquigarrow_g}
+\def\frewrites{\stackrel{*}{\rightsquigarrow_f}}
+\def\hrewrites{\stackrel{*}{\rightsquigarrow_h}}
+\def\grewrites{\stackrel{*}{\rightsquigarrow_g}}
 \def\fuse{\textit{fuse}}
 \def\bder{\textit{bder}}
 \def\der{\textit{der}}