[ALPS-users] Operator definition