NotationEq
De astroWiki
Révision datée du 14 janvier 2019 à 20:25 par WikiAdmin (discussion | contributions) (1 révision importée)
Version : 1.36.1 999 (2019-01-14) 20190114202556
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
