TeXipedia

triangleright

Represents a filled triangular symbol pointing rightward, commonly used in mathematical proofs and logical implications.

Overview

Serves as a geometric relation symbol in mathematical notation, particularly useful in formal logic, set theory, and theoretical computer science.

  • Often employed to denote logical implications or consequences
  • Used in proof systems and formal reasoning
  • Appears in discrete mathematics to indicate mappings or transformations
  • Sometimes used as an alternative to arrows or other directional indicators in specialized notation

Examples

Used to denote logical implication or consequence in formal logic.

p▹q▹rp \triangleright q \triangleright r 
p \triangleright q \triangleright r

Representing a step or transition in a sequence of mathematical operations.

x>0▹x2>0▹x2=xx > 0 \triangleright x^2 > 0 \triangleright \sqrt{x^2} = x 
x > 0 \triangleright x^2 > 0 \triangleright \sqrt{x^2} = x

Indicating hierarchical relationships in set theory.

A▹B▹C⊆DA \triangleright B \triangleright C \subseteq D 
A \triangleright B \triangleright C \subseteq D