TeX Typesetting on the Tech Tree