A double-lined rightward arrow symbol representing logical implication or mapping between mathematical objects.
Examples
Logical implication (alternative to \rightarrow)
p \rArr q \text{ means 'if p then q'}
Function mapping with double arrow notation
f: X \rArr Y
Sequential implication in logic
A \rArr B \rArr C \text{ means 'A implies B, which implies C'}