TeX source:
f(x)≤k