[wtallis]

Enabling multiple users to interact with the equations in realtime as they are being written is hardly the only possible benefit of using computers to communicate math, and even so it only requires that the equations be tokenized to be manipulable, not that the whole expression be completely error-free and the parser be running in an enforcing mode.

And your claim that writing mathematics as source code is too slow is very much lacking in proof. All we can say with confidence is that syntax like LaTeX markup on a standard keyboard layout is too inefficient for realtime use. This does not mean that realtime use is impossible if you allow for a more complicated IME and for a different final notation on-screen than the current standard math notation.

[j2kun]

I'd like to hear your ideas for other benefits.