From 8f61f8c4525e1122f4c15cb7f6b18f267372d58d Mon Sep 17 00:00:00 2001
From: Orestis Malaspinas <orestis.malaspinas@hesge.ch>
Date: Wed, 24 Jan 2018 07:49:12 +0100
Subject: [PATCH] added default.latex

---
 default.latex | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/default.latex b/default.latex
index 4312f71..64ab8b4 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
-- 
GitLab