NotationEq
De astroWiki
Version : 1.36.1 1547 (2021-09-4) 20210904084847
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
