TeX Quellcode:
s < 13