Symbols for disjoint union
Opened this issue · 0 comments
topological-modular-forms commented
There are several different symbols for the disjoint union.
I should be sure to design all of them and implement a reasonable set of macros for them.
Opened this issue · 0 comments
There are several different symbols for the disjoint union.
I should be sure to design all of them and implement a reasonable set of macros for them.