A Mathematical Companion to Quantum Mechanics