TeX source:
int_0^\infty e^{-x^2} dx=\frac{\sqrt{\pi}}{2}