On 7/27/2021 4:32 PM, Fabrice Couvreur via ntg-context wrote:
Hello,
How to make the macro work in the environment definition ?
not sure what you want to achieve, maybe this?
\protected\def\card#1{\m{\mfunction{Card}\thinspace#1}}
\defineenumeration
[définition]
[text=Définition,
number=no,
headcommand=\groupedcommand{}{.},
style=italic]
\starttext
\startdéfinition
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}.
\stopdéfinition
\stoptext
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
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://context.aanhet.net
archive : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___________________________________________________________________________________
--
-----------------------------------------------------------------
Hans Hagen | PRAGMA ADE
Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl
-----------------------------------------------------------------
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://context.aanhet.net
archive : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___________________________________________________________________________________