A relational symbol combining succession and similarity, commonly used in order theory to denote approximately greater than or weakly succeeding.
A relational symbol combining succession and similarity, commonly used in order theory to denote approximately greater than or weakly succeeding.