27 Jul
2021
27 Jul
'21
4:32 p.m.
Hello, How to make the macro work in the environment definition ? Thank you Fabrice \unexpanded\def\card#1{\math{\text{Card}\thinspace#1}} \defineenumeration [definition] [text=Définition, number=no, headcommand=\groupedcommand{}{.}, style=italic] \starttext \startdefinition Soit E un ensemble fini. Le cardinal de E, noté \card{E}, est le nombre d'éléments de E. En particulier, nous avons \m{\card{\emptyset}=0}. \stopdefinition \stoptext