Current math notation may be the result of multiple iterations, but they all took place before the widespread availability of computers. Current math notation is optimized for hand-writing and manual rather than automated proof checking. It may be great for paper and pencil, but times have changed.
And BTW, the notation actually sucks for paper-and-pencil too because of its ambiguity. See:
And BTW, the notation actually sucks for paper-and-pencil too because of its ambiguity. See:
http://mitpress.mit.edu/sites/default/files/titles/content/s...