Summing it up:
One will probably need to see better computer languages for
authoring/typesetting that better separates authoring, typesetting styles
and graphic output than those available now.
As for XML, that is probably great as a YAML (yet another markup language),
but has one thing common with all other computer languages in existence: A
corny syntax, making it wholly unsuitable for such things as becoming a
tool for mathematical notation: Mathematics has a much closer relation
between notation and notions than a text associated with markup can provide.
Add an integrated Yacc and Lex, and it might become something of all YAML's.
As for LaTeX and TeX, those will be used until something better de facto
has arrived and can be used as a replacement. TeX has several different
successors that need to be unified. LaTeX needs to be improved as a toll
for scientific publishing in the absence of a good replacement.
* Email: Hans Aberg <mailto:[log in to unmask]>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>