TeX source:
z (≥0)