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

I am using the \infer command from the proof package. Few things that I am trying to do unsuccessfully:

  1. How can I have some space between the elements of the proof? such as space between x and y with \infer{x y}{z}. I can use \,, but there should be a better way to do it, I think.

  2. \begin{center} has no effect on any of the inference rules, and I still want to be able to center them.

  3. How would I set up space between the inference rules without using vspace? Right now, they appear very crowded, one right under the other.

share|improve this question
a tip: you can use backticks ` to mark your inline code as Martin did in his edit. – Hendrik Vogt Feb 13 '11 at 17:06
up vote 7 down vote accepted
  1. I guess you have to do the spacing manually, just like with any occurence of x y within the text.

  2. You can center rules by \[ ... \] and (depraceted) $$...$$.

  3. You could adjust the length \inferLineSkip.

Here's a minimal example showing the tipps above:

\infer{B}{A & (A \rightarrow B)}
\infer{C}{D & (D \leftarrow B)}

enter image description here

share|improve this answer
works perfectly. thanks! – kloop Feb 13 '11 at 17:37

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.