Downwards Double Arrow Symbol

Double-headed arrows like this one appear throughout mathematical notation and technical diagrams to indicate a strong or emphatic downward movement. In logic and set theory, it can denote a logical implication or a mapping that goes strictly downward, while in computer science it sometimes represents a jump or a return in a flowchart. Outside of formal contexts, the character is also used in plain text to point emphatically to something below, such as a note or a result.

As a member of the Arrows block, this symbol is one of several double-lined directional arrows that provide a heavier visual weight than their single-stroke counterparts. It is not an emoji, so it appears as a simple black arrow in most text environments, and it is encoded in the Unicode standard primarily for mathematical and technical use.