A double-headed leftward arrow commonly used to denote surjective functions or onto mappings in category theory.
