The notations of these things are essentially unambiguous in the first place, since overloaded operators rarely have compatible type signatures, and when they d

The notations of these things are essentially unambiguous in the first place, since overloaded operators rarely have compatible type signatures, and when they do, the shadowing is just shy of explicit. Human mathematical notation is definitely very bad, but not because it's wildly ambiguous, it's because it's inconsistent.