TeX source:
15 (30 − 8)