\enspart avec indice facultatif

Cette révision appartient à :
Yann Salmon
2019-08-02 14:44:36 +02:00
Parent 006d46185b
révision 36e78e9523
2 fichiers modifiés avec 3 ajouts et 2 suppressions

Voir le fichier

@@ -61,8 +61,8 @@
\def\lang#1{\mathscr L\left(#1\right)}
\let\peuttrans\rightsquigarrow
\def\enspart#1{\mathscr P\left(#1\right)}
\def\enspartf#1{{\mathscr P}_{\mathrm{fini}}\left(#1\right)}
\DeclareDocumentCommand\enspart{om}{\mathscr P\IfNoValueTF{#1}{}{_{#1}}{\left(#2\right)}}
\DeclareDocumentCommand\enspartf{m}{\enspart[\mathrm{fini}]{#1}}
\def\ie{\textsl{ie.}\xspace}
\newcommand{\tvers}[1]{\xrightarrow[\ \: #1 \:\ ]{}}