TeX source:
a t < -2.533