LaTeX align环境缺少插入的$

我在校样中使用了一个Align环境，我得到了错误“Missing$inserted”。除了Align的第一行之外，我已经注释掉了所有使错误消失的内容，但我仍然无法找出问题所在。我找不到有效的解决办法。我错过什么了吗

\documentclass[12pt,letterpaper]{article}
\usepackage{ifpdf, enumerate}
\usepackage{mla}
\usepackage{gb4e}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{stmaryrd}

\newcommand{\tuple}[1]{\ensuremath{\left \langle #1 \right \rangle }}
\newcommand{\evaluation}[2][]{\ensuremath{\llbracket #2\rrbracket^{#1}}}

\begin{document}

\begin{proof}
  \begin{align*} 
    \evaluation[\mathbb{M}]{(Mx)(D (x) \& V (x))} = 1 \iff \\
    \evaluation[\mathbb{M}]{\lbrack \alpha / x \rbrack (D (x) \& V (x))} = 1 \text{for most constants \alpha} \\
    \evaluation[\mathbb{M}]{(D (\alpha) \& V (\alpha))} = 1 \text{for most constants \alpha } \\
    \evaluation[\mathbb{M}]{D (\alpha)} = 1 \text{and} \evaluation[\mathbb{M}]{V (\alpha)} = 1 \text{for most constants \alpha } \\
    F(\alpha) \in F(D) \text{and} F(\alpha) \in F(V) \text{for most constants \alpha } \\
    \intertext{Examining the definitions of the model, we see that there are only four entities that are both in $F(D)$ and $F(V)$: Alice, Bob, Colin, and David. Because this is not more than half of the total twelve entities in the universe, our naive definition of ``most'' is not satisfied. Therefore the statement is false, which implies that the truth value of the origenal proposition is not 1.}
  \end{align*}
\end{proof}

\end{document}

下面是错误消息的样子

    ./test.tex:24: Missing $ inserted.
<inserted text>
                $
l.24   \end{align*}

?

/test.tex:24:缺少插入的$。
$
l、 24\end{align*}
?

您只遗漏了一个棘手的事实：

\alpha

仅在数学模式下工作，因此如果您替换所有出现的

\text{for most constants \alpha} \\

（第18、19、20、21行）带有

然后你的tex会编译得很好。此外：

\text{for most constants}\ \alpha \\

或：

---

正如您在代码第22行中所做的那样（…

$F（D）$和$F（V）$

。

工作得非常好！谢谢

\text{for most constants}\ \alpha \\

\text{for most constants $\alpha$} \\