Taguri: operators