13.1.5 Identity of Characters

Two characters that are eql, char=, or char-equal are not necessarily eq.