Multiple symbolic representations: The combination of formula and text supports problem solving in the mathematical field of propositional logic. (December 2018)