New ac's attempt at defining distinction with garbage

[fireball-separation.git] / macros.tex

diff --git a/macros.tex b/macros.tex
index 4c82f0b94616e233afb851958dfe90963813adec..d647af67476a2bfd61f963778cc5f090651b88be 100644 (file)
--- a/macros.tex
+++ b/macros.tex
@@ -58,3 +58,23 @@
 \newcommand{\Numeral}[1]{\bar{#1}}\r
 \r
 \newcommand{\ToFire}[1]{#1{\downarrow}}\r
+\r
+\r
+% from strong_fireballs macros.tex\r
+\newcommand{\Lam}[1]{\lambda #1.\,}\r
+\r
+\newcommand{\hl}[1]{{\underline{#1}}}\r
+\newcommand{\Esub}[2]{\texttt{[}#2\texttt{/}#1\texttt{]}}\r
+\newcommand{\Comma}{\texttt{,}}\r
+\newcommand{\Semi}{\texttt{;}}\r
+\newcommand{\Subst}[2]{\{#2/#1\}}\r
+% \newcommand{\Comma}{}\r
+\newcommand{\tm}{t}\r
+\newcommand{\tmtwo}{u}\r
+\newcommand{\tmthree}{s}\r
+\newcommand{\var}{x}\r
+\newcommand{\vartwo}{y}\r
+\newcommand{\varthree}{z}\r
+\newcommand{\varfour}{w}\r
+\r
+\newcommand{\Red}[2]{\xrightarrow{#2}_{#1}}\r