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.<p>And BTW, the notation actually sucks for paper-and-pencil too because of its ambiguity.  See:<p><a href="http:&#x2F;&#x2F;mitpress.mit.edu&#x2F;sites&#x2F;default&#x2F;files&#x2F;titles&#x2F;content&#x2F;sicm&#x2F;book-Z-H-5.html#%_chap_Temp_2" rel="nofollow">http:&#x2F;&#x2F;mitpress.mit.edu&#x2F;sites&#x2F;default&#x2F;files&#x2F;titles&#x2F;content&#x2F;s...</a>