Das heißt eigentlich nicht mehr als daß man die beiden Seiten zusammen
(die ganze Definition) ein Zeichen bilden. Daß sie nur mit Beziehung auf einander (& nicht einzelnen) [b|B]edeutung haben.
  Und dasselbe gilt wenn es heißt
   „F([A|a]) und a≝f(b)” oder F(a) wo a≝f(b) ist.” [a|A]uch hier bilden Fa & die Definition wirklich ein Zeichen, oder, richtiger & ohne mythus,
sie gehören zusammen denn & ich hätte ja auch schreiben können:
Fa≝F(f(b))