EQL.html -- ACL2 Version 6.3

### EQL

test equality (of two numbers, symbols, or characters)

    Major Section:  ACL2-BUILT-INS

`(eql x y)` is logically equivalent to `(equal x y)`.

Unlike `equal`, `eql` has a guard requiring at least one of its arguments to be a number, a symbol, or a character. Generally, `eql` is executed more efficiently than `equal`.

For a discussion of the various ways to test against 0, See zero-test-idioms.

`Eql` is a Common Lisp function. See any Common Lisp documentation for more information.