Talk:Product operator formalism