On 2/8/24 22:37, Otared Kavian wrote:
> Hi Ursula,
>
> I think you mean the so-called end of the proof sign, or QED (Quod Erat
> Demonstrandum). You can use this:
>
> \definesymbol[QED][\mathematics{\square}]
> \def\qed{\wordright{\symbol[QED]}}
> \starttext
> This is the end of our proof. \qed
> \stoptext
>
> In principle it is included in ConTeXt, but it seems that in the latest
> version I have (2024.01.23), the command \qed is broken.

Hi Otared,

\qed seems to have been disabled (line 988 in strc-con.mklx).

Functionality seems to have been enabled in \QED (line 45 in math-mis.mkxl).

Just in case it might help,

Pablo
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / 
https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl
webpage  : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
archive  : https://github.com/contextgarden/context
wiki     : https://wiki.contextgarden.net
___________________________________________________________________________________

Reply via email to