A relational symbol indicating the origin or source of a mapping, commonly used in category theory and abstract algebra.
TeXipedia
A relational symbol indicating the origin or source of a mapping, commonly used in category theory and abstract algebra.