Proved another lemma (aux1 + aux2)

[fireball-separation.git] / macros.tex

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