Fixed examples and diagnostic notation table

Fixed examples (well, made it look better, anyway).
Made diagnostic notation table more consistent.