Haar measure
In this group a left Haar measure is given by formula_112, and a right Haar measure by formula_113.