format into tex file