symbol f := (x,y => x * y);