压痕特克斯

Question

我需要将文本按如下方式放置，但我不知道该怎么做。

请帮我。

\documentclass{article}
\usepackage{amsmath, amssymb}

\begin{document}
$$\llbracket \Phi_{1}(\vec{a})\wedge\Phi_{2}(\vec{a})\rrbracket \in U \textrm{ iff } \llbracket \Phi_{1}(\vec{a})\rrbracket\cap \llbracket\Phi_{2}(\vec{a})\rrbracket \in U$$
$$\textrm{    iff}$$
\end{document}

无法解决\textrm

Answer 1

您可以使用align*环境来amsmath获取对齐，并\DeclareMathOperator{\Iff}{iff}为 iff 创建新的宏。请注意，它&表示对齐点，以及\\在 中开始新行align*。

一般来说，你不应该$$ .. $$在 LaTeX 中使用显示数学公式，请参阅为什么 \[ ... \] 比 $$ ... $$ 更可取？。

\documentclass{article}
\usepackage{amsmath, amssymb}
\usepackage{stmaryrd}

\DeclareMathOperator{\Iff}{iff}
\begin{document}
\begin{align*}
\llbracket \Phi_{1}(\vec{a})\wedge\Phi_{2}(\vec{a})\rrbracket \in U & \Iff \llbracket \Phi_{1}(\vec{a})\rrbracket\cap \llbracket\Phi_{2}(\vec{a})\rrbracket \in U \\
& \Iff \llbracket\Phi_{i}(\vec{a})\rrbracket \in U \text{ for } i=1,2
\end{align*}
\end{document}

Answer 2

另一个解决方案是array：

\documentclass{article}
\usepackage{amsmath, amssymb, array}
\usepackage{stmaryrd}

\begin{document}

\[ \setlength{\extrarowheight}{1ex}
\begin{array}{r!{\text{ iff }} >{\displaystyle}l}
\llbracket \Phi_{1}(\vec{a})\enspace \text{\&}\enspace \Phi_{2}(\vec{a})\rrbracket \in U & \llbracket \Phi_{1}(\vec{a})\rrbracket\cap \llbracket\Phi_{2}(\vec{a})\rrbracket \in U \\
& \llbracket\Phi_{i}(\vec{a})\rrbracket \in U \quad\text{for } i=1,2 \\
 & \prod_{i\in I}A_i/U \vDash \phi_i(\vec{a}/U)\quad\text{for } i=1,2 \\
 & \prod_{i\in I}A_i/U \vDash \phi_1(\vec{a}/U) \enspace \text{\&}\enspace \phi_2(\vec{a}/U)
\end{array}
    \]

\end{document}