Is $\mu$ a measure here?

@OtB_BlueBerry Yes, $d\mu$ is the measure function.