TeX source:
=−5+7