Classical probability density function

context	${\hat\rho}$ … classical phase density
definiendum	$\rho:=\frac{\hat\rho}{\int_\Gamma\ \hat\rho\ \mathrm d\Gamma}$

The function $\rho$ is just the normalized version of ${\hat\rho}$ .