Die Hervorhebungen geschehen durch das Schema R & 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(Ƒ)