☰

如何使物体围绕箭头对称

tag-icon • tag-icon math-mode horizontal-alignment
如何使物体围绕箭头对称

有人能告诉我需要什么突击队才能做出像下面文本中的表情吗？我的意思是像它围绕箭头对称。

在此处输入图片描述

答案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， 如果需要的话。

相关内容