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