alter html > tex