Lie derivative
这里 [,] 是李导数。当辛流形是带着标准辛结构的 formula_13，则泊松括号取如下熟知的形式