I thought it was

(a / b) != (a / b)