While I can see where the author is coming from, I have a couple of points where I disagree. 1. I've yet to see any automatically formatting system that's not

While I can see where the author is coming from, I have a couple of points where I disagree. 1. I've yet to see any automatically formatting system that's not extremely painful to work with. 2. Mathematical notation hasn't just been developed over 100s of years it is continuing to do so. 3. Units aren't labels.