For a nonnegative continuous function on that vanishes at both endpoints, the head of the Brownian snake driven by is the centered Gaussian process with covariance functionConsequently , the pseudometric used by the real tree encoded by an excursion.
New to topics? Read the docs here!