TeX source:
(-3\mid 6)