Leftwards double arrow

Denotes reverse implication in logic (“is implied by”) and mirrors ⇒ in proofs that argue both directions. Outside math it occasionally marks “back” with extra weight in slide navigation. Keep it paired with ⇒ from the same typeface — double-stroke arrows vary noticeably in width between fonts.