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