From 50900bfc44961b87379cd2d3464b677d9f5be1ac Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Sat, 21 Sep 2013 18:16:12 -0400
Subject: Converting to LATIN format

---
 definitions.tex | 21 +++++++++++----------
 1 file changed, 11 insertions(+), 10 deletions(-)

(limited to 'definitions.tex')

diff --git a/definitions.tex b/definitions.tex
index 7d30dcd..236c368 100644
--- a/definitions.tex
+++ b/definitions.tex
@@ -1,14 +1,14 @@
 \newcommand{\mutual}{\ensuremath{{I}}}
 \newcommand{\entropy}{\ensuremath{{H}}}
-\newtheorem{lemma}{Lemma}
-\newtheorem{proposition}{Proposition}
-\newtheorem{fact}{Fact}
-\newtheorem{example}{Example}
-\newtheorem{prop}{Proposition}
-\newtheorem{theorem}{Theorem}
-\newtheorem{corollary}{Corollary}
-\theoremstyle{definition}
-\newtheorem{definition}{Definition}
+%\newtheorem{lemma}{Lemma}
+%\newtheorem{proposition}{Proposition}
+%\newtheorem{fact}{Fact}
+%\newtheorem{example}{Example}
+%\newtheorem{prop}{Proposition}
+%\newtheorem{theorem}{Theorem}
+%\newtheorem{corollary}{Corollary}
+%\theoremstyle{definition}
+%\newtheorem{definition}{Definition}
 \newcommand{\citeN}{\citet}
 %\newcommand*{\defeq}{\stackrel{\text{def}}{=}}
 \newcommand*{\defeq}{\equiv}
@@ -36,7 +36,8 @@
 \newcommand{\junk}[1]{}
 \newcommand{\edp}{{\tt EDP}}
 \newcommand{\dom}{\mathcal{D}}
-\newcommand{\note}[1]{\textcolor{red}{#1}}
+\newcommand{\qedhere}{\qed}
+%\newcommand{\note}[1]{\textcolor{red}{#1}}
 
 \algrenewcommand\algorithmicrequire{\textbf{Input:}}
 \algrenewcommand\algorithmicensure{\textbf{Output:}}
-- 
cgit v1.2.3-70-g09d2

