Dirac Notation Inner Product