ajout de qques exos

[modelisationMathS3.git] / symboles.sty

diff --git a/symboles.sty b/symboles.sty
index 40d31004e313a4b937b141822ca2ebee026e773c..ca8d29207e2054cc599ecb79fe2bb0aa617261e5 100755 (executable)
--- a/symboles.sty
+++ b/symboles.sty
@@ -86,6 +86,7 @@ depth\dimen2\box1\vrule}%
 \def\cmat{\hbox{\it l\hskip -5.5pt C\/}}
 
 \def\N{{\mathbb N}}
+\def\Prem{{\mathbb P}}
 \def\Net{{\mathbb N}^*}
 \def\Z{{\mathbb Z}}
 \def\Q{{\mathbb Q}}