![align-env 中的对齐:以何种方式对齐?](https://linux22.com/image/235521/align-env%20%E4%B8%AD%E7%9A%84%E5%AF%B9%E9%BD%90%EF%BC%9A%E4%BB%A5%E4%BD%95%E7%A7%8D%E6%96%B9%E5%BC%8F%E5%AF%B9%E9%BD%90%EF%BC%9F.png)
在此示例中:
\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^* ) )
和之间有很大空间=
。
为什么?我该如何避免这种情况?我实际上想=
在它旁边放上 ,就好像我不会使用 一样&
。
答案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\}
)。