\trianglelefteqThe symbol \( \trianglelefteq \) is used to denote a relation that is often interpreted as 'is a subobject of' or 'is less than or equal to' in a generalized sense. It is commonly used in order theory, lattice theory, and algebra to represent a partial order or a preorder relation.
Indicates that A is a subobject or is less than or equal to B in a partial order.
A \trianglelefteq BRepresents that x is related to y by a preorder relation.
x \trianglelefteq yIn group theory, indicates that H is a normal subgroup of G.
H \trianglelefteq G