Ich müßte offenbar eine Beschreibung dieses Wesentlichen des Zeichens geben.
Ich könnte etwa sagen in der linken || rechten Klammer kommen alle Buchstaben der linken Klammer vor und noch einer mehr. Aber ist so eine Beschreibung erlaubt? Merkwürdigerweise glaube ich, ja. Setzt nicht jeder Symbolismus solche Beschreibungen voraus?
     Ich könnte auch ein Zeichen konstruieren:

(∃x y z) φx ∙ φy ∙ φz : ~ (∃x y z u) φx φy φz φu(Ƒ)


     Oder ich könnte die Regel geben:
Der Satz || Ausdruck (∃…) φ… ∙ ~(∃…) φ… ist eine Variable deren Werte der folgenden Beschreibung genügen: …. Hier kann man auch von einer 1-1 Relation Gebrauch machen als Kriterium dafür daß in der rechten Klammer alle Buchstaben der linken stehen.