► 1 ACL2
 ▼ 1.4 Functions and Macros
 1.4.1 Booleans 1.4.2 Symbols 1.4.3 Strings 1.4.4 Characters 1.4.5 Rational and Complex Arithmetic 1.4.6 Bitwise Operations 1.4.7 Ordinal Arithmetic 1.4.8 Lists 1.4.9 Association Lists 1.4.10 Sets 1.4.11 Trees 1.4.12 Sequences 1.4.13 IO
1.4.2Symbols

Booleans are also symbols; see Booleans for more operators.

 (keywordp x) → t x : t
Returns t if and only if x is a symbol in the "KEYWORD" package.
 Examples: > (keywordp :hints) t > (keywordp 'hints) () > (keywordp 5) ()

 (symbol-< x y) → t x : (symbolp x) y : (symbolp y)
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.
 Examples: > (symbol-< 'aaa 'aab) t > (symbol-< 'ab 'ab) () > (symbol-< 'bb 'aa) ()

 (symbol-name x) → t x : (symbolp x)
Returns a string containing the name of the given symbol
 Examples: > (symbol-name 'hello) "HELLO" > (symbol-name 'qwerty) "QWERTY"

 (symbol-package-name x) → t x : (symbolp x)
Returns the name of the package for the given symbol.
 Examples: > (symbol-package-name 'hello) "COMMON-LISP" > (symbol-package-name :hello) "KEYWORD"

 (symbolp x)
Determines whether x is a symbol.
 Examples: > (symbolp 'hello) t > (symbolp "world") ()