I want to write inference rules like this one: enter image description here where the hypothesis for C are not stated as a sequent depending on a set of hypothesis but with brackets []. This is as far as I got:


\infer{C}{A \lor B & C & C}

How can I put on top of the Cs [A] and [B]

  • Please make your code into a minimal compilable document. \infer is not a standard command ans is, I am pretty sure, defined by multiple packages. We don't know what code you've got, so any attempt to help you is very likely pointless right now. A proper example will provide people with the information they need to help.
    – cfr
    May 13, 2017 at 22:16
  • @cfr well the title says that im using proof package but i get your point and i edited the question May 13, 2017 at 23:30
  • I don't really see the problem. I wouldn't particularly recommend proof, although the code isn't as frightening as the documentation, but it seems to work just the same as with ebproof.
    – cfr
    May 13, 2017 at 23:54

1 Answer 1



In response to the new version of your question, proof also makes it pretty straightforward.

    P \lor Q
    & \deduce{R}{[P]}
    & \deduce{R}{[Q]}

variable inference syntax

ebproof makes it pretty straightforward.

    \Hypo{P \lor Q}
    \Hypo {[P]}
    \Infer [rule style=no rule] 1 {R}
    \Hypo {[Q]}
    \Infer [rule style=no rule] 1 {R}

non-standard variable inference syntax

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .