Conviene expresar la condición de normalización anterior en la notación de Dirac,