\Longleftrightarrow

The \Longleftrightarrow symbol is used in mathematical expressions to denote logical equivalence or a biconditional relationship between two statements. It indicates that both statements are true or both are false, establishing a two-way logical connection.

Examples

Logical equivalence between statements A and B

A \Longleftrightarrow B

Biconditional relationship showing that x equals 2 if and only if x squared equals 4

x = 2 \Longleftrightarrow x^2 = 4

Chain of logical equivalences among statements P, Q, and R

P \Longleftrightarrow Q \Longleftrightarrow R