我正在学习一门并发系统建模课程，该课程使用 CCS。我正在尝试写出一些家庭作业问题的完整推导，但我对 LaTeX 还比较陌生。对于一条规则，我有：
\newcommand{\infrule}[3]
{\ensuremath{\mathrm{#1}\; {{\textstyle {#2} }\over {\textstyle {#3}}}}}
这对于单个步骤来说很好。但是，我需要用一条水平线将各个步骤连接起来，并将左侧的规则与水平线垂直对齐。此外，有时这些步骤会分成单独的规则。在这种情况下，上述规则将在左侧有一个规则，在右侧有另一个规则，并且该线将被拆分。我该如何做到这一点？我正在使用algorithm、algpseudocode和mathtools包，尽管我显然可以使用所需的任何其他包。谢谢！