■
行列と分数のための表現を使って無理に証明図を描いてみるなど
\frac{\begin{matrix} \Pi_1 \\ M: \alpha \supset \beta \end{matrix} \qquad \begin{matrix} \Pi_2 \\ N: \alpha \end{matrix}}{MN: \beta}
行列と分数のための表現を使って無理に証明図を描いてみるなど
\frac{\begin{matrix} \Pi_1 \\ M: \alpha \supset \beta \end{matrix} \qquad \begin{matrix} \Pi_2 \\ N: \alpha \end{matrix}}{MN: \beta}