TeX source:
7.92 < 4 \mathrm{x} < 8.08