Re: @verb issues

[Werner LEMBERG]

>> I disagree, since this means that two input characters map to the
>> same output character, which is against the term 'verbatim', isn't
>> it?  Additionally, you get the wrong values if you do a
>> cut-and-paste operation.
> 
> Is there a reason you can't use @set txicodequote*?

Of course I can, and I do, but I think that `@verb` should always
exactly reflect the input characters (with the exception of `\n`).

> As I said before, I'm open to the idea of turning on @set
> txicodequote* by default.

This is a good idea IMHO.


    Werner