A double-line leftward arrow symbol commonly used to denote surjective mappings or reverse implications in mathematical logic.
TeXipedia
A double-line leftward arrow symbol commonly used to denote surjective mappings or reverse implications in mathematical logic.