Source TeX:
r \ge 0