NotationEq
De astroWiki
Révision datée du 2 octobre 2018 à 23:59 par WikiAdmin (discussion | contributions) (1 révision importée)
Version : 1.36.1 998 (2018-10-2) 20181002235909
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
