tex instructions too
Add detokenise and detruecase