TeX Quellcode:

y < 13