Ich gehe davon aus, dass Rechenprozesse sowohl symbolischer als auch formaler Natur sind. Sie sind symbolisch, weil sie über Darstellungen definiert sind, und sie sind formal, weil sie auf Darstellungen anwendbar sind, und zwar aufgrund (ungefähr) der Syntax der Darstellungen.