doc: add missing ⊕,⊗ latex defs