A double-stroke arrow relation symbol indicating logical implication, material conditional, or function mappings in logic and mathematics.
Examples
Strong logical implication
p \land q \Rightarrow r
Function composition implication
(f \circ g)(x) = 0 \Rightarrow f(g(x)) = 0
Mathematical proof step
x^2 = 4 \Rightarrow x = \pm 2