Man könnte ja auch so schreiben:
(∃x,xx,xxx) φx[,|]φxx ∙ φxxx und (∃x,xx)φ(x,xx)
   xx wäre dann ein Buchstabe außer wenn zwischen den ein Beistrich dazwischen wäre.