\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.

Examples

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