Index: doc/theses/andrew_beach_MMath/cfalab.sty
===================================================================
--- doc/theses/andrew_beach_MMath/cfalab.sty	(revision 2c052c066d20fcbb9aba70ba84de9a93003f5a67)
+++ doc/theses/andrew_beach_MMath/cfalab.sty	(revision bce76d1f76d35da4ed35f2c485f42198858648ab)
@@ -16,18 +16,12 @@
 % by a star (which the command will consume) to disable this behaviour.
 
-% \newsymbolcmd{<name>}{<expansion>}
-%    Creates a symbol with <name> that has the given <expansion>. Note that
-%    the name must be given as a series of letters, not as an escaped name.
-\newrobustcmd*\newsymbolcmd[2]{
-    \csdef{#1}{\cfalab@symbol{#1}}
-    \expandafter\robustify\csname #1\endcsname
-    \csdef{cfalab@symbol@#1}{#2}
-}
-\def\cfalab@symbol#1{\@ifnextchar*{\cfalab@symstar{#1}}{\cfalab@symnostar{#1}}}
-\def\cfalab@symstar#1*{\csuse{cfalab@symbol@#1}}
-\def\cfalab@symnostar#1{\csuse{cfalab@symbol@#1}\xspace}
+% \newsymbolcmd{<command>}{<expansion>}
+%    Defines <command> to be a symbol that has the given <expansion>.
+\newrobustcmd*\newsymbolcmd[2]{\newrobustcmd{#1}{\cfalab@symbol{#2}}}
+\def\cfalab@symbol#1{\@ifnextchar*{#1\cfalab@eatstar}{#1\xspace}}
+\def\cfalab@eatstar*{}
 
 % Cforall with the forall symbol.
-\newsymbolcmd{CFA}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}}
+\newsymbolcmd\CFA{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}}
 
 \newcommand\codeC[1]{\texttt{#1}}