convert tex script