TeX Quellcode:
x \geq 7