a \neq b