Template:Eqv

$$\leftrightarrow$$

Logical equivalence