From d4c73215e39fe73f53b5cbe76c8ac9383a7caf32 Mon Sep 17 00:00:00 2001 From: Yann Salmon Date: Mon, 23 Dec 2019 09:24:00 +0100 Subject: [PATCH] =?UTF-8?q?pour=20=C3=A9crire=20des=20ensembles=20quotient?= =?UTF-8?q?s?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- latex/yssymbols.sty | 3 +++ 1 file changed, 3 insertions(+) diff --git a/latex/yssymbols.sty b/latex/yssymbols.sty index 178be40..bdf2540 100644 --- a/latex/yssymbols.sty +++ b/latex/yssymbols.sty @@ -69,5 +69,8 @@ \DeclareMathOperator*{\petito}{o} \DeclareMathOperator*{\grando}{O} +\RequirePackage{faktor} +\let\ensquot\faktor + \def\ssi{\@ifnextchar i{si et seulement s'}{si et seulement si\xspace}} \endinput \ No newline at end of file