(rontolisp) docs
← Numbers and predicates

not=

(not= x...)

The negation of = over the same neighbour chain: true when some adjacent pair differs.