TeX source:

y_{1}>y_{0}