1.4.2 Symbols
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.
| (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" |
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".
| (intern-in-package-of-symbol name symbol) → t |
| name : (stringp name) |
| symbol : (symbolp symbol) |
Produces a symbol with the given name in the package of the given symbol.
Examples: |
| > (intern-in-package-of-symbol "e" 'symbol) |
'e |
| > (intern-in-package-of-symbol "f" ':keyword) |
':f |