Question

我在证明中使用了Align环境，我收到错误“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对齐环境缺少$插入

1 个答案: