Definition:Iff

Definition
The logical connective iff is a convenient shorthand for if and only if.

Notation
$A$ iff $B$ is generally symbolized by means of a two-headed arrow, for example:
 * $A \ \leftrightarrow \ B$
 * $A \ \Leftrightarrow \ B $
 * $A \ \longleftrightarrow \ B$
 * $A \iff B$

The notation used on is $A \iff B$.

Also known as
Some sources use the term precisely if to mean .

Also see

 * Definition:Biconditional