the.com/biconditional
the logic gate that demands both directions agree before it grants you the truth
symbolWritten as a double-headed arrow, pointing both ways
plain wordsMeans if and only if, both sides locked together
truth trickTrue only when both parts share the same value
math shorthandOften abbreviated iff in proofs and textbooks
hidden insideEquals two conditionals joined, each direction proved separately