>>>>> "Lars" == Lars Gullik Bj�nnes <[EMAIL PROTECTED]> writes:
Lars> Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: |
Lars> Yes, that's what I meant: it does not support \verb{foo}.
Lars> Could we instead of using \verb make up a command of our own?
Lars> Something like:
Lars> \newcommand{\url}[1]{\{#1\}}
I do not see why you use \{ \} here... I guess tou mean something like
\newcommand{\url}[1]{\texttt{#1}}
The problem with that approach is with special characters: in
particular, you will have surprises with ~&_, which are common in
URLs. If we translate them, the original \url command will not work
anymore.
JMarc
