A negated relation symbol combining precedence and similarity, commonly used in order theory and abstract algebra.
