let
url u = s
"<"
% verbatim u % s
">"