LaTeX выравнивание среды отсутствует $ вставлено

Question

Я использую среду Align внутри доказательства, и я получаю сообщение об ошибке «Missing $ insert». Я комментирую все, кроме первой строки выравнивания, заставляет ошибку уйти, но я все еще не могу понять, в чем проблема. Никакого решения я не мог найти. Я что-то упускаю?

\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)$ ...).