
16 Mar
2025
16 Mar
'25
5:09 p.m.
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