#double arrow #left right double arrow #logical equivalence #biconditional #if and only if #iff #equilibrium arrow