Readd BooleanOps Unicode operators

Fix #482.
remove `→` (collides with standard library)
Merge pull request #754

Readd BooleanOps Unicode operators