X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/modelisationMathS3.git/blobdiff_plain/6a1d659a8d09f1c48fe968a3d6b9941576e22dfe..69c903a978a2ef5a25298c9ae3920be0d8c62e95:/symboles.sty?ds=inline

diff --git a/symboles.sty b/symboles.sty
index 40d3100..ca8d292 100755
--- 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}}