From 5d9139b7bb771c6a6ad790647228cb66244abb7e Mon Sep 17 00:00:00 2001
From: Yann Salmon <nomail@yannsalmon.fr>
Date: Fri, 10 May 2019 19:07:05 +0200
Subject: [PATCH] parties finies

---
 latex/yssymbols.sty | 1 +
 1 file changed, 1 insertion(+)

diff --git a/latex/yssymbols.sty b/latex/yssymbols.sty
index 33d95c6..feeccf6 100644
--- a/latex/yssymbols.sty
+++ b/latex/yssymbols.sty
@@ -60,6 +60,7 @@
 \let\peuttrans\rightsquigarrow
 
 \def\enspart#1{\mathscr P\left(#1\right)}
+\def\enspartf#1{{\mathscr P}_{\mathrm{fini}}\left(#1\right)}
 
 \def\ie{\textsl{ie.}\xspace}
 \newcommand{\tvers}[1]{\xrightarrow[\ \: #1 \:\ ]{}}