TeX source:
\int_{0}^{1}f(x)\,\mathrm{d}x = \frac{1}{2}.