Definition

Statements of the form $p \leftrightarrow q$ ” $p$ if and only if $q$ ” or ” $p$ iff $q$ ” ” $p$ is a necessary and sufficient condition for $q$ ”

$p \leftrightarrow q \equiv (p \to q) \land (q \to p)$