TeX source:
23 t \leq 12