Well, I had it as → initially and changed it to ⇒ to try to indicate that the first change was a re-casting because Church was adapting Whitehead & Russell's no

Well, I had it as → initially and changed it to ⇒ to try to indicate that the first change was a re-casting because Church was adapting Whitehead & Russell's notation for class-abstraction to a notation for function abstraction.