Are there smarter math markup languages that take advantage of Unicode and allow entering actual math symbols instead of spelling every name?
It's just that on a proper computer it's easy to set up a few (or many if you typeset math alot) actual math symbols that would take as much or less effort to type, but look way more readable even in the unparsed format
For example,
∑(i=1)^n instead of
sum_(i=1)^n
√x instead of
sqrt x