⇔

Tvärspråkligt

Tecken

⇔

U+21D4
LEFT RIGHT DOUBLE ARROW

⇔

1. dubbelstreckad pil åt vänster och åt höger
   1. (matematik) ekvivalenspil, är ekvivalent med, om och endast om (omm); om påståendet till vänster om tecknet är sant, så är även påståendet till höger om tecknet sant, och tvärtom; en dubbel implikation

      $2x=8\Leftrightarrow x=4$

   2. (logik) betecknar satslogisk ekvivalens då satsen är en tautologi, det vill säga att den gäller oavsett sanningsvärdet på de satser som satsen består av; betecknar satslogisk ekvivalens då två satser är satslogiska konsekvenser av varandra

Se även: ⇒, ⇐, ↔; även ⇑, ⇓, ⇕