;string->symbol argument, "", is a string but should be a non-null string
;    ("Is @x a list with first stree @f?...
;    /Applications/MoganResearch.app/Contents/Resources/share/Xmacs/progs/kernel/library/base.scm, line 270, position: 9184
; collect-user-defs-sub: ("Is @x a list wit...
; collect-user-defs-sub: (((user-definition... ; t: (assign "" (macro ""))
;                                              tmtex-user-defs-table: (hash-table)
; collect-user-defs: ((ahash-set->list tmte...
; (map as-string (collect-user-defs st))     ; st: (document (hide-preamble (docum...