TeX Quellcode:
8=7