TeX source:

x−y  ≥ −1