TeX source:
2020−2013=7