add constraint operator