TeX Quellcode:
7 = 9