TeX source:
−9⋅3