added \oplus, \otimes