=> package:lattices

Equivalence.
x <=> y = (x ==> y) /\ (y ==> x)
Implication.