Proof correction symbols.
Language: eng