TeX source:
s \leq f(c)