TeX source:

(-5\mid 4)