equation icon  { } ( ) f(x)f(y) --> 1- f^(x), ^f(y) = 1- ^f(x)^f(y) + ^f(y)f^(x) (52) 2 2