TeX source:
12 R \geq 76