Definition:Biconditional/Notational Variants

Definition
Various symbols are encountered that denote the concept of biconditionality:

It is usual in mathematics to use $\iff$, as there are other uses for the other symbols.