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-package-name x) → t |
| x : (symbolp x) |
Returns the name of the package for the given symbol.
Examples: | ||||
|
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: | ||||
|