align-env 中的对齐：以何种方式对齐？

Question

在此示例中：

\begin{align*}
& \lim( \neg ( \Sigma^* a_1 \Sigma^* a_2 \dotsb a_n \Sigma^* ) ) & = & \{ \alpha \in \Sigma^\omega | \exists^\omega n : \alpha [0,n] \notin \Sigma^* a_1 \Sigma^* a_2 \dotsb a_n \Sigma^* \} \\
& & = & \{ \alpha \in \Sigma^\omega | \forall n: \alpha [0,n] \notin \Sigma^* a_1 \Sigma^* a_2 \dotsb a_n \Sigma^* \} \\
& & = & \neg \ext( \Sigma^* a_1 \Sigma^* a_2 \dotsb a_n \Sigma^* )
\end{align*}

\lim( \neg ( \Sigma^* a_1 \Sigma^* a_2 \dotsb a_n \Sigma^* ) )和之间有很大空间=。

为什么？我该如何避免这种情况？我实际上想=在它旁边放上 ，就好像我不会使用 一样&。

Answer 1

你没有正确使用环境：你的代码中align*有太多的s。你只需要&一 & 前标志=：

\documentclass{article}
\usepackage{amsmath}
\DeclareMathOperator\ext{ext}
\begin{document}
\begin{align*}
\lim( \neg ( \Sigma^* a_1 \Sigma^* a_2 \dotsb a_n \Sigma^* ) )
 &= \{ \alpha \in \Sigma^\omega | \exists^\omega n : \alpha [0,n] \notin \Sigma^* a_1 \Sigma^* a_2 \dotsb a_n \Sigma^* \} \\
 &= \{ \alpha \in \Sigma^\omega | \forall n: \alpha [0,n] \notin \Sigma^* a_1 \Sigma^* a_2 \dotsb a_n \Sigma^* \} \\
 &= \neg \ext( \Sigma^* a_1 \Sigma^* a_2 \dotsb a_n \Sigma^* )
\end{align*}
\end{document}

请注意，您的代码中还有几点可以改进：的外括号\lim可以更大（使用\bigl(和\bigr)），并且{|}两个集合的 也可以更大（使用\bigl\{，\bigm|和\bigr\}）。