\ntrianglelefteqThe symbol \ntrianglelefteq is used in mathematics to denote that one element is not a subobject or not less than or equal to another element in a partially ordered set, specifically in the context of lattice theory or order theory. It is the negation of the \trianglelefteq relation, which indicates a subobject or a relation of being less than or equal to in a specific order.
Element A is not a subobject or not less than or equal to element B in a partially ordered set.
A \ntrianglelefteq Bx is not less than or equal to y in the context of a specific order relation.
x \ntrianglelefteq yP is not a subobject of Q in a category or order theory context.
P \ntrianglelefteq Q