This should be "not equal": $\neq$