Tagged pbx-operators