TeX source:

5 ( x ≥ 5 )