1.Previous
3.Next

is logically equivalent to the following three inequations combined:

#
#
#

See also

* Apartness relation — a form of inequality in constructive mathematics
* Equation
* Equals sign
* Inequality (mathematics)
* Relational operator

References

1.Previous
3.Next