> In my CJK package, I use character code 0x7F for various
> purposes since this is not used anywhere else, in no encoding.
>
> I didn't know that. Cool! Not even as a second/subsequent byte in
> multibyte encodings?
No, neither in old legacy encodings like JIS X 0208 or Big5 nor in
UTF-8.
> The other problem is how to specify it. I mean, sure, we can add
> the \catcode, and then it will work literally, but that will render
> the source file non-ASCII, which is a drag.
Non-ASCII? 0x7F *is* part of ASCII since the very beginning! It's
`DEL', basically intended as an input character. If you edit or view
a file, you definitely see it. Only if you do `cat foo', where file
foo contains 0x7F, the terminal might suppress the display of it.
Werner
