  We study the intersection theory of complex Lagrangian subvarieties inside
holomorphic symplectic manifolds. In particular, we study their behaviour under
Mukai flops and give a rigorous proof of the Pl\"ucker type formula for
Legendre dual subvarieties written down by the second author before. Then we
apply the formula to study projective dual varieties in projective spaces.
