Moreover we shall adopt the customary, self-explanatory, usage, according to which symbols belonging to the formal language serve in the syntax language (English) as names for themselves, and juxtaposition serves to denote juxtaposition.Whoah.
Reference:
Alonzo Church. A formulation of the simple theory of types. The Journal of Symbolic Logic 5(2):56-68, Jun. 1940.
