TeX source:
\it{dist}(o,o') \leq \it{dist}(o,p)