denota un operador que mapea el ket formula_10 al ket formula_39 (donde formula_40 es un escalar que multiplica al ket formula_41).