TeXipedia

rhd

Represents a right-pointing triangular relation symbol commonly used in mathematical logic and set theory.

Overview

Serves as a binary relation operator in formal mathematics and theoretical computer science, particularly when expressing ordered relationships or implications.

  • Often employed to denote proper containment or dominance relationships
  • Used in abstract algebra for expressing group actions or module operations
  • Appears in formal logic proofs and theoretical mathematics documentation
  • Frequently paired with its leftward counterpart (\lhd) for expressing bidirectional relationships

Examples

Used to denote a normal subgroup relation in group theory.

H⊳GH \rhd G 
H \rhd G

Representing a right action or operation in abstract algebra.

x⊳y=y−1xyx \rhd y = y^{-1}xy 
x \rhd y = y^{-1}xy

Indicating a sequential step or transformation in a mathematical process.

A⊳B⊳CA \rhd B \rhd C 
A \rhd B \rhd C