TeX source:
f + \Delta \leq b_c