antisymmetry

not defined yet