x $!=$ y is the same as $($ x $>$ y $||$ x $<$ y $)$