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