- urldef_name(?String, ?DefName)[private]
- True if \DefName is a urldef for String. UrlDefs are LaTeX
sequences that can be used to represent strings with symbols in
fragile environments. Whenever a word can be expressed with a
urldef, we will do this to enhance the robustness of the
generated LaTeX code.