TeX source:

t \leq \frac{12}{23}