Wenn ich früher sagte, die Definition von ξ.𝒥.η kann man nicht verstehen,
„wenn man nicht schon die linke Seite der Definition in dem neuen System sieht”, so heißt das eigentlich nicht mehr, als daß die beiden Seiten zusammen ein Zeichen bilden. Daß sie nur mit Beziehung auf einander (& nicht einzeln) Bedeutung haben.
      Und dasselbe gilt, wenn es heißt „Fa, und a ≝ f(b) ist” oder „Fa, wo a ≝ f(b) ist”. Auch hier bilden Fa & die Definition wirklich ein Zeichen, – oder, richtiger & ohne Mythus: sie gehören zusammen & ich hätte ja auch schreiben können: F(a) ≝ F(f(b)).