Some formatting

Use otimes and oplus