Left right double arrow

The standard “if and only if” (iff) symbol in logic and proofs: A ⇔ B means each side implies the other. Prefer it over ↔ for logical equivalence — the double stroke is the conventional form. Set thin spaces around it in equations. Renders reliably as plain text; no emoji variant to worry about.