3 列对齐

Question

\newcommand{\update}{\leftarrow}
\begin{alignat*}{2}
&c = 0 \wedge [c \update c - 1] &\wedge \bigcirc [c \update c + 1] &\to \bigcirc \bigcirc c = 0 \\
&c = 0 \wedge [c \update c + 1] &\wedge \bigcirc [c \update c - 1] &\to \bigcirc \bigcirc c = 0 \\
&c = 0 \wedge [c \update c] &\wedge \bigcirc [c \update c] &\to \bigcirc \bigcirc c = 0 \\
\end{alignat*}

我目前拥有的：

我可以改变它以便第二个 \wedge 也与其他的对齐吗？

基本上我想要三种对齐：

• 左对齐
• 中间对齐 \wedge
• 在 \to 处对齐

Answer 1

您忘记了 n 个对齐点需要 2n-1 个与号，因为除了第一列之外，每个新的对齐点都需要一个与号&来标记新列的开始，另一个与号&来标记此列内的对齐点。

\documentclass{article}

\usepackage{amsmath, amssymb}
\newcommand{\update}{\leftarrow}

\begin{document}

\begin{alignat*}{3}
c &= 0 \wedge [c \update c - 1] & & \wedge \bigcirc [c \update c + 1] & &\to \bigcirc \bigcirc c = 0 \\
c &= 0 \wedge [c \update c + 1] & & \wedge \bigcirc [c \update c - 1] & &\to \bigcirc \bigcirc c = 0 \\
c &= 0 \wedge [c \update c] & & \wedge \bigcirc [c \update c] & &\to \bigcirc \bigcirc c = 0 \\
\end{alignat*}

\end{document} 

Answer 2

array也能用。

\documentclass{article}
\usepackage{amsmath}
\begin{document}

\newcommand{\update}{\leftarrow}
\[
\begin{array}{l@{\;}l@{\;}l}
c = 0 \wedge [c \update c - 1] & \wedge \bigcirc [c \update c + 1] & \to \bigcirc \bigcirc c = 0 \\
c = 0 \wedge [c \update c + 1] & \wedge \bigcirc [c \update c - 1] & \to \bigcirc \bigcirc c = 0 \\
c = 0 \wedge [c \update c]     & \wedge \bigcirc [c \update c]     & \to \bigcirc \bigcirc c = 0 \\
\end{array}
\]

\end{document}

Answer 3

如果要使用alignat环境，则需要告诉它使用3列（即三对，一个右对齐列和一个左对齐列）。并且您需要相应地放置对齐标记。

因为您不希望第一列右对齐，所以您需要将第一个对齐标记放在每行的开头，以使第一列（右对齐）留空。

接下来的列也不应该右对齐，所以你需要在符号\wedge和\to符号前放置两个“&”符号。这样，所有右对齐的列都将为空，剩下的是三个左对齐的列。

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\newcommand{\update}{\leftarrow}
\begin{alignat*}{3}
&c = 0 \wedge [c \update c - 1] &&\wedge \bigcirc [c \update c + 1] &&\to \bigcirc \bigcirc c = 0 \\
&c = 0 \wedge [c \update c + 1] &&\wedge \bigcirc [c \update c - 1] &&\to \bigcirc \bigcirc c = 0 \\
&c = 0 \wedge [c \update c] &&\wedge \bigcirc [c \update c] &&\to \bigcirc \bigcirc c = 0 \\
\end{alignat*}

\end{document}