⇔

i formell logik: tecken för ekvivalens. Tecknet ⇔ är likvärdigt med ↔ och ≡ (tre vågräta streck).

[logiska symboler] [tecken] [ändrad 24 november 2019]