TeX source:
\int_{0}^{\pi / 2} \cos (x) \mathrm{dx}, \mathrm{F}(x)=\sin (x)