TeX джерело:

12 - 5 = 7