Fixed some signs in the definitions of A and its adjoint; reverted the n...

...otation for the adjoint to U+2020 DAGGER; made the lecture markup more robust; nicer figure captions.