TeX source:

x ≤ 1