TeX source:
A(4;5)