X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=macros.tex;h=d647af67476a2bfd61f963778cc5f090651b88be;hb=22d8d52f5b9a6fa95ab31d585423af6a0b0a9e8c;hp=4c82f0b94616e233afb851958dfe90963813adec;hpb=34c8f76c4a20829714be87a100ace82e696aa271;p=fireball-separation.git

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