TeX source:

\int_{0}^{\pi / 2} \cos (x) \mathrm{d} \mathrm{x}