A filled triangular operator pointing leftward, commonly used to denote special relations or actions in abstract algebra and category theory.
TeXipedia
A filled triangular operator pointing leftward, commonly used to denote special relations or actions in abstract algebra and category theory.