TeX source:
2 \quad < \quad 2.5065 \quad < \quad 3