Freccia doppia lunga sinistra-destra

Collega affermazioni che si implicano a vicenda.

A⟺B significa che A è vera esattamente quando lo è anche B.

La freccia di equivalenza più corta è documentata nel 1936; una forma a doppia linea nel 1954. Queste date collocano la famiglia di notazioni, non l’origine di questo preciso glifo lungo.

Quando significa più di “se e solo se”?

Tra costruzioni può indicare una corrispondenza.

Questa lettura è meno rigorosa di un bicondizionale dimostrato; il contesto deve stabilire se valgono entrambe le direzioni.