Lie-Klammer
Here, formula_143 is the repeated Lie bracket operation defined by