Źródło TeX:
x≥0.