1: \begin{definition} 

2: \index[not]{$\widehat{\lambda}$}

3: Given an abelian locally compact Hausdorff group $H$ with Haar measure

4: $\lambda$ we call the measure $\widehat{\lambda}$ coming from Theorem

5: \ref{thm:inversion} the {\em dual Haar measure}.  We generally denote

6: integration with respect to $\lambda$ by $ds$ and integration with

7: respect to $\widehat{\lambda}$ by $d\omega$.  

8: \end{definition}

9: