TeX source:
a_{\max }=10