TeX source:
(a, c), f(x) \leq f(b)