LOWER-CASE-P.html -- ACL2 Version 6.3

### LOWER-CASE-P

recognizer for lower case characters

    Major Section:  ACL2-BUILT-INS

`(Lower-case-p x)` is true if and only if `x` is a lower case character, i.e., a member of the list `#\A`, `#\B`, ..., `#\Z`.

The guard for `lower-case-p` requires its argument to be a standard character (see standard-char-p).

`Lower-case-p` is a Common Lisp function. See any Common Lisp documentation for more information.

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