TeX source:
24+12 R \geq 100