TeX source:

x ≥ 2