TeX source:

(a\to b)\land (b\to a)