单一推理规则的多条推理线

Question

我看了语义和数学部分包，是否可以在单个推理规则中插入多条推理线？或者有更好的方法吗？

mathpartir 包有一个小例子，但是效果不太好，我找不到更好的解决方案。

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

\begin{document}

\section{Judgement}

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

\end{document}

这是其产生的结果。

Answer 1

很难说这是否适合您使用。（一个最小的工作示例 - 或者一个展示您尝试过的方法的非工作示例 - 将有助于澄清这一点。）但肯定埃布洛夫允许双重推理规则：

\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}