如何在语义上设置彼此相邻的推理规则？

Question

喂食

\documentclass{article}
\pagestyle{empty}
\usepackage{semantic}
\begin{document}
  \setpremisesend{0pt}\setnamespace{0pt}%
  \inference{A_1\\A_2&A_3}{C_1}
  \quad
  \inference{A_4\\A_5&A_6}{C_2}%
\end{document}

对 latex 或 pdflatex 产生两个不在同一垂直水平（基线？）的推理规则，但第二个规则位于第一个规则的右下方：

可能，\inference{…}{…}只是在末尾插入一个换行符。为什么？如何将两个推理规则设置在同一垂直级别，即第二条规则在第一条规则的右侧？或者如何默认防止终止换行符？

Answer 1

把它们装箱。

\documentclass{article}
\pagestyle{empty}
\usepackage{semantic}

\setpremisesend{0pt}
\setnamespace{0pt}

\begin{document}

\mbox{\inference{A_1\\A_2&A_3}{C_1}}%
\quad
\mbox{\inference{A_4\\A_5&A_6}{C_2}}

\end{document}

或者以数学模式排​​版：

\documentclass{article}
\pagestyle{empty}
\usepackage{semantic}

\setpremisesend{0pt}
\setnamespace{0pt}

\begin{document}

\[
\inference{A_1\\A_2&A_3}{C_1}
\quad
\inference{A_4\\A_5&A_6}{C_2}
\]

\end{document}