TeX source:
\left[5,7\right]