Tweak TeX format