Fixed diagram labels -- S^n's changed to S^p and \alpha replaced with \alpha\vee\alpha.

Also stripped end of line spaces. Next time I'll make a separate commit that just strips spaces so that those spurious "changes" won't be in the way.