The LaTeX Web Companion: Integrating TeX, HTML, and XML