(dot x y)