TeX source:
\left(4\mid 0\right)