A relational symbol combining strict succession with inequality, commonly used in ordered sets and real analysis.
