Предикат EQL и числа одного типа

(eql x y) возвращает значение T, если

• либо (eq x y) ⇒ T,
• либо x и y — есть числа одного типа, которые математически равны.

Предикат eql — самый распространённый в Коммон Лисп. Он служит умолчанием для ключевого параметра :test почти во многих встроенных функциях.