TEX, XML, and Digital Typography