TeX source:
X \geq 67+a)