Fuente TeX:
a \in A \implies f(aa)= ....