Re-formatted TeX