TeX source:
x < 73^{\circ}