Source TeX:
5 \in \left[0, 10\right]