I'm using the bussproofs
package to write some inference rules, but i'd like to horizontally align them. I tried to write them within a two-columned table (one rule in the left cell and the other in the right), but it doesn't work. Any suggestions, please?
Code producing the error, below:
\begin{tabular}{cc}
{\begin{prooftree}
\AxiomC{$\Gamma, A \vdash B$}
\RightLabel{\scriptsize{\emph{$\Rightarrow_\mathcal{I}$}}}
\UnaryInfC{$\Gamma \vdash A\Rightarrow B$}
\end{prooftree}} & {} \\
\end{tabular}
The second inference rule is missing from the code.
Best Answer
In the end, I used the
mathpartir
package and I made it.