我不知道为什么这段代码不起作用：
\documentclass[11pt]{article}
\usepackage{fullpage}
\usepackage{amsfonts}
\usepackage[utf8]{inputenc}
\usepackage{amsthm}
\newtheorem{theorem}{Teorema}
\theoremstyle{definition}
\newtheorem{definition}{Definição}
\begin{document}
\begin{definition}
Um conjunto $H$ com uma operação binária associativa é chamado de semigrupo.
\end{definition}
\begin{definition}
Um semigrupo $H\subset \mathbb{N}$ é chamado de numérico quando $0\in H$, $L=\mathbb{N}-H$ é finito e $1\in L$. Os elementos $1=l_1\lt l_2\ldots\lt l_g$ de $L$ são chamados de lacunas de $H$ e os elementos $0=n_0\lt n_1\lt\ldots$ de $H$ são chamados de não-lacunas de $H$. A quantidade de lacunas de $H$ é chamada de gênero de $H$.
\end{definition}
\begin{definition}
Um semigrupo numérico $H$ é chamado de hiperelíptico quando $n_1=2\in H$.
\end{definition}
\end{document}
日志：
! Undefined control sequence.
l.19 ... finito e $1\in L$. Os elementos $1=l_1\lt
l_2\ldots\lt l_g$ de $L$ ...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.
! Undefined control sequence.
l.19 ...in L$. Os elementos $1=l_1\lt l_2\ldots\lt
l_g$ de $L$ são chamados...
这与语言有关吗？
谢谢
答案1
我认为，\lt应该意味着少于，但据我所知，没有这样的命令。
如果需要的话，可以很容易地定义具有以下含义的命令：
\newcommand{\lt}{\ensuremath{<}}%
有一些命令称为\le并且\ge意味着<=等等。
此外，如果需要，\gt可以相应定义a：
\newcommand{\gt}{\ensuremath{>}}%
\documentclass[11pt]{article}
\usepackage{fullpage}
\usepackage{amsfonts}
\usepackage[utf8]{inputenc}
\usepackage{amsthm}
\newtheorem{theorem}{Teorema}
\theoremstyle{definition}
\newtheorem{definition}{Definição}
\newcommand{\lt}{\ensuremath{<}}%
\begin{document}
\begin{definition}
Um conjunto $H$ com uma operação binária associativa é chamado de semigrupo.
\end{definition}
\begin{definition}
Um semigrupo $H\subset \mathbb{N}$ é chamado de numérico quando $0\in H$, $L=\mathbb{N}-H$ é finito e $1\in L$. Os elementos $1=l_1 \lt l_2\ldots \lt l_g$ de $L$ são chamados de lacunas de $H$ e os elementos $0=n_0\lt n_1\lt\ldots$ de $H$ são chamados de não-lacunas de $H$. A quantidade de lacunas de $H$ é chamada de gênero de $H$.
\end{definition}
\begin{definition}
Um semigrupo numérico $H$ é chamado de hiperelíptico quando $n_1=2\in H$.
\end{definition}
\end{document}