Changeset bce76d1 for doc/theses/andrew_beach_MMath

Timestamp:

Mar 17, 2020, 2:23:22 PM (5 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

1ef166d

Parents:

2c052c0

Message:

cfalab.sty's \newsymbolcmd now accepts commands instead of letters and uses fewer internal macros.

File:

• doc/theses/andrew_beach_MMath/cfalab.sty (modified) (1 diff)

doc/theses/andrew_beach_MMath/cfalab.sty

@@ -16 +16 @@
 % 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}}