TeX source:
24+12 R \leq 100