Change lambda notation back to the backslash