"Stephen Hicks" <sdh33 at cornell.edu> wrote 17.02.2011 01:50:44: > catcode 16 What's that? > rather than 9 maybe: if the catcode isn't 9, it's rather anything ... Cheers, Uwe.