A double-stroke downward arrow symbol commonly used to indicate strong descent, strict decrease, or emphasized downward mapping.
TeXipedia
A double-stroke downward arrow symbol commonly used to indicate strong descent, strict decrease, or emphasized downward mapping.