I independendly came to the same conclusion. They use the strings which where about defined to be the objects, i.e. the domains of the function, as arguments. I.e. once should not use the notation with arrows to denote the collection of numbers, which are the elements of the objects. 129.247.247.240