The symbolic method uses a compact, but rather confusing and mysterious notation for invariants, depending on the introduction of new symbols "a", "b", "c", ... (from which the symbolic method gets its name) with apparently contradictory properties.