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