请问如何用latex书写CTL或LTL公式？
例如：$\phi$::= $X\phi |G\phi|F\phi|\phi U \phi | \phi R \phi$ \\
$| \neg \phi | \phi \vee \phi | \phi \wedge \phi | \phi \Rightarrow \phi$ \\
$| AP.$
我想分行对齐显示这些公式，但是不知道怎么做，多谢了！ 如果用amsmath包的话就很简单，比如:
\begin{align}
y &= (x+1)^2 \\
&= x^2+2x+1
\end{align}
效果见wiki
页:
[1]