TeX source:
\nmid, \nshortmid