Fix up TeXification