The dot product of vectors in the plane