TeX Quellcode:
(0; 80)