change the delicate balance of verbatim handling in latex, to avoid double escaping