TeX Quellcode:

y > 13