http://lists.gnu.org/archive/html/bug-texinfo/2004-04/msg00033.html Thanks. BTW, there was some discussion in that thread about the maximum code point. I just looked it up, and the Unicode 4.0 standard says that the largest code point is 0x10FFFF. So we are ok with six hex digits after __.