I'm reading Halmos' Naive Set Theory.
According to the usual and natural convention "for some $y\,(x\, \epsilon \, A)$" just means "$x\, \epsilon \, A"$. It's equally harmless if the letter used has already been used with "for some-" or "for all-." Recall that "for some $x \, (x\, \epsilon \, A)$ means the same as "for some $y\, (y\, \epsilon \, A) $; it follows that a judicious change of notation will always avert alphabetic collisions.
It seems they change the letter to avoid these alphabetic collisions, but what's the problem with it? For me, it's clearer when it's stated without the letter chaging, just as in the bold text. Where are these alphabetic collisions going to be harmful? In the past, I felt confused when I saw "for some $y\,(x\, \epsilon \, A)$", I thought it was a statament about two objects.