Lie bracket
这里 formula_5 表示标准外导数，formula_6 是李括号，而 "D" 表示外共变导数。或者说