Item
.
\(P \iff Q\)
is read “
\(P\)
if and only if
\(Q\text{,}\)
” and called a
biconditional
.
in-context