TeX source:
0 ≤ x ≤ 8