![如何使物体围绕箭头对称](https://linux22.com/image/309295/%E5%A6%82%E4%BD%95%E4%BD%BF%E7%89%A9%E4%BD%93%E5%9B%B4%E7%BB%95%E7%AE%AD%E5%A4%B4%E5%AF%B9%E7%A7%B0.png)
有人能告诉我需要什么突击队才能做出像下面文本中的表情吗?我的意思是像它围绕箭头对称。
答案1
除了错误的点之外,它看起来像align*
:
\documentclass{article}
\usepackage[margin=1in]{geometry}
\usepackage{amsmath,amssymb}
\usepackage{lipsum}
\begin{document}
\lipsum*[2]
\begin{align*}
\{B_1,\dots,B\cup\{\lnot\lnot\phi\},\dots,B_i\}\quad
& \rightsquigarrow \quad
\{B_1,\dots,B\cup\{\phi\},\dots,B_i\}
\\
\{B_1,\dots,B\cup\{\phi\land\psi\},\dots,B_i\}\quad
& \rightsquigarrow \quad
\{B_1,\dots,B\cup\{\phi,\psi\},\dots,B_i\}
\\
\{B_1,\dots,B\cup\{\lnot(\phi\land\psi)\},\dots,B_i\}\quad
& \rightsquigarrow \quad
\{B_1,\dots,B\cup\{\lnot\phi\},B\cup\{\lnot\psi\},\dots,B_i\}
\end{align*}
\lipsum[3]
\end{document}
请注意,这lipsum
只是生成虚拟文本,并且您的文档中不需要它。
答案2
您可以使用常规array
:
\documentclass{article}
\usepackage[margin=1in]{geometry}% Just for this example
\usepackage[nopar]{lipsum}% Just for this example
\usepackage{amsmath,amssymb}
\begin{document}
\lipsum[1]
\[
\begin{array}{r@{\quad\rightsquigarrow\quad}l}
\{ B_1, \dots, B \cup \{ \neg\neg\phi \}, \dots, B_i \} &
\{ B_1, \dots, B \cup \{ \phi \}, \dots, B_i \} \\
\{B_1, \dots, B \cup \{ \phi \wedge \psi \}, \dots, B_i\} &
\{B_1, \dots, B \cup \{ \phi, \psi \}, \dots, B_i\} \\
\{B_1, \dots, B \cup \{ \neg(\phi \wedge \psi) \}, \dots, B_i\} &
\{B_1, \dots, B \cup \{ \neg\phi \}, B \cup \{ \neg\psi \}, \dots, B_i\}
\end{array}
\]
\lipsum[2]
\end{document}
列规范具有强制列分离,从而导致居中\rightsquigarrow
。
还存在其他align
类似环境的选项amsmath
, 如果需要的话。