TeX source:
T \leq-2.571