If I remember correctly I asked a question during spring 2020 about group theory or algebra and somebody wrote that they had an informal symbol for a generalized operation (I think it looked similar to the direct sum symbol). Now maybe I deleted the question but it could still be visible for an admin perhaps. Is it possible to find it again or to find which was the symbol that someone used for a generalized operation in group theory or algebra?
user:5602 is:question xyz
forxyz = operator
orsymbol
(you can also useme
instead of your userid). $\endgroup$