TeX source:
E = \int P(t) , dt