Don't forget
TeX and
LaTeX. These
typesetting markup languages have unparalleled
orthogonality and extensibility, and are the only tool for serious
mathematical display. They also feature a rich
macro-creation environment for creating new user-defined
markup, and the TeX typesetting program is considered by many to the most elegant piece of code, anywhere, ever.
No surprise: it was created by Donald Knuth