X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/modelisationMathS3.git/blobdiff_plain/0e87ad5655637304a5eeb53f1bfc121337a940b5..refs/heads/master:/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}}
