Investigating student ideas on the connection between formal structures and conceptual aspects in quantum mechanics