我在格式化公式时遇到了一些麻烦,到目前为止,我可以使其看起来像这样:
我想要的是这个:
这是我正在使用的 MWE split
,我认为我不能使用,align
因为它会将我的公式分解成更小的公式。
\begingroup
\everymath{\scriptstyle}
\begin{equation}
\begin{split}
&\forall \boldsymbol{value_{1}}, \boldsymbol{value_{2}}, \boldsymbol{value_{3}} \textsf{Relationship(}\boldsymbol{value_{1}},\boldsymbol{value_{2}},\boldsymbol{value_{3}}\textsf{)} \to \\
& \textsf{Unary(}\boldsymbol{value_{1}},\boldsymbol{value_{2}},\boldsymbol{value_{3}}\textsf{)} \vee \\
& \textsf{Binary(}\boldsymbol{value_{1}},\boldsymbol{value_{2}},\boldsymbol{value_{3}}\textsf{)} \vee \\
& \textsf{Ternary(}\boldsymbol{value_{1}},\boldsymbol{value_{2}},\boldsymbol{value_{3}}\textsf{)}
\end{split}
\end{equation}
\endgroup
答案1
\documentclass{article}
\usepackage{amsmath}
\newcommand{\val}[1]{\textbf{\textit{#1}}}
\newcommand{\func}[1]{\textsf{#1}}
\begin{document}
\begin{equation}
\begin{split}
&\forall \val{value}_{1}, \val{value}_{2}, \val{value}_{3}
\quad
\func{Relationship}(\val{value}_{1},\val{value}_{2},\val{value}_{3}) \to \\
&\qquad \func{Unary}(\val{value}_{1},\val{value}_{2},\val{value}_{3}) \vee {}\\
&\qquad \func{Binary}(\val{value}_{1},\val{value}_{2},\val{value}_{3}) \vee {}\\
&\qquad \func{Ternary}(\val{value}_{1},\val{value}_{2},\val{value}_{3})
\end{split}
\end{equation}
\end{document}
评论。
你肯定不想要
\everymath{\scriptstyle}
。\boldsymbol{value_1}
是错误的。您应该使用如下所示的文本命令,并且下标不应加粗括号不应该来自无衬线字体,而应该来自数学字体。
{}
之后\vee
实现正确的间距。
答案2
分割环境允许将“&”符号放在文本中适当的任何位置,因此给出的解决方案egreg
也可以重写为:
\documentclass{article}
\usepackage{amsmath}
\newcommand{\val}[1]{\textbf{\textit{#1}}}
\newcommand{\func}[1]{\textsf{#1}}
\begin{document}
\begin{equation}
\begin{split}
\forall \val{valu} % this value is split into two parts ...
&\! % by \! is reduced space before second par of splitted \val{...}
\val{e}_{1}, % rest of first line of given expression
\val{value}_{2}, \val{value}_{3}
\quad\func{Relationship}(\val{value}_{1}, \val{value}_{2},\val{value}_{3}) to\\
& \func{Unary}(\val{value}_{1},\val{value}_{2},\val{value}_{3}) \vee {}\\
& \func{Binary}(\val{value}_{1},\val{value}_{2},\val{value}_{3}) \vee {}\\
& \func{Ternary}(\val{value}_{1},\val{value}_{2},\val{value}_{3})
\end{split}
\end{equation}
\end{document}
最终结果几乎与示例相同egreg
。通过移动第一行中的 &,您可以调整其他行的开头。