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