Name: Anonymous 2014-02-18 3:00
Mr. Turing-Church originally used a hat on each of his symbols for free variables so you know they're not slaves like those hat-less ungentlemen. Greeks changed that into a lambda in one of their Greeks vs. Turks nationalist crusade thingies. What kind of hat was it and can you still buy one today?