Update operatoroverloading.dd

Replaced weird b⊂, b⊂, ... b⊂ by b1,b2,...,bn. 

Same as before. Please check, if the changes are correct.