Add optional unicode operators.

I'm not sure if these will catch on, but it's nice to be able to
support the canonical mathematical symbols.