TeX source:
\mid, \shortmid