4.241 Si utilizo dos signos en uno y el mismo significado, entonces expreso esto en tanto que pongo entre ambos el signo «=».

«a = b» significa, por lo tanto: el signo «a» es sustituible por el signo «b».

(Si introduzco mediante una igualdad un nuevo signo «b», en tanto que determino que debe sustituir un signo «a» ya conocido, entonces escribo la igualdad ‒ definición ‒ (como Russell) en la forma «a = b Def.». La definición es una regla de signos).