Mr. Nobody wrote:
We've already had this discussion. We wouldn't be bringing up using unicode operators for this function if we hadn't already talked about unicode operators for other things -- like vector ops.Unicode operators in the core are a very, very, very, very, very, very, very, very, very, very, very, very, very bad idea.
