We review the different formalisms that can be used for quantum mechanics, all of them going beyond the standard Hilbert space formulation: Rigged Hilbert Spaces (RHS), partial inner product spaces (PIP spaces), etc. In particular, we consider the spectral analysis of observables and the description of symmetries.