Biconditional

A two-way conditional claim, typically expressed by the phrase, “if and only if.” In symbolic logic, the phrase is often notated by a two-way arrow (↔) or a triple bar (≡). In a truth table, the biconditional is true whenever the sentences on either side of the operator have the same value on a given row.