Definition:Complex Cross Product