This is probably not an equality, but defines a transform mapping two functions to one new function. We get results like