TeX source:

x > 73^{\circ}