In mathematics, logic and computer science, **iff** is used for "if and only if". The corresponding logical symbols are ↔ and ⇔.

The abbreviation appeared in print for the first time in Kelley's 1975 book "General Topology" and was apparently invented by the mathematician [Paul Halmos]?.