TeX source:
\left(5\mid 1\right)