Merge pull request #34 from eggrobin/master

Catch up with master.
Fixed the kerning of the inner product.
Turned some hats into Fs for clarity.
Merge pull request #35 from eggrobin/fix-fonts

Fix fonts