DefineEq
De Wikip
Révision datée du 13 février 2024 à 18:32 par toross>WikiAdmin (Redirection supprimée vers Modèle:DEq)
Version : 1.36.1 4671 (2024-02-13) 20240213183229
Résumé :
Définit la partie gauche avec équivalence
{{DefineEq}}
Exemple :
{{mv|ab}} {{DefineEq}} {{mv|b}} + {{mv|b}} + {{mv|b}} … + {{mv|b}}; où {{mv|b}} apparaît {{mv|a}} fois
donnera :
ab [math]\displaystyle{ \overset{\mathrm{def} }{:\Leftrightarrow} }[/math] b + b + b … + b; où b apparaît a fois
