On this page:
keywordp
symbol-<
symbol-name
symbol-package-name
symbolp
intern$
intern
intern-in-package-of-symbol
1.4.2 Symbols

Booleans are also symbols; see Booleans for more operators.

procedure

(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)

'()

procedure

(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)

'()

procedure

(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"

procedure

(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"

procedure

(symbolp x)  t

  x : t
Determines whether x is a symbol.

Examples:

> (symbolp 'hello)

't

> (symbolp "world")

'()

procedure

(intern$ name package)  t

  name : (stringp name)
  package : (stringp package)
Produces a symbol of the given name in the given package.

Examples:

> (intern$ "a" "ACL2")

'a

> (intern$ "b" "KEYWORD")

':b

syntax

(intern name package)

Produces a symbol of the given name in the given package. Restricts its input to the packages "ACL2" or "KEYWORD".

Examples:

> (intern "c" "ACL2")

'c

> (intern "d" "KEYWORD")

':d

procedure

(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