![](https://secure.gravatar.com/avatar/5faea8b4fa0adb143383811dc94f0d22.jpg?s=120&d=mm&r=g)
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. Best regards: Otared
On 8 Feb 2024, at 12:23, Ursula Hermann
wrote: Dear List,
I am at Home and have the following example.:
\starttext \margintext {1.1.1} {\bf Beispiel 3.2.17 (Vertauschung von All- und Existenzquantor).} \par {\it Sei M die Menge aller Männer und F die Menge aller Frauen. Die Aus-\par sage h(m, f) sei ”m ist verliebt in f“. Unter diesen Voraussetzungen machen Sie sich die Bedeutung der beiden Aussagen klar.\startalignment[right]\square\stopalignment}\stoptext}
There should be a sign like this □ at the end of the proof.
Uschi ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki!
maillist : ntg-context@ntg.nl mailto:ntg-context@ntg.nl / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl webpage : https://www.pragma-ade.nl https://www.pragma-ade.nl/ / https://context.aanhet.net https://context.aanhet.net/ (mirror) archive : https://github.com/contextgarden/context https://github.com/contextgarden/context wiki : https://wiki.contextgarden.net https://wiki.contextgarden.net/ ___________________________________________________________________________________
Otared Kavian e-mail: otared@gmail.com Phone: +33 6 88 26 70 95