TeX lähde:
x-1 \geq 0