aboutsummaryrefslogtreecommitdiffstats
path: root/old_work/defs.tex
diff options
context:
space:
mode:
authorThibaut Horel <thibaut.horel@gmail.com>2015-03-09 13:50:20 -0400
committerThibaut Horel <thibaut.horel@gmail.com>2015-03-09 13:50:33 -0400
commit843f75943d25f4e180493142b6da0968621b9a78 (patch)
treea1c7e5fa8898e663f4009715bd8101ac5696d7c8 /old_work/defs.tex
parentc73f5ffb14020f8997488d1edf6594833fcbbef7 (diff)
downloadcascades-843f75943d25f4e180493142b6da0968621b9a78.tar.gz
Big reorganisation of the repo
Diffstat (limited to 'old_work/defs.tex')
-rw-r--r--old_work/defs.tex17
1 files changed, 17 insertions, 0 deletions
diff --git a/old_work/defs.tex b/old_work/defs.tex
new file mode 100644
index 0000000..ca5dd55
--- /dev/null
+++ b/old_work/defs.tex
@@ -0,0 +1,17 @@
+\newtheorem{theorem}{Theorem}[section]
+\newtheorem{lemma}[theorem]{Lemma}
+\newtheorem{proposition}[theorem]{Proposition}
+\newtheorem{corollary}[theorem]{Corollary}
+\theoremstyle{definition}
+\newtheorem*{remark}{Remark}
+
+\DeclareMathOperator{\E}{\mathbb{E}}
+\let\P\relax
+\DeclareMathOperator{\P}{\mathbb{P}}
+\newcommand{\ex}[1]{\E\left[#1\right]}
+\newcommand{\prob}[1]{\P\left[#1\right]}
+\newcommand{\inprod}[1]{\left\langle #1 \right\rangle}
+\newcommand{\R}{\mathbb{R}}
+\newcommand{\N}{\mathbb{N}}
+\newcommand{\eps}{\varepsilon}
+\newcommand{\eqdef}{\mathbin{\stackrel{\rm def}{=}}}