I wonder if at some point we'll be forced to reckon with the fact that math notation just has not been planned. People have just made it up as they go along, and so there's all kinds of conflicts, irregularities, and conventions that add up to a big hot mess.
