[ALPS-users] Operator difinition