RFC: add Unicode math operators

Thoughts should go on #362 .