(If I use an equation to introduce a new sign 'b', laying down that it shall serve as a substitute for a sign 'a' that is already known, then, like Russell, I write the equation definition in the form 'a Def.'