STANDARD-CHAR-P.html -- ACL2 Version 6.3

### STANDARD-CHAR-P

recognizer for standard characters

    Major Section:  ACL2-BUILT-INS

`(Standard-char-p x)` is true if and only if `x` is a ``standard'' character, i.e., a member of the list `*standard-chars*`. This list includes `#\Newline` and `#\Space` characters, as well as the usual punctuation and alphanumeric characters.

`Standard-char-p` has a guard requiring its argument to be a character.

`Standard-char-p` is a Common Lisp function. See any Common Lisp documentation for more information.

To see the ACL2 definition of this function, see pf.