SYMBOL-NAME

the name of a symbol (a string)
Major Section:  PROGRAMMING

Completion Axiom:

(equal (symbol-name x)
       (if (symbolp x)
           (symbol-name x)
         ""))

Guard for (symbol-name x):

(symbolp x)