Fuente TeX:
\exists \epsilon > 0 , \forall x \in B(a, \epsilon), x \in A