Source TeX:
\left]{1,3}\right[