Rightwards double arrow

The logician’s “implies”: A ⇒ B reads “if A then B”. Also popular in slide decks and READMEs for emphatic next-steps. Heavier than →, so reserve it for standalone lines rather than mid-sentence use. Don’t substitute “=>” in formal writing — the real glyph is unambiguous and renders universally.