Lines Matching refs:ASCII
1349 % much work for too little return. Just use the ASCII equivalents
2311 % Modern fonts display ASCII 0x60 as a grave accent, so some people like
4606 % control sequences and just writes whatever the best ASCII sort string
4631 % starting with |, since that ASCII character is between ASCII { and }.
7287 % Non-ASCII encodings make 8-bit characters active, so un-activate
8853 % @documentencoding sets the definition of non-ASCII characters
8862 \def\ascii{\csname US-ASCII.enc\endcsname}%
8905 % First, make active non-ASCII characters in order for them to be
9652 % US-ASCII character definitions.
9657 % Make non-ASCII characters printable again for compatibility with