On Sun, Nov 23, 2008 at 05:35:01PM -0600, Karl Berry wrote: > No, neither in old legacy encodings like JIS X 0208 or Big5 nor in > UTF-8. > > Excellent. I'll add it. > > Patrice, please add 0x7F as a comment character (ignore to eol) in > texi2html, too.
I put it in the TODO. > Yeah, yeah, I know. I misspoke. What it's not part of is printable > ASCII. I doubt that mailing files containing DEL's around is very > reliable, for example. But that's ok, if some document really needs a > true comment character in TeX, at least it'll be available. I don't really understand how it is mean to be used. Can this character be input in editors? -- Pat
