2

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.

  • 2
    It would be great if you could provide a minimal working example (MWE) that replicates your "doesn't work" instance. – Werner Nov 11 '13 at 18:46
  • I'm using Gummi. It doesn't produce the pdf and the Build Log tab is just blank. So i don't know which is the error. But If it is of any help, I will add the code producing the error. – frabala Nov 11 '13 at 18:55
0

In the end, I used the mathpartir package and I made it.

\begin{mathpar}
\inferrule*[Right=\selectlanguage{english}\emph{Id}\selectlanguage{greek}]{{}}{\Gamma, A \dashv A}
\and 
\inferrule*[Right=$\bot_\mathcal{E}$]{\Gamma \vdash \bot}{\Gamma \vdash A}
\end{mathpar}
  • It would be helpful for anyone else wondering about this, or a similar problem, if you explained just how you solved it, perhaps including a minimal code example. – Torbjørn T. Nov 12 '13 at 13:13
  • ok, just did :) – frabala Nov 14 '13 at 17:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.