TeX source:
12+24 R \leq 100