[NTG-context] position of qed symbol in proofs