TeX source:

\int_{0}^{5} \operatorname{lf}(x) \mid \mathrm{dx}