TeX source:
y\ (>0)