TeX source:
60 a \geq 80 a-156