Update operatoroverloading.dd

Replaced weird b⊂, b⊂, ... b⊂ by b1,b2,...,bn. 

Same as before. Please check, if the changes are correct.
Merge pull request #451 from ralphtandetzky/patch-17

Update operatoroverloading.dd