Source TeX:
\int