A relational symbol combining precedence and non-approximate equality used in order theory and numerical analysis.
