Ошибка «Неопределенная управляющая последовательность. [\end{flaalign*}]», которую я не могу исправить

Question

На самом деле я получаю ошибку дважды в одной строке. Не могу понять, что ее вызывает. Мой код:

\documentclass{article}
\usepackage[left=1in, top=1in, bottom=1in]{geometry}
\usepackage{amsmath}
\usepackage{amssymb}
\begin{document}

\begin{flalign*}
\textbf{14c)} \quad & \text{Let } V(x,y) \text{ be "} x \text{ has visited } y \text{",} &\\
                    & \text{where } x \in \{ \text{students in this class} \} \text{ and } y \in \{ \text{places} \} &\\
                    & \exists x (V(x, \text{Alaska}) \land \neg V(x, \text{Hawaii})) &\\
\textbf{d)}   \quad & \text{Let } L(x,y) \text{ be "} x \text{ has learned at least } y \text{ programming languages",} &\\
                    & \text{where } x \in \{ \text{students in this class} \} \text{ and } y \in \R &\\
                    & \forall x (L(x, 1)) &\\
\textbf{e)}   \quad & \text{Let } T(x,y) \text{ be "} x \text{ has taken every course offered by } y \text{",} &\\
                    & \text{where } x \in \{ \text{students in this class} \} \text{ and } y \in \{ \text{departments in this school} \} &\\
                    & \exists x,y (T(x,y))
\end{flalign*}
\end{document}

Ошибка: 2.tex:80: Неопределенная управляющая последовательность. [\end{flaalign*}]

Answer 1

Вероятно, это то, что вам было нужно ( \Rтеперь определяется как blackboard R):

\documentclass{article}
\usepackage[left=1in, top=1in, bottom=1in]{geometry}
\usepackage{amsmath}
\usepackage{amssymb}

\newcommand\R{\mathbb{R}}

\begin{document}


\begin{flalign*}
\textbf{14c)} \quad & \text{Let } V(x,y) \text{ be "} x \text{ has visited } y \text{",} &\\
                    & \text{where } x \in \{ \text{students in this class} \} \text{ and } y \in \{ \text{places} \} &\\
                    & \exists x (V(x, \text{Alaska}) \land \neg V(x, \text{Hawaii})) &\\
\textbf{d)}   \quad & \text{Let } L(x,y) \text{ be "} x \text{ has learned at least } y \text{ programming languages",} &\\
                    & \text{where } x \in \{ \text{students in this class} \} \text{ and } y \in \R &\\
                    & \forall x (L(x, 1)) &\\
\textbf{e)}   \quad & \text{Let } T(x,y) \text{ be "} x \text{ has taken every course offered by } y \text{",} &\\
                    & \text{where } x \in \{ \text{students in this class} \} \text{ and } y \in \{ \text{departments in this school} \} &\\
                    & \exists x,y (T(x,y))
\end{flalign*}
\end{document}

Answer 2

Сообщение об ошибке, как указано в файле журнала, следующее:

! Undefined control sequence.
<argument> ...is class} \} \text { and } y \in \R 
                                                  &\\ & \forall x (L(x, 1)) ...
l.17 \end{flalign*}

что довольно ясно показывает, в чем проблема: команда \Rне имеет определения по умолчанию и должна быть определена, возможно, с помощью

\newcommand{\R}{\mathbb{R}}

или

\newcommand{\R}{\mathbf{R}}

в соответствии с вашими стилистическими предпочтениями.

Возможно, вам стоит рассмотреть возможность использования списка вместо этой громоздкой flalignсреды.

\documentclass{article}
\usepackage[
  left=1in,
  top=1in,
  bottom=1in,
  showframe,
]{geometry}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{enumitem}

\newcommand{\R}{\mathbb{R}}


\begin{document}

\begin{enumerate}[
  leftmargin=3.5em,
  labelwidth=2.5em,
  labelsep=1em,align=right,
]

\item[\bfseries 14c)]
Let $V(x,y)$ be ``$x$ has visited $y$'', where 
$x \in \{ \text{students in this class} \}$ 
and $y \in \{ \text{places} \}$ \\*
  $\exists x (V(x, \text{Alaska}) \land \neg V(x, \text{Hawaii}))$

\item[\bfseries d)]
Let $L(x,y)$ ``$x$ has learned at least $y$ programming languages'',
where $x \in \{ \text{students in this class} \}$ and $y \in \R$, \\*
  $\forall x (L(x, 1))$

\item[\bfseries e)]
Let $T(x,y)$ be ``$x$ has taken every course offered by $y$'',
where $x \in \{ \text{students in this class} \}$ and 
$y \in \{ \text{departments in this school} \}$ \\*
  $\exists x,y (T(x,y))$

\end{enumerate}

\end{document}

Опция showframeотвечает за тонкие линии вокруг текстового блока, прокомментируйте ее для рабочей версии.