Fuente TeX:
\forall \epsilon >0 \exists x \in A: s-\epsilon < x \leq s