TeX source:
1.5 ≤ x≤4