The “double $$\mathbb{D}$$ ”, the distribution-of-distributions construction that makes our hyperdistributions, has its origins in an earlier “double $$\mathbb{P}$$ ” construction where $$\mathbb{P}$$ is for powerset — that is, where we doubled over powersets rather than over distributions.
