Classical probability density function
Set
context
$ {\hat\rho} $ … classical phase density
definiendum
$\rho:=\frac{\hat\rho}{\int_\Gamma\ \hat\rho\ \mathrm d\Gamma}$
Discussion
The function $\rho$ is just the normalized version of ${\hat\rho}$.
Context
Classical phase density