Re: [ALPS-users] Operator definition