
Ich habe einige Probleme beim Formatieren meiner Formel, bisher habe ich es geschafft, sie folgendermaßen hinzubekommen:
Was ich will, ist Folgendes:
Hier ist mein MWE, das ich verwende split
. Ich glaube nicht, dass ich es verwenden kann, align
da es meine Formeln in kleinere aufteilen würde.
\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
Antwort1
\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}
Kommentare.
Das willst du auf keinen Fall
\everymath{\scriptstyle}
.\boldsymbol{value_1}
ist falsch. Sie sollten Textbefehle wie gezeigt verwenden und der Index sollte nicht fett seinDie Klammern sollten nicht aus der serifenlosen Schriftart, sondern aus der Mathematikschriftart stammen.
{}
danach\vee
sorgt für den richtigen Abstand.
Antwort2
Die Split-Umgebung ermöglicht die Platzierung des Et-Zeichens an beliebiger Stelle im Text. Die Lösung egreg
kann daher auch wie folgt umgeschrieben werden:
\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}
Das Endergebnis ist fast dasselbe wie im egreg
Beispiel. Durch Verschieben von & in der ersten Zeile können Sie den Anfang der weiteren Zeilen anpassen.