4.241 If I use two signs with one and the same meaning [Bedeutung] then I express this by putting between them the sign “=”.
Thus “a = b” means that the sign “a” is replaceable by the sign “b”.
(If I introduce a new sign “b” by an equation, in which I stipulate that it should replace an already known sign “a”, then I write the equation – the definition – (like Russell) in the form: “a = b Def.”. The definition is a rule for signs.)
OK. Just stipulations here.