Übrigens ist das Zahlzeichen || , jetzt in einem andern Sinne, nicht mit ∃ verbunden: insofern nämlich „(∃3x) …” nicht in „(∃2 + 3x) …” vorkommt || enthalten ist. || insofern || da nämlich „(∃3)x …” nicht in „(∃2 + 3)x …” enthalten ist.