TeX source:

f+8 \leq 12: