Die mit der elementar-algebraischen Formelsprache bereitgestellten symbolischen Methoden sind Darstellungsmittel, Explorationsinstrument, Argumentationshilfen und Beweismittel zugleich, und in ihnen verbindet sich Wissen um Verfahrensweisen und dessen Begründung. Inwiefern das der Fall ist, soll anhand von Beispielen auf verschiedenen Anforderungsstufen der Schulmathematik gezeigt werden. Dabei soll auch zur Sprache kommen, welche Fähigkeiten entwickelt werden müssen, um diese Werkzeuge entsprechend zu nutzen.