restore tex syntax