A document description language that is all of:
- a LaTeX alternative (with PDF output, math rendering, good typesetting)
- a programmable document model (with an embedded programming language)
- a collaborative editor (the closed-source on-line version, that is)