Did you know ... Search Documentation:
Predicate urldef_name/2
 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.