On Mon, Oct 17, 2011 at 09:42:53AM +0200, Ulrike Fischer wrote: > But as Taco said he will change the engine, resetting the catcode will > probably not be necessary at all. Not before texlive2012 at least. Regards, Khaled