TeXipedia

vartriangleright

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

Overview

Serves as a specialized mathematical relation symbol that provides a visually distinct alternative to standard arrows or implications. Often employed in:

  • Formal logic to denote specific types of implications or consequences
  • Set theory for describing relationships between sets
  • Abstract algebra when defining specialized relations
  • Computer science, particularly in formal specifications and proofs

The hollow triangular shape offers better visual distinction compared to solid triangles or standard arrows, making it particularly useful in complex mathematical expressions where clear symbol differentiation is crucial.

Examples

Used to denote a normal subgroup relation in group theory.

H⊳GH \vartriangleright G 
H \vartriangleright G

Representing a right-pointing triangular operator in a logical implication.

P⊳Q⊳RP \vartriangleright Q \vartriangleright R 
P \vartriangleright Q \vartriangleright R

Indicating a sequential transformation or mapping between mathematical objects.

A⊳B⊳CA \vartriangleright B \vartriangleright C 
A \vartriangleright B \vartriangleright C