TeX source:
–1 ≤ x ≤ 4