TeX source:

17-15=2