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