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