TeX source:

8.02-2.42=?