+% Typesetting of verbatim text with a given delimiter:
+% - usage: \verb%verbatim text%
+% - the delimiter is the first character after \verb
+% - remember that writing (for example) \verbz with meaning \verb
+% with the delimiter 'z' is possible only if \catcode`z is not 11
+
+\def\verb{\relax\def\sv@rb##1{\uccode`~=`##1%
+\uppercase{\catcode`~13\global\let~\endgroup}}%
+\begingroup\setverb@tim\do\|\sv@rb}
+