I can accept that, but some people like typing in their character using escape codes like \1234... I don't know how many programs would break if we removed the escape possibility from #"..."?
/ Mirar
Previous text:
2003-09-21 22:52: Subject: Re: wish: string with other quoting then \
The idea with \verb is that if you can select the quote arbitrarily, you don't _need_ an escape character, since you can put everything in unescaped as long as you pick a quote character which is not in the text.
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)