NotationEq
De Wikip
Révision datée du 30 septembre 2018 à 15:56 par WikiAdmin (discussion | contributions) (1 révision importée)
Version : 1.36.1 1865 (2018-09-30) 20180930155613
Résumé :
définit la notation à gauche avec équivalence
{{NotationEq}}
Exemple :
{{mv|ab}} {{NotationEq}} {{mv|b}} × {{mv|b}}
donnera :
ab :not⇔ b × b
