TeX source:
x > 139^{\circ}