A negated relation symbol indicating "not precedes or equals" in partial ordering and lattice theory.
