LaTeX 对齐环境缺少 $ 插入

Question

我在证明中使用对齐环境，但出现错误 "Missing $ inserted." 我注释掉了除对齐的第一行以外的所有内容，这样错误就消失了，但我仍然无法弄清楚问题是什么。我找不到有效的解决方案。我错过了什么吗？

\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*}

?

Answer 1

您只错过了一个棘手的事实：\alpha 仅适用于数学模式，因此如果您替换所有出现的

\text{for most constants \alpha} \

（第 18、19、20、21 行）

\text{for most constants }\alpha \

那么你的 tex 将顺利编译。还有：

\text{for most constants}\ \alpha \

或：

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

正如您在代码的第 22 行所做的那样 (...$F(D)$ and $F(V)$...)。

LaTeX 对齐环境缺少 $ 插入

LaTeX align environment missing $ inserted

latex

pdflatex