TeX source:
\int a dx