Added ∙ and • as multiplication operators.

I think this patch adds ∙ and • as multiplication operators.

(I also fixed a comment typo. Was "-", should be "+", 791.)