0

I looked at both the semantic and mathpartir package, is is possible to insert multiple inference lines in single inference rules? Or are there better ways to do this?

enter image description here

The mathpartir package has a little example but it does not work very well and I can't find any better solutions.

\documentclass[12pt, notitlepage]{article}
\usepackage{mathpartir}

\begin{document}

\section{Judgement}

$$\mprset{fraction={===}}
  \inferrule {a = b \in A} {b = a \in A}$$

\end{document}

Here is what it produces.

enter image description here

SLX
  • 1
  • Welcome! Can you show us what you've tried? A minimal example starting with \documentclass and ending with \end{document} would make your question clearer and easier to answer. – cfr Dec 04 '15 at 00:13

1 Answers1

1

Hard to say whether this is suitable for your use. (A minimal working example - or a non-working example showing what you've tried - would help clarify this.) But certainly ebproof allows doubled inference rules:

double trouble

\documentclass[a4paper]{article}
\usepackage{ebproof,geometry}
\begin{document}
\begin{prooftree}[rule style=double]
  \Hypo{ a = b \in A}
  \Infer1{ a = b \in B}
\end{prooftree}
\end{document}
cfr
  • 198,882