NotationEq
De Wikip
Révision datée du 26 mars 2020 à 12:53 par WikiAdmin (discussion | contributions) (1 révision importée)
Version : 1.36.1 3462 (2020-03-26) 20200326125338
Résumé :
définit la notation à gauche avec équivalence
{{NotationEq}}
Exemple :
{{mv|ab}} {{NotationEq}} {{mv|b}} × {{mv|b}}
donnera :
ab [math]\displaystyle{ \overset{\mathrm{not} }{:\Leftrightarrow} }[/math] b × b