Remove more confusing unicode alternatives

[evhub]

Should remove

∧ (\u2227)    => "&"
∨ (\u2228)    => "|"
⊻ (\u22bb)    => "^"

since it's unclear that ∧ means & rather than and.

Getting them back is easy using custom operators, though that does change their precedence.