(1) Take φx. We want to explain the meaning of “In “φx” a thing symbolises.” The analysis is:–
(∃ y) . y symbolises . x || y = “x” .“φx”. [“x” is the name of y: “φx” = ‘“φ” is at the left of “x”’, & says φx.] ¥