Template:Individual-TLP-paragraph-en-5.531

5.531 I write therefore not “f(a, b) . a = b” but “f(a, a)” (or “f(b, b)”). And not “f(a, b) . ~a = b” but “f(a, b)”.