李括号
Here, formula_143 is the repeated Lie bracket operation defined by