Formatting and other touch-ups.

Turns out that what I was writing as \alpha^V ("alpha-check") is actually \alpha^\vee.
A picture in lecture 5
(0.11.1) Formatting, and a basic diagram of $A_2$ from lecture 5.