I don't know why this code doesn't work:
\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}
Log:
! 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...
It's something to do with the language?
Thanks
\ltcommand as far as I know. Use<instead if you mean that symbol. – Sep 19 '14 at 04:09\ltis used inside math. What it is supposed to mean? – Heiko Oberdiek Sep 19 '14 at 04:10\lt– Sep 19 '14 at 04:29babelor thepolyglossiapackages? – Aradnix Sep 19 '14 at 06:43chapter, section, tableofcontents, etc. Also gives you the right hyphenation according the rules of your language instead of the English. They are also helpful with the decimal marker you use. – Aradnix Sep 22 '14 at 00:23biblatex. – Aradnix Sep 23 '14 at 04:49