TeX Quellcode:
-y + 13 > 0