Integration over Lagrangian submanifolds
there is canonical integration measure (more precisely, a PDF) on any families
of Lagrangan submanifolds, not only on families of conormal bundles.
If gauge fermions
define
tangent vectors to
at the point
then the measure is:
