triangleleft
Represents a left-pointing triangular binary relation operator commonly used in mathematical notation.
Overview
Serves as a mathematical symbol primarily used to denote specific binary relations or ordering in abstract algebra and set theory.
- Often appears in advanced mathematics to indicate specialized ordering relationships
- Frequently used in conjunction with its counterpart \triangleright for expressing bidirectional relationships
- Common in formal logic and theoretical computer science for expressing hierarchical relationships
- Appears in abstract algebra texts when defining partial orders or specialized binary operations
Examples
Expressing a strict ordering relation between sets A and B.
A \triangleleft BShowing a normal subgroup relationship between groups G and H.
H \triangleleft GIndicating a proper refinement relationship between partitions P and Q.
P \triangleleft Q \implies |P| > |Q|