![压痕特克斯](https://linux22.com/image/395083/%E5%8E%8B%E7%97%95%E7%89%B9%E5%85%8B%E6%96%AF.png)
请帮我。
\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
答案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}
答案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}