\unrhd
The symbol \unrhd is used to denote a right semidirect product or a relation in order theory, such as a quasi-order or a preorder. It is often used in mathematical contexts involving algebraic structures or order relations.
Denotes that group G is a semidirect product of group H.
G \unrhd H
Indicates that element a is related to element b in a quasi-order.
a \unrhd b
Represents that poset P is a refinement or extension of poset Q.
P \unrhd Q