TeX Quellcode:
A\,\left(-9 \mid 12 \mid -31\right)