SYMBOLP

recognizer for symbols
Major Section:  ACL2-BUILT-INS

(symbolp x) is true if and only if x is a symbol.