TeX source:
R \geq 6 .3