TeX source:
\int