The "symbol pushing" is a methodological tool, and a very useful one that opened up the possibility of new expansive fields of mathematics.
(Of course, it is important to always distinguish between properties of the abstraction or the tool from the object of study.)
