TeX: A tale of two worlds