Ich müßte offenbar eine Beschreibung dieses Wesentlichen des Zeichens geben.
Ich könnte etwa sagen in der

rechten
linken

Klammer kommen alle Buchstaben der linken Klammer vor und noch einer mehr. Aber ist so eine Beschreibung erlaubt? Merkwurdigerweise 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; ihre Wert 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.

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.