TeX source:
f'(x)g(x) = \frac{d}{dx}(f(x)g(x)) - f(x)g'(x).