>> 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
