Haar measure
where formula_11 is the Haar measure.