Reply To: “Bun” Symbol for Direct Sum or Direct Product

[Chris Clemens]

Thanks, Dorothy.

You affirmed my fear. I was afraid I would have to use that unwieldy construction you came up with. I saw that square you mentioned, and hoped there was a more elegant solution.

While searching the interwebby for info on this symbol, I found a similar symbol with the cross appearing as a multiplication cross. So I may have a pair of unwieldy symbols.

Thanks again for your input.