TeX source:
d(x,y)>\varepsilon >0