A relational symbol representing non-inclusion or non-dominance, commonly used in set theory and order theory.
