Tim and Tex command line tool