Not Identical r←x≢y

r is whether x and y are not exactly equal: r←~x≡y.