Add terminal tex file