Um Arquivo de Entrada L^ATEX Típico

Para produzir um documento usando L^ATEX, nós precisamos primeiro criar um arquivo de entrada no computador. Nós aplicamos o L^ATEX neste arquivo de entrada e então usamos a impressora para imprimir o arquivo `DVI' produzido pelo programa L<sup>A</sup>TEX (utilizando um programa para traduzir o arquivo `DVI' em uma forma que a impressora possa entender). Aqui está um exemplo de um típico arquivo de entrada L^ATEX:

\documentclass[a4paper,12pt]{article}
\usepackage[latin1]{inputenc}
\usepackage[brazil]{babel}
\begin{document}

As fundações do rigoroso estudo da \textit{análise} 
foram estabelecidas no século XIX, notavelmente 
pelo matemáticos Cauchy e Weierstrass. No centro 
dos estudos desses assuntos estavam as 
definições formais de \textit{limite} e 
\textit{continuidade}.

Seja $D$  um subconjunto de $\bf R$ e seja
$f \colon D \to \textbf{R}$ uma função real 
sobre $D$. A função $f$ é dita ser \textit{contínua} 
em $D$ se, para todo $\epsilon > 0$ e para todo 
$x \in D$, existir  algum $\delta > 0$ (que pode 
depender de  $x$) tal que se $y \in D$ satisfaz
\[ |y - x| < \delta \]
então
\[ |f(y) - f(x)| < \epsilon. \]

É possível verificar imediatamente que se $f$ e $g$ 
são funções contínuas em $fD$ então as funções $f+g$, 
$f-g$ e $f.g$ são contínuas. Adicionalmente, se $g$ 
é diferente de zero em toda a sua imagem, então $f/g$ 
é contínua.

\end{document}

Quando nós aplicamos L^ATEX nestes parágrafos, produzimos o texto

As fundações do rigoroso estudo da análise foram estabelecidas no século XIX, notavelmente pelo matemáticos Cauchy e Weierstrass. No centro dos estudos desses assuntos estavam as definições formais de limite e continuidade.

Seja D um subconjunto de $\bf R$ e seja $f \colon D \to \textbf{R}$ uma função real sobre D. A função f é dita ser contínua em D se, para todo $\epsilon > 0$ e para todo $x \in D$, existir algum $\delta > 0$ (que pode depender de x) tal que se $y \in D$ satisfaz

$$\vert y - x\vert < \delta$$

então

$$\vert f(y) - f(x)\vert < \epsilon.$$

É possível verificar imediatamente que se f e g são funções contínuas em fD então as funções f+g, f-g e f.g são contínuas. Adicionalmente, se g é diferente de zero em toda a sua imagem, então f/g é contínua.

Este exemplo ilustra várias características de L^ATEX. Note que as linhas

\documentclass[a4paper,12pt]{article}
\usepackage[latin1]{inputenc}
\usepackage[brazil]{babel}
\begin{document}

estão localizadas no início da entrada do arquivo. A elas, segue-se o corpo principal do texto, seguido pela linha de conclusão

\end{document}

Note também que, apesar de vários caracteres neste arquivo possuírem sua significação comum, existem vários caracteres, como \, $, { e }, que tem significados especiais dentro L^ATEX. Note, em particular, que há seqüências de caracteres que começam com uma `barra invertida' \ que são usadas para produzir símbolos matemáticos e letras gregas e executar tarefas diversas, tais como mudança de fontes.² Estas sequências de caracteres são conhecidas como sequências de controle.