TeX source:
\int_0^{x} e^{-t^2/2}dt