"[T]he symbols of algebra, when employed in abstruse and complex theoretical investigations, constitute a sort of thought-saving machine, by whose aid a person skilled in its use can solve problems respecting quantities, and dispense with the mental labour of thinking of the quantities denoted by the symbols, except at the beginning and the end of the operation."