A double-shafted leftward arrow symbol used to denote special mappings or implications in category theory and abstract algebra.
TeXipedia
A double-shafted leftward arrow symbol used to denote special mappings or implications in category theory and abstract algebra.