In the text, the author uses this symbol for External Direct Product.

He also acknowledges that different authors use other symbols, or other notation.

I found “bun” and “Direct Sum” on Wikipedia, and used that tern to facilitate conversing about the symbol.

Should I assume that one could use three letters for the symbol, i.e, [braille]$EDP because the text also refers to internal direct product.