source: doc/theses/andrew_beach_MMath/cfalab.sty @ 2c052c0

arm-ehjacob/cs343-translationnew-astnew-ast-unique-expr
Last change on this file since 2c052c0 was 2c052c0, checked in by Andrew Beach <ajbeach@…>, 19 months ago

First rough draft of how unwinding works in ABMM.

  • Property mode set to 100644
File size: 1.3 KB
Line 
1% Package for CFA Research Lab.
2%
3% Made by combining and updating
4
5% I don't know what the oldest LaTeX2e version with everything needed is.
6\NeedsTeXFormat{LaTeX2e}
7\ProvidesPackage{cfalab}[2020/03/09 v0.1 CFA Laboratory LaTeX Tools]
8
9% Other packages required.
10\RequirePackage{etoolbox}
11\RequirePackage{xspace}
12
13% Symbols: All symbols are zero argument robust commands with special rules
14% about the space following the c.s. token. Normally the space might be
15% re-added according to the rules of the xspace package. They may be followed
16% by a star (which the command will consume) to disable this behaviour.
17
18% \newsymbolcmd{<name>}{<expansion>}
19%    Creates a symbol with <name> that has the given <expansion>. Note that
20%    the name must be given as a series of letters, not as an escaped name.
21\newrobustcmd*\newsymbolcmd[2]{
22    \csdef{#1}{\cfalab@symbol{#1}}
23    \expandafter\robustify\csname #1\endcsname
24    \csdef{cfalab@symbol@#1}{#2}
25}
26\def\cfalab@symbol#1{\@ifnextchar*{\cfalab@symstar{#1}}{\cfalab@symnostar{#1}}}
27\def\cfalab@symstar#1*{\csuse{cfalab@symbol@#1}}
28\def\cfalab@symnostar#1{\csuse{cfalab@symbol@#1}\xspace}
29
30% Cforall with the forall symbol.
31\newsymbolcmd{CFA}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}}
32
33\newcommand\codeC[1]{\texttt{#1}}
34
35\endinput
Note: See TracBrowser for help on using the repository browser.