Item
.
If
\(P\)
is necessary and sufficient for
\(Q\text{,}\)
then
\(P \iff Q\text{.}\)
in-context