In dem Zeichen (∃2)x ∙ φx muß es schon liegen daß die beiden Werte von x in ein Produkt φx ∙ φy eingesetzt werden sollen. Ebenso ist es mit einem Zeichen (∃5)xaRxRb – nur daß hier das Zeichen aRxRb eigens für den || diesen Zweck eingeführt wurde während man es dem Zeichen
φx in (∃2)xφx nicht ansieht daß im zerlegten Satz statt „φx” „φx ∙ φy” steht.