equation icon  ^k ^k ^k ^l DX := dX + w ^lX . (64)