Zdroj TeX:
r = y + x < a + x < a + (-a) = 0