TeX source:

x + 5 ≥ 3