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