What's the semantic difference between \amalg and \coprod for disjoint unions?
I used to use \amalg for binary operations like X \amalg Y and \coprod for operators like \coprod_\lambda X_\lambda. But I realized that I don't know any literature or manual how these similar-looking symbols should be used. Please tell me if you have any.
Best Answer
I found an answer by myself soon after I asked a question. To close this question, I write an answer by myself.
In a document in https://ctan.org/pkg/comprehensive,
\amalgappears in "Table 50: Binary Operators" among\cup,\oplusand\setminus. On the other hand,\coprodappears in "Table 72: Variable-sized Math Operators" among\bigcup,\bigoplusand\sum. So these symbols should be used exactly as I described in the question.