\vartriangleleft

A relational symbol representing a triangular ordering or composition operation commonly used in category theory and abstract algebra.