To have a clear (though not fancy) distinction between the arrow that connects domain and codomain of a function f and the arrow which connects x and f(x) appeared to me always as an
particularly happy addition to mathematical notation. Is my impression right that it is an invention of the Bourbaki group? (By the way, I found this notation widely unknown to physicists in the industry.)