Working on the conservation of eta inequality, seems feasible

[fireball-separation.git] / macros.tex

diff --git a/macros.tex b/macros.tex
index d647af67476a2bfd61f963778cc5f090651b88be..5e151cc18eef3e7b032943819266ef7f6a32127f 100644 (file)
--- a/macros.tex
+++ b/macros.tex
@@ -1,10 +1,15 @@
+\usepackage{blindtext}\r
+\usepackage{enumerate}\r
+\usepackage{hyperref, bookmark}\r
+\usepackage{amsmath, amsfonts, amssymb, amsthm}\r
+\usepackage{xcolor}\r
 \usepackage{bussproofs}\r
 \r
 \theoremstyle{plain}\r
 \newtheorem{theorem}{Theorem}\r
 \newtheorem{lemma}{Lemma}\r
 % \newtheorem{prop}[thm]{Proposition}\r
-% \newtheorem*{cor}{Corollary}\r
+\newtheorem{corollary}{Corollary}\r
 \r
 \theoremstyle{definition}\r
 \newtheorem{definition}{Definition}\r
@@ -78,3 +83,8 @@
 \newcommand{\varfour}{w}\r
 \r
 \newcommand{\Red}[2]{\xrightarrow{#2}_{#1}}\r
+\newcommand{\TODO}{{\color{red}\textbf{TODO}}}\r
+\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