E perché non due “proof” ?
`
\definedescription
[proof]
[text=Proof.]
\setupdescriptions
[proof]
[width=broad,
distance=0.5em,
location=serried,
headstyle=it,
indentnext=yes,
indenting=yes,
closesymbol=\mathematics{\square}]
\definedescription[Proof][text=Proof.]
\setupdescriptions
[Proof]
[width=broad,
distance=0.5em,
location=serried,
headstyle=it,
indentnext=yes,
indenting=yes,
closesymbol=]
\def\QEDhere{\eqno\mathematics{\square}}
\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
\stopProof
\startProof
Questa \`e una dimostrazione che finisce cos\`i.
\stopProof
\startproof
Questa \`e una dimostrazione che finisce cos\`i.
\stopproof
\stoptext
`