Re: [NTG-context] position of qed symbol in proofs

On 10 Nov 2014, at 10:58, Hans Hagen wrote: […] i'm not surprised: eqno only works in a formula and closecommand is not in the formula ... it would not align properly anyway

Oh… I see. So there is not anymore the possibility to finish an enumeration (such as « proof » ine Mikael’s example) with aformula and automatically get the square of qed on the right? This was possible for quite a long time, although personnally I have used it seldom. Thanks and best regards: OK