Haar measure
where formula_8 represents Haar measure.