李括号
where formula_53 is the Lie bracket.