Neat summary of proof correction marks

I use “formal” proof correction marks most of the time, but also use them wrongly. Here’s a very clear summary (PDF) of how they should work.