## Thinking Mathematically (6th Edition)

The given compound statement is symbolized by $\underline{p \leftrightarrow q}$ and is called a $\underline{\text{biconditional statement}}$.
The given compound statement is symbolized by $\underline{p \leftrightarrow q}$ and is called a $\underline{\text{biconditional statement}}$. The arrow pointing in both directions indicates that we should use an "if and only if" in our statement.