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