Solche Hervorhebungen könnte man ja aber an jedem Satz machen, aus dem man etwas nach einer Regel schließt. Wenn ich nach der Regel a + b = b + a schreibe: ¤ r ∙ s + s ∙ r = s ∙ r + r ∙ s, so könnte ich die Benützung der Regel durch

a
r ∙ s +
b
s ∙ r =
b
s ∙ r +
a
r ∙ s
(Ƒ) andeuten. etc..