I have a rule for natural deduction that I'd like to typeset. It looks like this:
How should I go about typesetting this with LaTeX? Should I use one of the packages (e.g.
logicproof) - it seems a bit overkill given I'm not typesetting an actual proof, only one of the rules that can be used. I've also considered just using a
\frac and maybe a
tabular environment but this seems a bit messy.