I'm reading a disagreement in your phrasing, but I think we're saying the same thing: Math notation is the wild west, dressed in the veneer of consistency but indignant at any untoward implication.

Programming languages are praised by their elegance and economy, even when they're wacky. Any theory (programmatic, mathematical, scientific) benefits from those qualities, because theories like to be axiomatic and terse. But any primer or intro or lesson is made MUCH better through repetition and redundancy. Computers don't need the rule of three, people do, and there's an mismatch.