Es scheint mir die Frage ist auf zwei verschiedene Arten zu beantworten: Wenn die Gleichung 2 ∙ n ≝ n + n mir sagen soll daß ich statt des Zeichens „2n” in jedem Zusammenhange das Zeichen „n + n” setzen darf, dann ist n in dieser Definition keine Variable, sondern der Buchstabe „n”, der ebensowenig variabel ist wie das Zeichen „a” oder „4”. Die Definition ist dann keine allgemeine sondern eine besondere wie 1 + 1 ≝ 2. Es geht daher aus ihr auch nicht eine besondere Gleichung – etwa – 2 ∙ 5 = 5 + 5 hervor. Oder aber die Definition ist so gemeint, daß aus ihr – z.B. – 2 ∙ 5 = 5 + 5 folgt, dann muß sie „(n) 2 ∙ n ≝ n + n” geschrieben werden.