TeX source:
(-3\mid 1)