E> is duplicated for errors and exercises

[DaveEveritt]

In the LeanPub notes: "E> for errors, I> for information, Q> for questions, D> for discussions, and E> for exercises"