The Mathematical Language of Quantum Theory