summaryrefslogtreecommitdiffstats
path: root/definitions.tex
diff options
context:
space:
mode:
Diffstat (limited to 'definitions.tex')
-rw-r--r--definitions.tex3
1 files changed, 2 insertions, 1 deletions
diff --git a/definitions.tex b/definitions.tex
index 526f544..de551ca 100644
--- a/definitions.tex
+++ b/definitions.tex
@@ -5,6 +5,7 @@
\newtheorem{example}{Example}
\newtheorem{prop}{Proposition}
\newtheorem{theorem}{Theorem}
+\newtheorem{corollary}{Corollary}
%\newcommand*{\defeq}{\stackrel{\text{def}}{=}}
\newcommand*{\defeq}{\equiv}
\newcommand{\var}{\mathop{\mathrm{Var}}}
@@ -26,4 +27,4 @@
\newcommand{\E}{{\tt E}}
\newcommand{\id}{\mathbbm{1}}
\newcommand{\junk}[1]{}
-\newcommand{\edp}{{\tt EDP}} \ No newline at end of file
+\newcommand{\edp}{{\tt EDP}}