Commit 6d2482f8 authored by Maxime Bombar's avatar Maxime Bombar

Minor fixes in custom package based on Internship M1

parent 0c0eba30
......@@ -39,25 +39,26 @@
topline=false,
rightline=false,
leftline=false,
bottomline=false]{lem}[default]{Lemma}
bottomline=false]{lemma}[default]{Lemma}
\newmdtheoremenv[%
topline=false,
rightline=false,
leftline=false,
bottomline=false]{cor}[default]{Corollary}
\theoremstyle{definition}
\theoremstyle{remark}
\newmdtheoremenv[%
topline=false,
rightline=false,
leftline=false,
bottomline=false]{rem}[default]{Remark}
\theoremstyle{definition}
\newmdtheoremenv[%
topline=false,
rightline=false,
leftline=false,
leftline=true,
bottomline=false]{defi}[default]{Definition}
\newmdtheoremenv[%
......@@ -66,6 +67,17 @@
leftline=false,
bottomline=false]{hyp}[default]{Hypothesis}
\theoremstyle{theorem}
\newtheorem*{notation}{Notation}
\newtheorem*{smalllemma}{lemma}
\theoremstyle{remark}
\newtheorem*{myproof}{Proof of}
\newtheorem*{smallproof}{Proof}
% Abstract %
\makeatletter %useful hack : changes default code for @ from 12 to 11; \makeatother turns it back
\newenvironment{chapabstract}{%
......@@ -82,15 +94,21 @@
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Nstar}{\mathbb{N}^{\ast}}
\newcommand{\K}{\mathcal{K}}
\newcommand{\K}{\mathbb{K}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Rplus}{\mathbb{R}^{+}}
\newcommand{\Rstar}{\mathbb{R}_{\ast}}
\newcommand{\Rplusstar}{\mathbb{R}_{\ast}^{+}}
\newcommand{\Prop}{\mathbb{P}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\Lev}{\mathcal{L}}
\newcommand{\Prob}{\mathbb{P}}
\newcommand{\eps}{\epsilon}
\newcommand{\grad}{\nabla}
\newcommand{\E}{\mathbb{E}}
\newcommand{\real}{\mathfrak{R}}
\newcommand{\im}{\mathfrak{I}}
% For proofs
\newcommand*{\QED}{\begin{flushright}\hfill\ensuremath{\square}\end{flushright}}
% To define a function
\newcommand{\fun}[5]{#1 : \left \{ \begin{aligned} #2 & \to #3 \\ #4 & \mapsto #5\end{aligned}\right. \phantom{\hspace{10cm}}}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment