TeX Quellcode:

x \geq 7