TeX source:
/int_{0}^{1} xdx