TeX source:
\left(0 \mid 0{,}22 \right)