EQUAL

true equality
Major Section:  ACL2-BUILT-INS

(equal x y) is equal to t or nil, according to whether or not x and y are the same value.

For a discussion of the various idioms for testing against 0, See zero-test-idioms.