A binary relation symbol representing "dominates" or "acts on" in group theory and abstract algebra.
Examples
Binary relation notation
x \triangleright y \text{ defines a binary relation}
Group action notation
G \triangleright X \text{ denotes a group G acting on set X}
Sequential process steps
A \triangleright B \triangleright C \text{ indicates process flow}