TeX source:
(B\implies A)\iff (\neg A\implies \neg B)