Anemometer use is constructed from a ping-pong ball attached to a string. When the wind blows horizontally, it presses on and moves the ball; because ping-pong balls are very lightweight, they move easily in light winds. Measuring the angle between the string-ball apparatus and the vertical gives an estimate of the wind speed. This type of anemometer is mostly used for middle-school level instruction, which most students make on their own, but a similar device was also flown on Phoenix Mars Lander. The first designs of anemometers that measure the pressure were divided into plate and tube classes. These are the
Haar measure nontrivial but the modular function of formula_3 is trivial. The quotient of these cannot be extended to any character of formula_3, so the quotient space formula_114 (which can be thought of as 1-dimensional real projective space) does not have even a semi-invariant measure. Using the general theory of Lebesgue integration, one can then define an integral for all Borel measurable functions formula_84 on formula_3. This integral is called the Haar integral. If formula_11 is a left Haar measure, then for any Haar integrable function formula_84 on formula_3. This is immediate for indicator functions, being essentially the definition of left invariance.