Merge pull request #25 from eggrobin/fix-fonts

Fix fonts
Merge pull request #26 from eggrobin/master

Catch up with master, there are still a couple of things to add before deleting this branch.
Merge pull request #27 from eggrobin/fix-fonts

Computer Modern Snapshot is now deprecated, to be replaced with other fo...
Merge pull request #28 from eggrobin/master

Catch up with master.
Merge pull request #29 from eggrobin/fix-fonts

Catch up.
Fixed operator spacing; introduced \\op[letter] commands for operators.
Merge pull request #30 from eggrobin/lecture-2013-03-16

Lecture 2013 03 16