TeX source:
A(4|5)