A double left arrow symbol representing sequential or nested operations, commonly used in category theory and abstract algebra.
TeXipedia
A double left arrow symbol representing sequential or nested operations, commonly used in category theory and abstract algebra.