+{\catcode124=\active % Make | active
+\gdef\ttst@rt{\begingroup\setverb@tim\let|=\endgroup}
+\gdef\inlineverbon{\catcode124=\active\let|=\ttst@rt}
+\gdef\inlineverboff{\catcode124=12}
+}
+
+% 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\sv@rb}