Fuente TeX:
a_{n} \to A \wedge b_{n} \to B