TeX Quellcode:

7 = 9