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