Lines Matching refs:Unicode
8381 \message{\linenumber Unicode char \string #1 not defined for Texinfo}%8430 \wlog{\space\space defining Unicode char U+#1 (decimal \the\countUTFz)}%8447 \errmessage{Cannot define Unicode char value < 00A0}%
