Here is a small selection. Use either the symbols or words as preferred.
The basic rule is to make the correction as unambiguous as possible.

A high-resolution PDF version of this document is available here.

A PDF version of an example marked up proof page is available here.