TeX source:
= 72° – 63° = 9°