Fix dot product symbol in docs.
Fix more dot product symbols.
Merge pull request #15 from mdboom/fix-dot-product

Fix dot product symbol in docs.