TeX source:
r_0>0