lispdoc - results for string-not-equal

(string-not-equal string1 string2 &key (start1 0) end1 (start2 0) end2)
Function: Given two strings, if the first string is not lexicographically equal to the second string, returns the longest common prefix (using char-equal) of the two strings. Otherwise, returns ().
 Mentioned in:
HyperSpec - Function STRING=, STRING/=, STRING<, STRING>, STRING<=, STRING>=, STRING-EQUAL, STRING-NOT-EQUAL, STRING-LESSP, STRING-GREATERP, STRING-NOT-GREATERP, STRING-NOT-LESSP
PCL - string comparisons
Successful Lisp - chapter17
(string-not-lessp string1 string2 &key (start1 0) end1 (start2 0) end2)
Function: Given two strings, if the first string is lexicographically greater than or equal to the second string, returns the longest common prefix (using char-equal) of the two strings. Otherwise, returns ().
 Mentioned in:
HyperSpec - Function STRING=, STRING/=, STRING<, STRING>, STRING<=, STRING>=, STRING-EQUAL, STRING-NOT-EQUAL, STRING-LESSP, STRING-GREATERP, STRING-NOT-GREATERP, STRING-NOT-LESSP
PCL - string comparisons