An Etymological Dictionary of Astronomy and Astrophysics

Logic, Math.: An → expression indicating that two → statements so connected are → necessary and sufficient conditions for one another. The corresponding logical symbols usually used are: ↔, ⇔, ≡, and iff.

See also: → if; → and; → only.