lispdoc - results for char/=

(char/= character &rest more-characters)
Function: Return T if no two of the arguments are the same character.
 Mentioned in:
CLtL2 - 13.2. Predicates on Characters
PCL - character comparisons
Successful Lisp - chapter17