TeX source:

-1 ≤ x ≤ 3