add commutation relation, cross product, wedge product