TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What is sequent calculus? See wiki: http://en.wikipedia.org/wiki/Sequent_calculus

So basicaly I'd like to produce something like this:

a sequent calculus

Maybe using Tikz?

share|improve this question
Could you show what you've tried so far? I'd be tempted just to use a tabular – cmhughes Feb 14 '12 at 20:02
nothing really, i'm quite a latex noob:). Tables sounds good, are nested tables possible? So a table in a table cell? – brillout.com Feb 14 '12 at 20:06
looks like multicolumn would do the trick. A thing I see missing: how to draw the rules? (the rules are the letters in parentheses next to a line) – brillout.com Feb 14 '12 at 20:11
Much as I love excessive uses of TikZ, I'm not sure it would help much here. – Seamus Feb 14 '12 at 20:50
@brillout.com yes, nested tabular environments are possible. if you click on the tables tag in your question, you'll be taken to a list of questions that also use it. have a look at them, as well as the not so short guide to latex – cmhughes Feb 14 '12 at 20:58
up vote 2 down vote accepted

Have a look at


There are some packages described for teXing such sequences. I would guess that the sequence you posted is done using proof.sty

share|improve this answer
We like answers on this site to be self contained. Could you add an example of using proof.sty to set a proof? – Seamus Feb 14 '12 at 20:53

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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