A relational symbol combining curly equality and succession, often used in order theory and abstract algebra.
