TeX Quellcode:
(0 \mid 5)