A negated relation symbol indicating "not succeeds or equals" in ordered sets and sequence comparisons.
