TeX Quellcode:
\nmid, \nshortmid