diff --git a/default.latex b/default.latex index 4312f715daa7a88095e74bc668794731322f9984..64ab8b4ec08f6b32723ebab28ef8dc794333a7ac 100644 --- a/default.latex +++ b/default.latex @@ -233,6 +233,15 @@ $if(institute)$ $endif$ \date{$date$} +\newcommand{\dd}{\mathrm{d}} +\newcommand{\real}{\mathbb{R}} +\newcommand{\integer}{\mathbb{Z}} +\newcommand{\definition}{\textbf{Definition }} +\newcommand{\exemples}{\textbf{Exemples }} +\newcommand{\remarque}{\textbf{Remarque }} +\newcommand{\proprietes}{\textbf{Propriétés }} +\newcommand{\propriete}{\textbf{Propriété }} + \begin{document} $if(title)$ \maketitle