
Dear All, The \mathqed symbol disappears when there is a blank line before \stopProof. It also disappears when there is a float directly before \stopProof. (Maybe this is intentional to encourage ending proofs with words?) Thanks, Matthias \defineenumeration [Proof] [alternative=serried, width=fit, distance=\emwidth, text=Proof, number=no, headstyle=italic, headcommand=\groupedcommand{}{.}, title=yes, titlestyle=normal, closesymbol=\mathqed] \starttext \startProof Yes. \stopProof \startProof No. \stopProof \startProof \startplacefigure {\bTABLE \bTR \bTD no \eTD\eTR \eTABLE} \stopplacefigure \stopProof \stoptext

Dear Matthias, try adding \dontleavehmode immediately before \stopProof. Works in both cases. Best, Jacob
Am 16.03.2025 um 17:09 schrieb Matthias Weber
: Dear All,
The \mathqed symbol disappears when there is a blank line before \stopProof. It also disappears when there is a float directly before \stopProof. (Maybe this is intentional to encourage ending proofs with words?)
Thanks, Matthias
\defineenumeration [Proof] [alternative=serried, width=fit, distance=\emwidth, text=Proof, number=no, headstyle=italic, headcommand=\groupedcommand{}{.}, title=yes, titlestyle=normal, closesymbol=\mathqed]
\starttext
\startProof Yes. \stopProof
\startProof No.
\stopProof
\startProof \startplacefigure {\bTABLE \bTR \bTD no \eTD\eTR \eTABLE} \stopplacefigure \stopProof
\stoptext ___________________________________________________________________________________ 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 ___________________________________________________________________________________
participants (2)
-
Jacob Kauffmann
-
Matthias Weber