TeX джерело:
6 - x \ge 0