ProofWiki:Sandbox

testing...
 * $\displaystyle \int {f' \left({x}\right)} {f \left({x}\right)} \ \mathrm d x = \frac {f^2 \left({x}\right)} {2} + C$

where $C$ is an arbitrary constant.