L’idea è semplice:
\`e la realizzazione che è difficile 🙂
Apparte gli scherzi, appena ho un po’ di tempo la leggo attentamente.
Intanto avevo pensato ad un trucchetto probabilmente non molto elegante visto che bisogna usare due comandi, comunque funziona
`\definedescription
[proof]
[text=Proof.]
\setupdescriptions
[proof]
[width=broad,
distance=0.5em,
location=serried,
headstyle=it,
indentnext=yes,
indenting=yes,
closesymbol=\mathematics{\square}]
\def\QEDhere{\eqno\mathematics{\square}}
\def\NOsymbol{\setupdescriptions
[proof][closesymbol=]}
\starttext
\startproof
Questa \`e una dimostrazione che finisce cos\`i.
\stopproof
\startproof
Questa \`e una dimostrazione che finisce con formula
\startformula
a=\int_{\sum_{\int_\sum^6}}^{100}\sum b^2\QEDhere
\stopformula\NOsymbol
\stopproof
\startproof
Questa \`e una dimostrazione che finisce cos\`i.
\stopproof
\stoptext`
Che ne dici?
ES