Beyond symbolic algebra with quantum picturalism

The more advanced the symbolic mathematics, the more impenetrable the meaning. This is particularly evident in quantum theory, where symbolic formalisms foreground states and objects. An alternative diagrammatic approach, Quantum Picturalism (QPic), privileges structure, relation, and transformation. As a category theoretic formalism, it supports reasoning through the composition of visually represented quantum processes, a distinction that not only concerns representation but also shapes how quantum phenomena are conceptualized, opening new educational possibilities and ways of knowing. The choice of formalism—algebraic or diagrammatic—is not neutral, but embodies underlying ontological commitments that shape which structural features of quantum phenomena—such as states vs. relations; objects vs. transformations—are made accessible. This paper examines the epistemological, cognitive, and educational significance of non-symbolic thought in mathematics, and in quantum mechanics in particular, using QPic as a guiding example. We raise a central question: can quantum processes be represented in ways that align more naturally with human cognition? What is new here is showing how the epistemological and cognitive aspects of non-symbolic formalism are brought into pedagogical practice. Such paradigm largely benefits from the language of thought hypothesis alongside theories of embodied cognition, dual coding, and conceptual metaphor theory to articulate a holistic framework in which multiple, interacting conceptual systems underpin understanding. Drawing on historical precedents—from Euclidean geometry to Leibniz's universal calculus of thought—we contend that human intuition works more naturally within relational and visual frameworks, particularly those that help complex ideas to be seen and manipulated as structured wholes. The broader impact of this paradigm lies in democratizing access to quantum innovation and rethinking what it means to understand the quantum world, offering an inclusive entry point into it.