diff options
| author | Stratis Ioannidis <stratis@stratis-Latitude-E6320.(none)> | 2012-11-05 11:56:16 -0800 |
|---|---|---|
| committer | Stratis Ioannidis <stratis@stratis-Latitude-E6320.(none)> | 2012-11-05 11:56:16 -0800 |
| commit | af686855b5a6589411edd116619ef233349c53ad (patch) | |
| tree | 42af8efdca7a2fcb38fa39924f881cc181dae37e /definitions.tex | |
| parent | b3d93b68f5d032a4b438400edd26c3282c2ae5d1 (diff) | |
| parent | 9ad46372b87ff8e77b354169e1736bce4c0a538c (diff) | |
| download | recommendation-af686855b5a6589411edd116619ef233349c53ad.tar.gz | |
muthu section 5
Diffstat (limited to 'definitions.tex')
| -rw-r--r-- | definitions.tex | 3 |
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}} |