4.465 The logical product of a tautology and a proposition says the same as the proposition [on its own]. Thus that product is identical with the proposition. Because one cannot change the essence of the symbol without changing its sense.

See 3.24 for the first (I think) reference to symbols.