\usepackage{amsmath}
\begin{align*}
\phi::= &true|false|\neg\phi|\phi\wedge\phi'|\phi\vee\phi'|(\phi\rightarrow\phi')|AX\phi|EX\phi|AF\phi|AG\phi|EF\phi|EG\phi \\
&|A[\phi U\phi']|E[\phi U\phi']
\end{align*}
其中， &表示需要对齐的地方， \\表示需要换行的地方。注意，在 \begin{align*}和 \end{align*}中间的公式内容不要使用$$
效果如下图所示：
\begin{align*}
\phi::= &true|false|\neg\phi|\phi\wedge\phi'|\phi\vee\phi'|(\phi\rightarrow\phi')|AX\phi|EX\phi|AF\phi|AG\phi|EF\phi|EG\phi \\
&|A[\phi U\phi']|E[\phi U\phi']
\end{align*}
其中， &表示需要对齐的地方， \\表示需要换行的地方。注意，在 \begin{align*}和 \end{align*}中间的公式内容不要使用$$
效果如下图所示：
1329
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
