Poisson bracket
The Poisson bracket formula_68 on ("M", ω) is a bilinear operation on differentiable functions, defined by formula_69; the Poisson bracket of two functions on "M" is itself a function on "M". The Poisson bracket is antisymmetric because: