![](https://secure.gravatar.com/avatar/5955e8e90611e77ccbfc7721b6112027.jpg?s=120&d=mm&r=g)
9 Feb
2024
9 Feb
'24
12:07 p.m.
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