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 ein Beistrich dazwischen wäre.