\ntrianglerighteq
The symbol \ntrianglerighteq is used to denote that one element is not a superset of another in set theory or that one element is not greater than or equal to another in order theory, with a triangular shape indicating the relation.
Set A is not a superset of set B.
A \ntrianglerighteq B
Element x is not greater than or equal to element y.
x \ntrianglerighteq y
Proposition P does not imply proposition Q in logic.
P \ntrianglerighteq Q