IIRC the argument is that unitary negation is the operator with the highest presedence and one should be consistent across logical and mathematical operations.

IIRC the argument is that unitary negation is the operator with the highest presedence and one should be consistent across logical and mathematical operations. I think this is a not a completely unreasonable stance to take (and several other languages take the same), but it is unintuitive for someone who does significant scientific computing.