> But I think that with successive approximations one will find that the
> LaTeX we know and love is a complicated categorical limit of XML's.

An elitist writes ---

A beautiful result: apply immeditaly to the NSF for a research grant
to prove it!

A cynic writes ---

Well, the above research is much more likely to get funded than any
more useful research in this area, eg:

  high quality, multiple-use formatting of complex structured documents.