"In Algebra, [likewise], the letters are symbols which, passed through a machinery of argument in accordance with given laws, are developed into symbolic results under the name of formulas. When the formulas admit of intelligible interpretation, they are accessions to knowledge; but independently of their interpretation they are invaluable as symbolical expressions of thought."