TeXipedia

ntriangleright

Represents a negated right-pointing triangle relation operator commonly used in mathematical logic and set theory.

Overview

Serves as a specialized mathematical operator indicating a negated triangular relationship directed rightward, particularly useful in advanced mathematics and formal logic.

  • Frequently employed in proofs and formal mathematical writing to denote non-containment or negated hierarchical relationships
  • Common in abstract algebra and order theory when expressing that one element does not dominate another in a specific ordering
  • Often appears alongside other relational operators in complex mathematical expressions where precise notation of negated relationships is required

Examples

Expressing that A is not a normal subgroup of B in group theory.

A⋫BA \ntriangleright B 
A \ntriangleright B

Denoting non-dominance relation in order theory.

x⋫yx \ntriangleright y 
x \ntriangleright y

Indicating that one set is not properly contained with additional structure in another set.

P⋫Q  ⟹  P⊄QP \ntriangleright Q \implies P \not\subset Q 
P \ntriangleright Q \implies P \not\subset Q