TeX source:
90^\circ < \alpha