On 8 Feb 2024, at 12:23, Ursula Hermann <ursula.hermann@univie.ac.at> 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 / 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
___________________________________________________________________________________