5˙331
Ich schreibe also nicht „F(a,b) ∙ a = b”, sondern „F(a,a)” [oder „F(b,b)”]
                       und nicht „F(a,b) ∙ a ≠ b”, sondern „F(a,b)”.