left right Cancel Noop Double Commute Distribleft Distribright Factorleft Factorright Assocleft Assocright Flipleft Flipright Transpose