TeX source:
x_{\min }=11, x_{\max }=15