TeX source:
0 \le s < r