Formatting for TeX doc