TeX source:
−1 > −3