[makmanalp]

Mathematical notation is not easily computer parseable / checkable. And I'm not sure it's really standardized (no standards body that I could find) or even unambiguous for that matter. You could maybe call it a de facto standard.

Please read my other comment: https://news.ycombinator.com/item?id=7348666

[cabinpark]

So? Why does it have to be computer parseable and checkable? I've never heard anyone complain about that before.

As for your other comment, DerpDerpDerp provides a good answer.