A relational symbol combining precedence and similarity, commonly used in order theory and partial orderings.
