Title: Proof correction symbols