Symbol Spotter
U+21D4
The left-right double arrow represents logical equivalence: 'if and only if'.
Used in logic for biconditional statements (P ⇔ Q means 'P if and only if Q'). Also called 'iff' in mathematics.