\triangleleft
The symbol \triangleleft is used to denote a left-pointing triangle, often used in mathematics to represent operations or relations such as 'is a subgroup of' in group theory.
Indicates that H is a normal subgroup of G in group theory.
H \triangleleft G
Represents a relation where A is related to B in a specific context, such as a subset or subgroup.
A \triangleleft B
Used in abstract algebra or other mathematical contexts to denote a specific relation between x and y.
x \triangleleft y