A double-stroke rightward arrow symbol commonly used to denote logical implication or mappings in category theory.
