443
                    Die Hervorhebungen geschehen durch das Schema R und könnten so ausschauen:


a + (b + 1) = (a + b) + 1

a + (b + (c + 1)) = /a + ((b + c)/ + 1

(a + b) + (c + 1) = /((a + b) + c)/ + 1(Ƒ)


Es hätte aber natürlich auch genügt (d.h. wäre ein Symbol derselben Multiplizität gewesen) B anzuschreiben und dazu:
f1x = a + (b + x), f2x = (a + b) + x.
                    (Und dabei ist wieder zu bedenken // anzumerken // , dass jedes Symbol – wie explicit auch immer – missverstanden werden kann. –)