1

I'm trying to typeset semantic readings of Gentzen sequent proofs like those shown here.

I use the package proof.sty to produce the proofs. However, if I want to put any kind of brackets around a proof, the root of the proof tree is treated as the middle of the block (I'm guessing) and so the brackets extend as far below the root as the proof extends above it.

MWE:

\documentclass{article}

\usepackage{proof}

\begin{document}

\[
\left\vert
\infer[\backslash_L]{N,N\backslash S\vdash S}{%
N\vdash N & S\vdash S}
\right\vert_{(x,y)}
\]

\end{document}

Is there any way out of this? I have written quite a few proofs that I'd rather not have to re-code in some other package.

  • Can't view anything at the link you provided. Google books won't permit me to view that page. [Note that some books are viewable in some places but not others.] – cfr Mar 15 '15 at 16:23
  • But you certainly should see logicmatters.net/latex-for-logicians. – cfr Mar 15 '15 at 16:23
  • That is, I know you say you don't want to use a package. But you will get better results more easily.... – cfr Mar 15 '15 at 16:42
1

You can move the baseline in several ways, the simplest is probably to use a tabular which centres by default:

enter image description here

\documentclass{article}

\usepackage{proof}

\begin{document}

\[
\left\vert
\begin{tabular}{@{}c@{}}\infer[\backslash_L]{N,N\backslash S\vdash S}{%
N\vdash N & S\vdash S}\end{tabular}
\right\vert_{(x,y)}
\]

\end{document}
  • Moving the baseline seems to be the only way to go. I'm using an adjustbox now but the tabular suggestion is just as good AFAICT. – mattghg Mar 18 '15 at 16:57

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.