TeX source:
–4 ≤ x ≤ 9