TeX source:
N ≤ a+b