\[ \frac{A \rightarrow f[\overrightarrow{B}]:= \Psi \\ \Phi \in
\langle\Psi\rangle} {A \rightarrow f[\bullet\overrightarrow{B}];\Phi} \]
我需要将两个前提条件放在两条不同的线上。
A \rightarrow f[\overrightarrow{B}]:= \Psi
\Phi \in \langle\Psi\rangle
答案1
尽管我不熟悉上下文,但是您可以使用array
将“先行词”分成单独的行:
\documentclass{article}
\begin{document}
\[
\frac{\begin{array}{@{}c@{}}
A \rightarrow f[\overrightarrow{B}]:= \Psi \\
\Phi \in \langle\Psi\rangle
\end{array}}{
A \rightarrow f[\bullet\overrightarrow{B}];\Phi}
\]
\end{document}
这会将对象垂直放置在分数线的中心。如果对此不担心,您可以在环境中执行所有操作array
:
\[
\begin{array}{c}
A \rightarrow f[\overrightarrow{B}]:= \Psi \\
\Phi \in \langle\Psi\rangle \\
\hline
A \rightarrow f[\bullet\overrightarrow{B}];\Phi
\end{array}
\]
答案2
我发现数学部分以这种风格排版推理规则的软件包是最容易使用的。默认样式是并排的先行词,但您可以通过在先行词之间放置两个换行符将它们放在单独的行上。在这种情况下
\[
\inferrule{A \rightarrow f[\overrightarrow{B}]:= \Psi \\
\Phi \in \langle\Psi\rangle}
{A \rightarrow f[\bullet\overrightarrow{B}];\Phi}
\]
看起来像