⇔

Tvärspråkligt

Tecken

Mall:Tecken ⇔

1. dubbelstreckad pil åt vänster och åt höger
   1. Mall:Tagg 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\iff x=4$

   2. Mall:Tagg 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

Mall:Avgränsare

Mall:Seäven