format_tex