TeX source:
9-(-8)•3=