diff options
| author | Stratis Ioannidis <stratis@stratis-Latitude-E6320.(none)> | 2012-11-05 11:45:06 -0800 |
|---|---|---|
| committer | Stratis Ioannidis <stratis@stratis-Latitude-E6320.(none)> | 2012-11-05 11:45:06 -0800 |
| commit | fdd56121c599f2bca638b48d1a745ec1583a222a (patch) | |
| tree | d2d4ce92e00af804d458f157e94f0126ce462055 /definitions.tex | |
| parent | 4ac508f9a23a6415d45d791bcb816769d9bf8d68 (diff) | |
| parent | c26f02954e431652e7da7852541e1cbe12a2e54b (diff) | |
| download | recommendation-fdd56121c599f2bca638b48d1a745ec1583a222a.tar.gz | |
Merge branch 'master' of ssh://palosgit01/git/data_value
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}} |