No matches were found for subject:"\[NTG\-context\] position of qed symbol in proofs"