TeX source:
(-6\mid 0)