Booleans are also symbols; see Booleans for more operators.
Returns t if and only if x is a symbol in the "KEYWORD" package.
Returns non-nil when the symbol-name of x lexicographically precedes that of y. The returned number is the (0-based) position at which the names differ.
Returns a string containing the name of the given symbol
Returns the name of the package for the given symbol.
Determines whether x is a symbol.
Produces a symbol of the given name in the given package.
(intern name package)
Produces a symbol of the given name in the given package. Restricts its input to the packages "ACL2" or "KEYWORD".
Produces a symbol with the given name in the package of the given symbol.