TeX source:
A\,\left(-45 \mid 15\right)