TeX source:

(x\to y)\land (y\to x)