X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=macros.tex;h=4c30e1512cda8f659a4ff7d3a1c5a6677d6ba808;hb=a7a2c1856a363d14919592eec69c3d0e50dc883f;hp=5e151cc18eef3e7b032943819266ef7f6a32127f;hpb=7b8e2259f217ba34f4d8871eca4fc7b79791d13a;p=fireball-separation.git

diff --git a/macros.tex b/macros.tex
index 5e151cc..4c30e15 100644
--- a/macros.tex
+++ b/macros.tex
@@ -87,4 +87,6 @@
 
 \renewcommand{\Lam}[2]{\lambda#1.\, \{\!\!\{#2\}\!\!\}}
 \renewcommand{\vec}{\overrightarrow}
-\newcommand{\reflemma}[1]{Lemma~\ref{l:#1}}
\ No newline at end of file
+\newcommand{\reflemma}[1]{Lemma~\ref{l:#1}}
+\newcommand{\head}{h}
+\newcommand{\args}{a}