When a conditional statement and its converse are both true, you can write them as a single true statement called a biconditional statement. A biconditional statement states that two conditions are equivalent and can be written using the phrase "if and only if" or the symbol "⇔".
