Lebesgue measure
where formula_150 is the Lebesgue measure on the real line.