Definition:Complex Dot Product