Tractatus Logico-Philosophicus: the original authoritative edition

by Ludwig Wittgenstein

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)”.