[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: trichotomy



A suggested interpretation is that x<>y is TRUE only when x<y or x>y
(thus x and y are ordered and unequal), whereas x \= y means
NOT(x=y) and is never an invalid operation.