4.242

(If I introduce by an equation a new sign “ b ”, by determining that it shall replace a previously known sign “ a ”, I write the equation⁠—definition⁠—(like Russell) in the form “ a = b Def. ”. A definition is a symbolic rule.)

Expressions of the form “ a = b ” are therefore only expedients in presentation: They assert nothing about the meaning of the signs “ a ” and “ b ”.

309