TeX Quellcode:

P(4\mid 0)