Mathematical Companion to Quantum Mechanics