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)