TeX source:
A\to ((B\to A)\to A)