TeX source:
\alpha < 3