TeX source:
[5, a]