LaTEX renamed to LaTeX