LATEX para iniciantes

David R. Wilkins

2. Edio
Copyright c David R. Wilkins 1995
Traduzido por Joaquim Quinteiro Ucha e Ktia Cilene Amaral

Sumrio
1 Introduo ao LATEX 2
1.1 O Que LATEX? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Um Arquivo de Entrada LATEX Tpico . . . . . . . . . . . . . . . . . . 3
1.3 Caracteres e Sequncias de Controle . . . . . . . . . . . . . . . . . . 4

2 Produzindo Documentos Simples usando LATEX 6

2.1 Produzindo um arquivo de entrada LATEX . . . . . . . . . . . . . . . . 6
2.2 Produzindo Texto Simples usando LATEX . . . . . . . . . . . . . . . . 6
2.3 Espaos em Branco e Quebra de Linha no Arquivo de Entrada . . . . . 8
2.4 Aspas, Hfens e Travesses . . . . . . . . . . . . . . . . . . . . . . . 9
2.5 Ttulos de Sees em LATEX . . . . . . . . . . . . . . . . . . . . . . . 10
2.6 Mudando Fontes no Modo Texto . . . . . . . . . . . . . . . . . . . . 12
2.7 Acentos Usados no Texto . . . . . . . . . . . . . . . . . . . . . . . . 14
2.8 Caracteres e Smbolos Especiais no Texto . . . . . . . . . . . . . . . . 15

3 Produzindo Frmulas Matemticas usando LATEX 16

3.1 Modo Matemtico . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.2 Caracteres em Modo Matemtico . . . . . . . . . . . . . . . . . . . . 18
3.3 Sobresescrito e Subscrito . . . . . . . . . . . . . . . . . . . . . . . . 19
3.4 Caracteres Gregos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.5 Smbolos Matemticos . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.6 Mudando Fontes no Modo Matemtico . . . . . . . . . . . . . . . . . 23
3.7 Funes Padro (sin, cos etc.) . . . . . . . . . . . . . . . . . . . . . . 24
3.8 Texto Embutido em Equaes . . . . . . . . . . . . . . . . . . . . . . 25
3.9 Fraes e Razes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

1
 3.10 Reticncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.11 Acentos no Modo Matemtico . . . . . . . . . . . . . . . . . . . . . . 27
3.12 Parnteses e Normas . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.13 Frmula Multilinha em LATEX . . . . . . . . . . . . . . . . . . . . . . 29
3.14 Matrizes e Outros Tipos de Vetores em LATEX . . . . . . . . . . . . . . 31
3.15 Derivativos, Limites, Somas e Integrais . . . . . . . . . . . . . . . . . 33

4 Caractersticas Adicionais do LATEX 37

4.1 Produzindo espao em LATEX . . . . . . . . . . . . . . . . . . . . . . 37
4.2 Listas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.3 Citaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.4 Tabelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.5 O Prembulo do Arquivo de Entrada LATEX . . . . . . . . . . . . . . . 46
4.6 Definindo suas Prprias Seqncias de Controle em LATEX . . . . . . . 48

1 Introduo ao LATEX
1.1 O Que LATEX?
LATEX um programa de computador para editorao eletrnica de documentos. Dado
um arquivo de computador, preparado de acordo com as regras do LATEX, ele o converte
em um formato que pode ser impresso em uma impressora de alta-qualidade, tal qual
uma impressora laser, produzindo um documento impresso de qualidade comparvel
a livros e jornais de alta qualidade grfica. Documentos simples, que no possuem
frmulas matemticas ou tabelas, podem ser produzidos muito facilmente: tudo o que
necessrio fazer digitar o texto diretamente (embora observando certas regras relativas
a sinais e hfens). A edio matemtica um pouco mais complicada, mas mesmo assim
LATEX comparativamente simples de usar quando levado em conta a complexidade de
algumas das frmulas produzidas e o grande nmero de smbolos que ele capaz de
gerar.
LATEX um entre os vrios dialetos de TEX, totalmente baseados na verso de TEX
criado por D. E. Knuth conhecido como Plain-TEX.1 LATEX (criado por L. B. Lamport)
um desses dialetos. LATEX particularmente adequado produo de longos arti-
gos e livros, dado que ele tem facilidades para a numerao automtica de captulos,
sees, teoremas, equaes, etc., bem como facilidades para referncias cruzadas.
provavelmente uma das mais adequadas verses de TEX para usurios iniciantes.
1
Nota do Tradutor: Plain-TEX poderia ser traduzido como TEX plano. Optou-se, no entanto, por
manter plain-TEX, por ser um termo bastante conhecido e utilizado mundialmente.

2
1.2 Um Arquivo de Entrada LATEX Tpico
Para produzir um documento usando LATEX, ns precisamos primeiro criar um arquivo
de entrada no computador. Ns aplicamos o LATEX neste arquivo de entrada e ento
usamos a impressora para imprimir o arquivo DVI produzido pelo programa LATEX
(utilizando um programa para traduzir o arquivo DVI em uma forma que a impressora
possa entender). Aqui est um exemplo de um tpico arquivo de entrada LATEX:

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

As fundaes do rigoroso estudo da \textit{anlise}

foram estabelecidas no sculo XIX, notavelmente
pelo matemticos Cauchy e Weierstrass. No centro
dos estudos desses assuntos estavam as
definies formais de \textit{limite} e
\textit{continuidade}.

Seja $D$ um subconjunto de $\bf R$ e seja

$f \colon D \to \textbf{R}$ uma funo real
sobre $D$. A funo $f$ dita ser \textit{contnua}
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 \]
ento
\[ |f(y) - f(x)| < \epsilon. \]

possvel verificar imediatamente que se $f$ e $g$

so funes contnuas em $fD$ ento as funes $f+g$,
$f-g$ e $f.g$ so contnuas. Adicionalmente, se $g$
diferente de zero em toda a sua imagem, ento $f/g$
contnua.

\end{document}

Quando ns aplicamos LATEX nestes pargrafos, produzimos o texto

As fundaes do rigoroso estudo da anlise foram estabelecidas no scu-
lo XIX, notavelmente pelo matemticos Cauchy e Weierstrass. No centro dos

3
 estudos desses assuntos estavam as definies formais de limite e continuida-
de.
Seja D um subconjunto de R e seja f : D R uma funo real sobre D.
A funo f dita ser contnua em D se, para todo  > 0 e para todo x D,
existir algum > 0 (que pode depender de x) tal que se y D satisfaz
|y x| <
ento
|f (y) f (x)| < .
possvel verificar imediatamente que se f e g so funes contnuas em
f D ento as funes f + g , f g e f.g so contnuas. Adicionalmente, se g
diferente de zero em toda a sua imagem, ento f /g contnua.
Este exemplo ilustra vrias caractersticas de LATEX. Note que as linhas
\documentclass[a4paper,12pt]{article}
\usepackage[latin1]{inputenc}
\usepackage[brazil]{babel}
\begin{document}
esto localizadas no incio da entrada do arquivo. A elas, segue-se o corpo principal do
texto, seguido pela linha de concluso
\end{document}
Note tambm que, apesar de vrios caracteres neste arquivo possurem sua significa-
o comum, existem vrios caracteres, como \, $, { e }, que tem significados especiais
dentro LATEX. Note, em particular, que h seqncias de caracteres que comeam com
uma barra invertida \ que so usadas para produzir smbolos matemticos e letras
gregas e executar tarefas diversas, tais como mudana de fontes.2 Estas sequncias de
caracteres so conhecidas como sequncias de controle.

1.3 Caracteres e Sequncias de Controle

Ns agora descrevemos em mais detalhes algumas das caractersticas do LATEX apresen-
tadas no exemplo acima.
Muitos caracteres no teclado, tais como letras e nmeros, tm seu significado usual.
Todavia, os caracteres
\ { } $ ^ _ % ~ # &
2
Nota do Tradutor: sobre as barras invertidas: em ingls, backslash, tambm podendo ser traduzida
por contra-barra.

4
so usado com propsitos especiais dentro do LATEX. Assim, a digitao de um destes
caracteres no produzir o caracter correspondente no documento final. claro que
esses caracteres so muito raramente usados em texto comum, e h mtodos de produo
quando eles so requeridos no documento final.
Para editar um documento matemtico, necessrio produzir um considervel nme-
ro de smbolos matemticos. Tambm necessrio ser capaz de mudar fontes. Alm dis-
to, documentos matemticos freqentemente contm vetores de nmeros ou smbolos,
bem como matrizes e outras expresses complicadas. Estas expresses so produzidas
em LATEX usando sequncias de controle. A maioria das sequncias de controle consiste
de uma barra invertida \ seguida por uma sequncia de letras maisculas ou minsculas.
Por exemplo, \alpha, \textit e \sum so sequncias de controle.
No exemplo acima, ns usamos as sequncias de controle\textit e \textbf para
mudar a fonte para itlico e negrito respectivamente. Tambm usamos as sequncias de
controle \to, \in, \delta e \epsilon para produzir os smbolos matemticos
e e as letras gregas e .
H outras variedades de sequncias de controle que consistem de uma nica barra
invertida seguida por um nico caracter que no uma letra. Exemplos de sequncias
destes tipos so \{, \" e \$.
Os caracteres especiais { e } so usados com propsitos de agrupamento. Tudo
aquilo que estiver cercado por estes caracteres tratado como uma unidade simples.
Ns temos aplicado esses caracteres no exemplo acima todas s vezes que nos mudamos
as fontes. Ns veremos outras instncias onde necessrio usar { e } em LATEX para
agrupar palavras e smbolos juntos (e.g., quando ns necessitamos produzir sobrescritos
e subscritos que contenham mais do que um smbolo).
O carter especial $ usado quando um est mudando de texto comum para uma
expresso matemtica e tambm quando retorna para o texto comum. Assim ns usamos
para todo $\epsilon > 0$ e para todo $x \in D$,
para produzir a frase
para todo  > 0 e para todo x D,
no exemplo dado acima. Note tambm que ns usamos \[ e \] no exemplo abaixo pra
marcar a iniciao e a finalizao respectivamente de uma frmula matemtica que est
exibido sob uma linha separada.
Os carteres especiais restantes
^ _ % ~ # &
possuem propsitos especiais dentro do LATEX e sero discutidos mais frente.

5
2 Produzindo Documentos Simples usando LATEX
2.1 Produzindo um arquivo de entrada LATEX
Nesta seo, descreveremos a estrutura de um arquivo de entrada LATEX tpico.
A primeira linha de um arquivo de entrada LATEX deve consistir da seqncia de con-
trole \documentclass. O comando \documentclass recomendado para artigos
matemticos e documentos similares tem a forma
\documentclass[a4paper,12pt]{article}
(Voc no tem que se preocupar agora sobre o que significa este comando quando do
primeiro aprendizado de uso do LATEX: o efeito garantir que o documento final est
corretamente posicionado no tamanho do papel A4, e que o texto est em um tamanho
que facil ler.) H diversos destes comando \documentclass que so apropriados
para cartas ou para livros.
O comando \documentclass pode ser seguido por outros alguns comandos op-
cionais, como o comando \pagestyle. No necessrio preocupar-se com estes
comandos quando do primeiro aprendizado de uso do LATEX.
Depois do comando \documentclass e destes outros comandos opcionais, ns
colocamos o comando
\begin{document}
Este comando ento seguido pelo corpo principal do texto, no formato prescrito
pelas regras do LATEX.
Finalmente, ns concluimos o arquivo entrada com uma linha contendo o comando
\end{document}

2.2 Produzindo Texto Simples usando LATEX

Para produzir um documento simples usando LATEX deve-se criar um arquivo de en-
trada LATEX, com os comandos \documentclass e \begin{document} no co-
meo, como descrito na seo anterior. O arquivo de entrada deve terminar com o
comando \end{document}, e o texto de documento deve estar entre os comandos
\begin{document} e \end{document} na forma descrita a seguir.
Caso pretenda-se simplesmente digitar um texto comum, sem frmulas matemticas
complicadas ou efeitos especiais, tais como mudanas de fontes, ento basta simples-
mente digitar o texto como ele , deixando uma linha em branco entre os pargrafos
consecutivos. No necessrio preocupar-se com a identao de pargrafos: LATEX au-
tomaticamente indentar todos os pargrafos com exceo do primeiro pargrafo de uma

6
nova seo (a no ser que voc adote mecanismos especiais para sobrepor a conveno
adaptada pelo LATEX).
Por exemplo, suponha que ns desejamos criar um documento contendo os seguintes
pargrafos:

Caso pretenda-se simplesmente digitar em texto comum, sem frmulas ma-

temticas complicadas ou efeitos especiais, tais como mudanas de fontes,
ento basta simplesmente digitar o texto como ele , deixando uma linha em
branco entre os pargrafos consecutivos.
No necessrio preocupar-se com a identao de pargrafos: todos os
pargrafos sero automaticamente indentados com exceo do primeiro par-
grafo de uma nova seo. necessrio tomar cuidado para distinguir entre a
aspa simples esquerda e a aspa simples direita no terminal do computa-
dor. Tambm, deve-se usar duas aspas simples em seqncia para obter-se
aspas duplas. Nunca deve ser usada a tecla de aspas do computador, pois
no seria possvel distinguir entre aspas direitas e aspas esquerdas. Tam-
bm deve-se tomar cuidado com hfens: um nico hfen usado para hife-
nizao, enquanto que trs hfens em seqncia so requeridos para produzir
um travesso como o usado nesta sentena.

Para criar este documento usando LATEX ns usamos o seguinte arquivo de entrada:

\documentclass[a4paper,12pt]{article}
\begin{document}
Caso pretenda-se simplesmente digitar em texto
comum, sem frmulas matemticas complicadas ou
efeitos especiais, tais como mudanas de fontes,
ento basta simplesmente digitar o texto como ele ,
deixando uma linha em branco entre os pargrafos
consecutivos.

No necessrio preocupar-se com a identao de

pargrafos: todos os pargrafos sero
automaticamente indentados com exceo do primeiro
pargrafo de uma nova seo. necessrio tomar
cuidado para distinguir entre a aspa simples
esquerda e a aspa simples direita no terminal
do computador. Tambm, deve-se usar duas
aspas simples em seqncia para obter-se
aspas duplas. Nunca deve ser usada a tecla
de aspas do computador, pois no seria possvel

7
 distinguir entre aspas direitas e
aspas esquerdas. Tambm deve-se tomar cuidado
com hfens: um nico hfen usado para hifenizao,
enquanto que trs hfens em seqncia so requeridos
para produzir um travesso --- como o usado nesta
sentena.

\end{document}

Tendo criado o arquivo de entrada, ento deve-se executar o LATEX neste arquivo e
imprimir o arquivo de sada (conhecido como arquivo DVI).

2.3 Espaos em Branco e Quebra de Linha no Arquivo de Entrada

LATEX considera a quebra de linha como um mero espao em branco. O mesmo acontece
com caracteres de tabulao. Alm disto, LATEX considera uma seqncia de espaos em
branco como um nico espao em branco. Similarmente, ele ignora todos os espaos
em branco no incio e no final de uma linha no arquivo de entrada. Assim, por exemplo,
se ns digitarmos

Este
um
exemplo
bobo de um
arquivo com muitos espaos.

Este o incio
de um novo pargrafo.

ento obtemos
Este um exemplo bobo de um arquivo com muitos espaos.
Este o incio de um novo pargrafo.
Segue imediatamente deste fato, que se obtm o mesmo resultado digitando-se um
ou dois espaos aps o ponto final: LATEX no distingue entre os dois casos.
Alm disto, qualquer espao seguindo uma sequncia de controle ser ignorado pe-
lo LATEX. Caso voc realmente precise de um espao em branco no documento final
aps qualquer coisa produzida pela seqncia de controle, ento voc deve preceder este
espao em branco por uma barra invertida \. Assim, para se obter a sentena

8
 LATEX um poderoso programa de composio no computador.

ns podemos digitar

\LaTeX\ um poderoso programa de composio

no computador.

Aqui a sequncia de controle\LaTeX usada para produzir o logotipo do LATEX.

Em geral, precedendo-se um espao em branco por uma barra invertida, o LATEX
incluir este espao em branco no documento final.
Como uma regra geral, voc nunca deve colocar um espao em branco aps um
parntese esquerda ou antes de um parntese direita. Se voc colocar um espao
em branco nestes lugares, ento voc corre o risco do LATEX iniciar uma nova linha
imediatamente depois do parntese esquerda ou antes do parntese direita, deixando
os parnteses abandonados no incio ou fim de uma linha.

2.4 Aspas, Hfens e Travesses

As aspas simples so produzidas em LATEX usando e . As aspas duplas so produzidos
digitando-se e . (A tecla de aspas duplas " produz o lado direito das aspas: ela
nunca deve ser usada onde aspas esquerda so requeridas.
LATEX permite voc produzir travesses de vrios comprimentos, conhecidos como:
hfens, travesso-n e travesso-m.3 . Hfens so obtidos em LATEX digitando-se -,
travesso-n digitando-se -- e travesso-m digitando-se ---.
Normalmente usa-se travesso-n quando especifica-se uma limitao de nmeros.
Assim por exemplo, para especificar um limite de nmeros de pginas, poderia se digitar
nas pginas 155--219.
Os travesses usados para pontuao so frequentemente editados como travesses-
m, especialmente em livros antigos. Estes so obtidos pela digitao de ---.
O dilogo
Voc estava um pouco srio, disse Alice.
Bem justamente eu entava imaginando uma nova maneira de passar por
cima de um porto voc gostaria de ouvir isto?"
Muito na verdade, disse Alice educadamente.
Eu contarei a voc como eu vim pensar nisto, disse o cavaleiro. Bom,
eu disse para mim mesmo: A nica dificuldade com os ps: a cabea j
alta o suficiente. Ento, primeiro eu coloco minha cabea sobre o topo
3
Em ingls: n-dash e m-dash - referem-se aos travesses de tamanho simples e duplo, respectiva-
mente.

9
 do porto ento a cabea est alta o suficiente ento eu posiciono-me
sobre minha cabea ento os ps esto altos o suficiente, como voc pode
perceber eu estou acima do muro, como voc pode ver.
(extrado de Alice Atrs do Espelho, por Lewis Carroll) ilustra o uso de aspas e traves-
ses. obtido no LATEX pela seguinte entrada:
Voc \emph{estava} um pouco srio, disse Alice.

Bem justamente eu entava imaginando uma nova

maneira de passar por cima de um porto --- voc
gostaria de ouvir isto?"

Muito na verdade, disse Alice educadamente.

Eu contarei a voc como eu vim pensar nisto,

disse o cavaleiro. Bom, eu disse para mim mesmo:
A nica dificuldade com os ps: a \emph{cabea}
j alta o suficiente. Ento, primeiro eu coloco
minha cabea sobre o topo do porto --- assim a cabea
est alta o suficiente --- ento eu posiciono-me
sobre minha cabea --- desta forma os ps esto
altos o suficiente, como voc pode perceber ---
eu estou acima do muro, como voc pode ver.
Algumas vezes voc precisa de uma aspa simples seguida imediatamente de uma
aspa dupla, ou vice-versa, como em:
Eu considero a composio no computador como sendo razoavelmente
simples de ele disse.
A maneira de editar isto exatamente em LATEX usar a sequncia controle \, entre
os diferentes tipos de aspas, como forma de obter a soma necessria de espao para
separao.O exemplo anterior produzido com a entrada
Eu considero composio no computador como sendo
razoavelmente simples\, ele disse.

2.5 Ttulos de Sees em LATEX

Ttulos de diferentes nveis so produzidos usando-se seqncias de controle apropri-
adas: \section, \subsection e \subsubsection (no estilo article de docu-
mento). LATEX numera as sees e subsees automaticamente. O ttulo da seo deve

10
ser cercada por chaves { } e colocado imediatamente aps os comandos utilizado. As-
sim se ns digitamos

\section{Ttulos de Sees}

Ns explicamos nesta seo como obter ttulo

para vrias sees e subsees de nossos
documentos.

\subsection{Cabealhos no Estilo de Documento

article}

No estilo artigo, o documento pode ser dividido

em sees, subsees e subsubsees, e a cada uma
pode ser dada um ttulo, impresso em negrito,
bastando usar o comando apropriado.

ento o ttulo da seo e da subseo ser impresso em um fonte negrito de maior tama-
nho e ser numerada de acordo.
Outros estilos de documento (tais como: o book e letter) possuem outros comandos
de seo (por exemplo, o estilo book tem um comando \chapter para incio de um
novo captulo).
s vezes necessrio suprimir a numerao automtica provida pelo LATEX. Isto pode
ser feito pela colocao de um asterisco antes do ttulo da seo ou subseo. Assim, por
exemplo, os nmeros de sees no exemplo anterior poderiam ser suprimidos digitando-
se

\section*{Ttulos de Sees}

Ns explicamos nesta seo como obter ttulo

para vrias sees e subsees de nossos
documentos.

\subsection*{Cabealhos no Estilo de Documento

article}

No artigo estilo, o documento pode ser dividido

em sees, subsees e subsubsees, e a cada uma
pode ser dada um ttulo, impresso em negrito,
bastando usar o comando apropriado.

11
2.6 Mudando Fontes no Modo Texto
LATEX tem numerosos comandos para mudana do tipo de letra. O mais til desses
\emph{texto} que enfatiza alguma parte do texto, geralmente itlizando-o (a menos
que o texto no qual a parte enfatizada se encontra j esteja italizado). Assim, por exem-
plo, o texto
Os resultados bsicos e tcnicos de Clculo foram descobertos e desen-
volvidos por Newton e Leibniz. No entanto muito das idias bsicas podem
ser traadas antecipadamente nos trabalhos de Cavalieri,Fermat, Barrow e
outros.
obtido digitando-se
Os resultados bsicos e tcnicos de \emph{Clculo}
foram descobertos e desenvolvidos por \emph{Newton}
e \emph{Leibniz}. No entanto muito das idias
bsicas podem ser traadas antecipadamente nos
trabalhos de \emph{Cavalieri}, \emph{Fermat},
\emph{Barrow} e outros.
Outro comando de mudana de fonte til \textbf{text}, que edita a poro
especificada do texto em negrito.
Uma famlia de fontes em LATEX consiste de uma coleo de fontes relacionadas ca-
racterizada por tamanho, forma e sries. As famlias de fontes disponveis em LATEX
incluem romana, sans serif and typewriter:

Romana normalmente a fonte padro e inclui verses em vertical, itlico, deita-

do 4 MAISCULAS PEQUENAS5 e negrito em tamanhos variados.
H uma fonte sem serifas em versesem vertical, deitada e negrito em
tamanhos variados.
H uma fonte monoespaada com verses em vertical,
itlico, deitado e M A I S C U L A S P E Q U E N A S em tamanhos
variados.

Os tamanhos de fontes usadas em LATEX podem serem determinado e mudados por

meio de seqncias de controle \tiny, \scriptsize, \footnotesize, \small,
\normalsize, \large, \Large, \LARGE, \huge e \HUGE:

4
Nota do tradutor em ingls, slanted.
5
Nota do Tradutor: em ingls, small caps.

12
 Este texto tiny.

Este texto scriptsize.

Este texto footnotesize.
Este texto small.
Este texto normalsize.
Este texto large.
Este texto Large.
Este texto LARGE.
Este texto huge.
Este texto Huge.
A forma de uma fonte pode ser vertical, itlica, deitada ou MAISCULAS PEQUE -
NAS :

O comando do LaTeX \textup{text} edita o texto especificado com uma forma

vertical ou ereta: esta normalmente a forma padro.
O comando LaTeX \textit{text} edita o texto especificado com uma forma
itlica.
O comando LaTeX \textsl{text} edita o texto especificado com uma forma
deitada: texto deitado similar ao itlico.
O COMANDO L AT E X \textsc{text} EDITA O TEXTO ESPECIFICADO EM UMA
FORMA DE LETRAS MAISCULAS , EM QUE AS LETRAS REALMENTE MAISCU -
LAS SO EDITADAS EM TAMANHO MAIOR QUE AS LETRAS MINSCULAS ).

As sries de uma fonte podem ser mdia (o padro) ou negrita:

O comando LaTeX \textmd{texto} edita o texto especificado com fontes mdi-
as.
O comando LaTeX \textbf{text} edita o texto especificado com fontes ne-
gritas.

Se as fontes necessrias esto disponveis, pode-se combinar para mudar o tamanho,

a forma e srie de uma fonte, por exemplo produzindo texto deitado e em negrito digi-
tando

13
 \textbf{\textsl{texto deitado e em negrito}}.

H no LATEX declaraes correspondentes aos comandos de mudana de fonte descri-

tas acima. Quando includas no LATEX a entrada de muitas declaraes determina o estilo
padro do texto posterior (at prxima declarao de fonte ou o fim do corrente grupo
delimitado por uma chave ou por comando \begin e \end apropriados. Segue uma
lista de comandos de mudana-fontes e declaraes no modo texto:

Comando Declarao
\textrm \rmfamily famlia romana
\textsf \sffamily famlia sem serifa
\texttt \ttfamily famlia monoespaada
\textup \upshape forma vertical
\textit \itshape forma itlica
\textsl \slshape forma deitada
\textsc \scshape FORMA MAISCULAS PEQUENAS
\textmd \mdseries srie mdio
\textbf \bfseries srie negrita

2.7 Acentos Usados no Texto

H uma variedade de seqncias de controle para produzir acentos. Por exemplo, a
sequncia\{o} produz um acento agudo na letra o. Assim digitando

Se\{a}n \{O} Cinn\{e}ide.

produz-se

Sen Cinnide.

Similarmente ns usamos a sequncia de controle \ para produzir o acento grave

em algbre e a seqncia \" produzir o trema em Universitt. Os acentos proporci-
onados pelo LATEX incluem os sequintes:

14
 \{e} e.g., math\{e}matique produz mathmatique
\{e} e.g., alg\{e}bre produz algbre
\^{e} e.g., h\^{o}te produz hte
\"{o} e.g., H\"{o}lder produz Hlder
\~{n} e.g., ma\~{n}ana produz maana
\={o} o
\.{o} o
\u{o} o
\v{c}
c e.g., \v{C}ech produz Cech
\H{o} o
\t{oo} oo
\c{c} e.g., gar\c{c}on produz garon
\d{o} o.
\b{o} o

Estes acentos so para serem usados em textos comuns. Eles no podem ser usados den-
tro de frmulas matemticas, visto que, neste caso, so utilizadas diferentes sequncias
de controle para produzir acentos.
A seqncia de controle {\i} e {\j} produz i e j sem pontos. Estes so reque-
rido quando necessita-se de um acento sobre a letra Assim produzido digitando-se
\{\i}.6

2.8 Caracteres e Smbolos Especiais no Texto

Os caracteres especiais
# $ % & \ ^ _ { } ~
possuem propsitos especiais dentro do LATEX. Assim eles no podem ser produzido no
documento final simplesmente pela digitao deles diretamente. Na rara ocasio que
voc necessitar usar os caracteres especiais
#$%&_{}

6
Nota do Tradutor: para facilitar a digitao de textos LATEX em lnguas que fazem excessivo uso
de acentos (como a lngua portuguesa, por exemplo), possvel lanar mo de recursos mais simples.
Por exemplo colocando as seguintes linhas aps a seqencia de controle \documentclass e antes
da seqncia \begin{document}
\usepackage[brazil]{babel}
\usepackage[latin1]{inputenc}
garante hifenizao automtica em portugus e faz com que o LATEX aceite textos usando acentuao
direta.

15
no documento final, eles podem ser produzido pela digitao das sequncias de controle
\# \$ \% \& \_ \{ \}
respectivamente. Entretanto os caracteres \, ^ e ~ no podem ser produzido simples-
mente precedendo-lhes com uma barra invertida. Eles podem entretanto ser produzidos
usando-se \char92 (na fonte \texttt somente) \char94 and \char126 respec-
tivamente (Os nmeros decimais 92, 94 e 126 so os cdigos ASCII desses caracteres).7
Outros smbolos especiais podem ser introduzido dentro do texto usando a seqncia de
controle apropriada:

Smbolo Seqncia de Controle

, \oe, \OE
, \ae, \AE
, \aa, \AA
, \o, \O
, {\l}, {\L}
\ss
?
!
\dag
\ddag
\S
\P
c \copyright
\pound
{\i}
 {\j}

3 Produzindo Frmulas Matemticas usando LATEX

3.1 Modo Matemtico
Para obter uma frmula matemtica usando LATEX, deve-se entrar no modo matemtico,
antes da frmula, e deix-lo mais tarde. Frmulas Matemticas pode ocorrer inseridas
no texto comum, ou tambm isolada entre linhas de texto. Quando ocorre dentro do
texto de um pargrafo, deve-se colocar um sinal $ antes e depois a frmula, para entrar
e abandonar o modo matemtico. Assim, para obter-se a sentena:
7
Esses caracteres tambm podem ser gerados pelas seqncias de controle \textbackslash,
\textasciicircum e \textasciitilde, respectivamente.

16
 Seja f a funo definida por f (x) = 3x + 7, e seja a um nmero positivo
real.
deve-se digitar
Seja $f$ a funo definida por
$f(x) = 3x + 7$, e seja $a$ um nmero
positivo real.
Em particular, note que mesmo as expresses matemtica consistindo de um nico ca-
racter, como f e a no exemplo anterior, so colocados dentro de sinais $. Isto assegurar
que eles so compostos em tipo itlico, como de costume em editorao matemtica.
LATEX tambm permite usar \( e \) para marcar o incio e o fim, respectivamente,
de frmula matemtica embutida no texto. Assim, a sentena
Seja f a funo definida por f (x) = 3x + 7.
pode ser produzida digitando-se
Seja \( f \) a funo definida por
\( f(x) = 3x + 7 \).
Entretanto, o uso de \( ... \) permitido somente em LATEX: outros dialetos de TEX,
tais como Plain-TEX e AMSTEX usam somente $ ... $.
Para obter uma frmula matemtica ou equao que mostrada em uma linha sepa-
rada, deve-se colocar \[ antes e \] aps a frmula. Assim para obter a setena
Se f (x) = 3x + 7 e g(x) = x + 4, ento
f (x) + g(x) = 4x + 11
e
f (x)g(x) = 3x2 + 19x + 28
deve-se digitar
Se $f(x) = 3x + 7$ e $g(x) = x + 4$, ento
\[ f(x) + g(x) = 4x + 11 \]
e
\[ f(x)g(x) = 3x^2 + 19x +28 \]
Observe que o caracter ^ usado para obter um sobrescrito.
LATEX proporciona facilidades para a numerao automtica de equaes. Se voc
pretende que uma dada equao seja numerada, ento deve usar as seqncias de con-
trole \begin{equation} e \end{equation} ao invs de usar \[ e \]. Assim:

17
 Se $f(x) = 3x + 7$ e $g(x) = x + 4$ ento
\begin{equation}
f(x) + g(x) = 4x + 11
\end{equation}
e
\begin{equation}
f(x)g(x) = 3x^2 + 19x +28.
\end{equation}

produz:

Se f (x) = 3x + 7 e g(x) = x + 4 ento

f (x) + g(x) = 4x + 11 (1)

e
f (x)g(x) = 3x2 + 19x + 28. (2)

3.2 Caracteres em Modo Matemtico

Todos os caracteres no teclado tm seu significado padro no modo matemtico, com a
exceo de caracteres

# $ % & ~ _ ^ \ { }

Letras so compostas em tipo itlico. No modo matemtico o caracter tm um

significado especial: digitando $u + v$ produz-se u0 + v 00 . Alm disso, o espao
que voc digita entre as letras e outros smbolos no afeta o espaamento do resultado
final, assim LATEX determina o espaamento de caracteres em frmula por suas prprias
regras internas. Assim tanto $u v + w = x$, como $uv+w=x$, produzem uv +
w = x. Voc pode tambm digitar quebra de linhas onde necessrio em seu arquivo de
entrada (exemplo: se vocs esto digitando frmulas complicadas com muitos caracteres
grego e smbolos estranhos) no ter efeito no resultado final se voc estiver em modo
matemtico.
Para obter os caracteres

# $ % & _ { }

no modo matemtico, deve-se digitar

\# \$ \% \& \_ \{ \} .
Para obter \ no modo matemtico, pode-se digitar \backslash.

18
3.3 Sobresescrito e Subscrito
Subscrito e subreescrito so obtido usando os caracteres especiais _ e ^ respectivamente.
Assim a identidade

ds2 = dx21 + dx22 + dx23 c2 dt2

obtida pela digitao de
\[ ds^2 = dx_1^2 + dx_2^2 + dx_3^2 - c^2 dt^2 \]
Podendo tambm ser obtido pela digitao de
\[ ds^2 = dx^2_1 + dx^2_2 + dx^2_3 - c^2 dt^2 \]
isto porque quando um sobreescrito para parecer acima de um subscrito, irrelevante
se o sobreescrito ou subscrito o primeiro a ser especificado.
Onde mais do que um caracter ocorre em um sobreescrito ou subscrito, os caracteres
envolvidos devem ser agrupados em chaves. Por exemplo, o polinmio x17 1 obtido
digitando-se $x^{17} - 1$.
No possvel digitar expresses tais como $s^n^j$, visto que isto ambguo e
j
poderia ser interpretado um ou outro como snj ou como sn . A primeira destas alternati-
vas obtida pela digitao de $s^{n j}$, a segunda pela digitao de $s^{n^j}$.
Comentrio semelhante aplica-se a subscritos. Note, desta maneira, pode-se obter sobre-
escrito duplo (onde um sobreescrito colocado em um sobreescrito) e subscrito duplo.
s vezes necessrio obter expresses em que o sequenciamento horizontal do subs-
crito significante. Pode-se, ento, usar em agrupamento vazio {} para separar sobre-
escrito e subscritos que podem seguir um outro. Por exemplo, a identidade

Ri j kl = g jm Rimkl = g jm Rmikl = Rj ikl

pode ser obtido digitando-se

\[ R_i{}^j{}_{kl} = g^{jm} R_{imkl}

= - g^{jm} R_{mikl} = - R^j{}_{ikl} \]

3.4 Caracteres Gregos

As letras gregas so produzida no modo matemtico precedendo-se a nome da letra por
uma barra envertida \. Assim, para obter a frmula A = r2 , digita-se A = \pi r^2.
Seguem as sequncias de formas padres de letras gregas minsculas:

19
 \alpha \iota \rho
\beta \kappa \sigma
\gamma \lambda \tau
\delta \mu \upsilon
 \epsilon \nu \phi
\zeta \xi \chi
\eta o o \psi
\theta \pi \omega
No h comando especial para omicron: apenas use o.
Algumas letras grega ocorrem em formas variantes. As formas variantes so obtidas
precedendo-se o nome de letra grega por var. A tabela seguinte lista as formas usuais
e variantes destas letras:

 \epsilon \varepsilon
\theta \vartheta
\pi $ \varpi
\rho % \varrho
\sigma \varsigma
\phi \varphi
As letras gregas maisculas so obtidas fazendo o primeiro caracter do nome mais-
culo. Aqui esto a seqncia de controle para as letras maisculas:

\Gamma \Xi \Phi

\Delta \Pi \Psi
\Theta \Sigma \Omega
\Lambda \Upsilon

3.5 Smbolos Matemticos

Existem inmeros smbolos matemticos que podem ser usado em modo matemtico.
Estes smbolos so obtido por digitao da seqncia de controle apropriada.

20
Smbolos variados:

\aleph 0 \prime \forall

h
\hbar \emptyset \exists
\imath
\nabla \neg
\jmath \surd [ \flat
` \ell > \top \ \natural
\wp \bot ] \sharp
< \Re k \| \clubsuit
= \Im 6 \angle \diamondsuit
\partial 4 \triangle \heartsuit
\infty \ \backslash \spadesuit

Grandes Operadores:

X \ K
Y
\sum [
\bigcap O
\bigodot
a
\prod G
\bigcup M
\bigotimes
Z
\coprod \bigsqcup \bigoplus
_ ]
\int \bigvee \biguplus
I ^
\oint \bigwedge

Operaes Binrias:

\pm \cap \vee

\mp \cup \wedge
\ \setminus ] \uplus \oplus
\cdot u \sqcap \ominus
\times t \sqcup \otimes
\ast / \triangleleft  \oslash
? \star . \triangleright  \odot
 \diamond o \wr \dagger
\circ \bigcirc \ddagger
\bullet 4 \bigtriangleup q \amalg
\div 5 \bigtriangledown

21
Relaes:

\leq \geq \equiv

\prec  \succ \sim
 \preceq  \succeq ' \simeq
 \ll  \gg  \asymp
\subset \supset \approx
\subseteq \supseteq
= \cong
v \sqsubseteq w \sqsupseteq ./ \bowtie
\in 3 \ni \propto
` \vdash a \dashv |= \models
.
^ \smile | \mid = \doteq
_ \frown k \parallel \perp

Relaes Negativas:

6< \not< 6> \not> 6= \not=

6 \not\leq 6 \not\geq 6 \not\equiv
6 \not\prec 6 \not\succ 6 \not\sim
6 \not\preceq 6 \not\succeq 6' \not\simeq
6 \not\subset 6 \not\supset 6 \not\approx
6 \not\subseteq 6 \not\supseteq
6= \not\cong
6v \not\sqsubseteq 6w \not\sqsupseteq 6 \not\asymp

Setas:

\leftarrow \rightarrow
\longleftarrow \longrightarrow
\Leftarrow \Rightarrow
= \Longleftarrow = \Longrightarrow
\leftrightarrow \Leftrightarrow
\longleftrightarrow \Longleftrightarrow
- \hookleftarrow , \hookrightarrow
( \leftharpoonup * \rightharpoonup
) \leftharpoondown + \rightharpoondown
\uparrow \downarrow
\Uparrow \Downarrow
l \updownarrow m \Updownarrow
% \nearrow - \nwarrow
& \searrow . \swarrow
7 \mapsto 7 \longmapsto
*
) \rightleftharpoons

22
 Delimitadores Esquerdos:

[ \lbrack b \lfloor d \lceil

{ \lbrace h \langle

Delimitadores Direitos:

] \rbrack c \rfloor e \rceil

} \rbrace i \rangle

Nomes Alternativos:

6= \ne or \neq (o mesmo que \not=)

\le (o mesmo que \leq)
\ge (o mesmo que \geq)
{ \{ (o mesmo que \lbrace)
} \} (o mesmo que \lbrace)
\to (o mesmo que \rightarrow)
\gets (o mesmo que \leftarrow)
3 \owns (o mesmo que \ni)
\land (o mesmo que \wedge)
\lor (o mesmo que \vee)
\lnot (o mesmo que \neg)
| \vert (o mesmo que |)
k \Vert (o mesmo que \|)
\iff (o mesmo que \Longleftrightarrow, mas
com espao extra nas extremidades)
: \colon (o mesmo que :, mas com menos espao ao redor
e com menos probabilidade de uma linha ser
quebrada antes dele)

3.6 Mudando Fontes no Modo Matemtico

(O que se segue, nesta subseo, aplica-se apenas ao LATEX 2 , uma verso recente de
LATEX. No se aplica a verses anteriores de LATEX).
A fonte itlica matemtica usada automaticamente em modo matemtico a menos
que voc mude explicitamente a fonte. As regras para mudana de fonte em mode-
lo matemticos so bastante diferente do que as usadas para edio de texto comum.

23
No modo matemtico, algumas mudanas somente aplicam-se a um nico caracter ou
smbolo que segue (ou para qualquer texto includo dentro de chaves seguindo imediata-
mente a sequncia de controle). Ainda, para mudar um caracter para romano ou negrito,
devem ser usadas as seqncias de controle \mathrm e \mathbf (e no \textrm e
\textbf).
O exemplo a seguir mostra o uso do negrito em frmulas matemticas. Para obter

Sejam u,v e w trs vetores em R3 . O volume V do paraleleppedo com

vrtices nos pontos 0, u, v, w, u + v, u + w, v + w e u + v + w dada
pela frmula
V = (u v) w.

deve-se digitar
Sejam $\mathbf{u}$,$\mathbf{v}$ e $\mathbf{w}$
trs vetores em ${\mathbf R}^3$. O volume $V$
do paraleleppedo com vrtices nos pontos
$\mathbf{0}$, $\mathbf{u}$, $\mathbf{v}$,
$\mathbf{w}$, $\mathbf{u}+\mathbf{v}$,
$\mathbf{u}+\mathbf{w}$, $\mathbf{v}+\mathbf{w}$
e $\mathbf{u}+\mathbf{v}+\mathbf{w}$
dada pela frmula
\[ V = (\mathbf{u} \times \mathbf{v})
\cdot \mathbf{w}.\]
H tambm uma fonte caligrfica disponvel no modo matemtico. Ela obtido
usando a sequncia de controle \cal, e s pode ser usada para letras maisculas.
Estas letras caligrficas tm a forma

ABCDEFGHIJ KLMN OPQRST UVWX YZ.

3.7 Funes Padro (sin, cos etc.)

Os nomes de certas funes padro e abreviaes so obtidas pela digitao de uma
barra invertida \ antes do nome. Por exemplo, pode-se obter

cos( + ) = cos cos sin sin

pela digitao de
\[ \cos(\theta + \phi) = \cos \theta \cos \phi
- \sin \theta \sin \phi \]

24
 Seguem as funes padro que so representadas por seqncias de controle definidas
em LATEX:
\arccos \cos \csc \exp \ker \limsup \min \sinh
\arcsin \cosh \deg \gcd \lg \ln \Pr \sup
\arctan \cot \det \hom \lim \log \sec \tan
\arg \coth \dim \inf \liminf \max \sin \tanh
O nome das funes e outras abreviaes ausentes desta lista pode ser obtido pela
converso para a fonte romana. Assim, a expresso cosecA pode ser obtida digitando-
se $\mathrm{cosec} A$. Note que, se simplesmente escrevesse-se $cosec A$,
obteria-se cosecA, porque LATEX consideraria cosec A como o produto de 6 quantida-
des c, o, s, e, c e A e edita a frmula dessa maneira.

3.8 Texto Embutido em Equaes

Texto comum pode ser embutido em equaes (em LATEX) pela utilizao do comando
\mbox{texto inserido}. Por exemplo, obtm-se

M = {f V 0 : f (m) = 0 para todo m M }.

digitando-se
\[ M^\bot = \{ f \in V : f(m) = 0
\mbox{ para todo } m \in M \}.\]
Note o espao em branco antes e depois das palavras para todo no exemplo acima.
Caso tivssemos digitado
\[ M^\bot = \{ f \in V : f(m) = 0
\mbox{para todo} m \in M \}.\]
teramos obtido
M = {f V 0 : f (m) = 0para todom M }.
Observao: Em Plain-TEX usa-se \hbox no lugar de \mbox.

3.9 Fraes e Razes

Fraes na forma
numerador
denominador
so obtidas em LATEX usando a construo

25
 \frac{numerador}{denominador}.
Por exemplo, para obter
A funo f dada por
x7
f (x) = 2x +
x2 + 4
para todos reais x.
digita-se
A funo $f$ dada por
\[ f(x) = 2x + \frac{x - 7}{x^2 + 4}\]
para todos reais $x$.
Para obter razes quadradas usa-se a sequncia de controle
\sqrt{expresso}.
Por exemplo, para obter
As razes de um polinnio quadrtico ax2 + bx + c com a 6= 0 so dadas
pela frmula
b b2 4ac
2a
digita-se
As razes de uma polinnio quadrtico
$a x^2 + bx + c$ com $a \neq 0$ so dadas
pela frmula
\[ \frac{-b \pm \sqrt{b^2 - 4ac}}{2a} \]
Em LATEX, uma raz n-sima produzida usando
\sqrt[n]{expresso}.
Por exemplo, para obter
As razes de uma forma de polinnio cbico x3 3px 2q so dadas pela
frmula r q r q
3 3
q + q p + q q 2 p3
2 3

onde os valores de duas razes cbicas devem ser escolhidas de forma a ga-
rantir que seu produto igual a p.

26
 em LATEX, digita-se

As razes de um forma de polinnio cbico

$x^3 - 3px - 2q$ so dadas pela frmula
\[ \sqrt[3]{q + \sqrt{ q^2 - p^3 }}
+ \sqrt[3]{q - \sqrt{ q^2 - p^3 }} \]
onde os valores de duas razes cbicas
devem ser escolhidas de forma a garantir
que seu produto igual a $p$.

3.10 Reticncias
Reticncias so produzidas em modo matemtico usando as seqncias de controle
\ldots (com os pontos alinhados com a linha de base de texto) e \cdots (com os
pontos alinhados com a linha central da frmula matemtica). Assim a frmula

f (x1 , x2 , . . . , xn ) = x21 + x22 + + x2n

obtida pela digitao de

\[ f(x_1, x_2,\ldots, x_n) = x_1^2 + x_2^2

+ \cdots + x_n^2 \]

Semelhantemente a frmula
1 xn+1
= 1 + x + x2 + + xn
1x
produzida usando \cdots, pela digitao de

\[ \frac{1 - x^{n+1}}{1 - x} = 1 + x + x^2

+ \cdots + x^n \]

3.11 Acentos no Modo Matemtico

Existem vrias sequncias de controle para produo de sublinhado e vrios acentos em
modo matemticos. A tabela a seguir lista estas sequncias de controle, aplicando-os
para a letra a:

27
 a \underline{a}
a \overline{a}
a
\hat{a}
a
\check{a}
a
\tilde{a}
a
\acute{a}
a
` \grave{a}
a \dot{a}
a
\ddot{a}
a
\breve{a}
a
\bar{a}
~a \vec{a}
Deve-se ter em mente que quando um caracter sublinhado em um manuscrito, ento
ele normalmente editado em negrito (ou itlico ou deitado), sem nenhum sublinhado.
Sublinhado usado muito raramente em impresso.
As sequncias de controle tais como \ e \", usado para produzir acentos em texto
comum, no podem ser usadas em modo matemticos.

3.12 Parnteses e Normas

Os delimitadores esquerdos freqentemente usados incluem (, [ e {, que so obtido pela
digitao de (, [ e \{, respectivamente. Os delimitadores direitos correspondentes so
obtidos pela digitao de ), ] and \}. Em acrscimo, | e k so usados ambos como
delimitadores esquerdo e direito, e so obtido pela digitao de | e \| respectivamente.
Por exemplo, ns obtemos
Seja X um espao de Banach e seja f : B R uma funo linear limitada
em X . A norma de f , denotada por kf k, definida por
kf k = inf{K [0, +) : |f (x)| Kkxk para todo x X}.
pela digitao de
Seja $X$ um espao de Banach e seja
$f \colon B \to \textbf{R}$
uma funo linear limitada em $X$.
A \textit{norma} de
$f$, denotada por $\|f\|$, definida por
\[ \|f\| = \inf \{ K \in [0,+\infty) :
|f(x)| \leq K \|x\| \mbox{ para todo }
x \in X \}.\]

28
 Grandes delimitadores so s vezes requeridos, de forma a terem a altura apropriada
para combinar o tamanho da subfrmula que eles englobam. Considere, por exemplo, o
problema de editar a seguinte frmula:
7x + 5
!
2
f (x, y, z) = 3y z 3 +
1 + y2
A maneira de editar a largura dos parnteses digitar \left( para os parnteses
esquerda e \right) para os parnteses direita e deixar LATEX fazer o resto do trabalho.
Assim a frmula anterior era obtida pela digitao de

\[ f(x,y,z) = 3y^2 z \left( 3 +

\frac{7x+5}{1 + y^2} \right)\]

Se voc digitar um delimitador que precedido pelo \left ento LATEX procurar
por um delimitador correspondente precedido por \right e calcular o tamanho dos
delimitadores requerido junto a subfrmula intermediria. Note que permitido balan-
cear \left( com um \right]: no necessrio que os delimitadores tenha a mesma
forma. possvel aninhar pares de delimitadores um dentro do outro. Pela digitaco de
\[ \left| 4 x^3 + \left( x +
\frac{42}{1+x^4} \right) \right|\]
ns obtemos
42 
 !

3
4x + x+

1 + x4 



Digitando-se \left. e \right. obtm-se delimitadores nulos que so completa-

mente invisveis. Considere, por exemplo, o problema de editar
du 


dx x=0
Ns desejamos fazer a barra vertical suficientemente grande para combinar com o deri-
vativo anterior. Para fazer isto, ns supomos que o derivativo englobado por delimi-
tadores, onde o delimitador esquerda invisvel e o delimitador direita produzido
usando \left.. Assim a frmula toda produzida digitando-se:

\[ \left. \frac{du}{dx} \right|_{x=0}\]

3.13 Frmula Multilinha em LATEX

Considere o problema de editorao da frmula

29
 cos 2 = cos2 sin2
= 2 cos2 1.
necessrio assegurar que o sinais = so alinhados um com o outro. Em LATEX, uma
frmula assim editada usando o ambiente eqnarray*. O exemplo anterior foi obtido
pela digitao das linhas
\begin{eqnarray*}
\cos 2\theta & = & \cos^2 \theta - \sin^2 \theta \\
& = & 2 \cos^2 \theta - 1.
\end{eqnarray*}
Note o uso de caracter especial & como um alinhador. Quando a frmula editada,
a parte da segunda linha da frmula comea com uma ocorrncia de & ser colocada
imediatamente alinhada com a parte da primeira linha da frmula que comea com a
correspondente ocorrncia de &. Alm disto, \\ usado para separar as linhas da fr-
mula.
Embora ns tenhamos colocado cada correspondente & abaixo um do outro no exem-
plo acima, no necessrio fazer isto no arquivo de entrada. Isto foi feito no exemplo
anterior simplesmente para uma melhor aparncia (e legilibilidade) do arquivo de entra-
da.
O exemplo mais complicado
Se h 21 | z| ento
1
| z h| | z|
2
e portanto
 
1 1   ( z) ( z h) 
   


  =  
 z h z  ( z h)( z) 
 
 

h 
=
 
 
 ( z h)( z) 
 

2|h|
.
| z|2
foi obtido pela digitao de
Se $h \leq \frac{1}{2} |\zeta - z|$ ento
\[ |\zeta - z - h| \geq \frac{1}{2} |\zeta - z|\]

30
 e portanto
\begin{eqnarray*}
\left| \frac{1}{\zeta - z - h} - \frac{1}
{\zeta - z} \right|
& = &
\left| \frac{(\zeta - z) - (\zeta - z - h)}
{(\zeta - z - h)(\zeta - z)}
\right| \\
& = &
\left| \frac{h}{(\zeta - z - h)(\zeta - z)}
\right| \\
& \leq & \frac{2 |h|}{|\zeta - z|^2}.
\end{eqnarray*}
O astersco em eqnarray* colocado para suprimir a numerao automtica pro-
duzido pelo LATEX. Se voc deseja uma numerao automtica de frmula multilinha,
deve-se usar \begin{eqnarray} e \end{eqnarray}.

3.14 Matrizes e Outros Tipos de Vetores em LATEX

Matrizes e outros tipos de vetores so produzidos em LATEX usando o ambiente array.
Por exemplo, suponha que ns desejamos editar o trecho seguinte:

O polinmio caracterstico () da matriz 3 3

a b c
d e f



g h i
dada pela frmula
 

 a b c 
() = d e f  .



g h i 
 


Esta passagem produzida pela seguinte entrada:

O \emph{polinmio caracterstico} $\chi(\lambda)$
da matriz $3 \times 3$
\[ \left( \begin{array}{ccc}
a & b & c \\
d & e & f \\
g & h & i \end{array} \right)\]

31
 dada pela frmula
\[ \chi(\lambda) = \left| \begin{array}{ccc}
\lambda - a & -b & -c \\
-d & \lambda - e & -f \\
-g & -h & \lambda - i \end{array} \right|.\]
Primeiro de tudo, note o uso de \left e \right para produzir delimitadores gran-
des em volta dos vetores. Como j visto, se ns usamos
\left( ... \right)
ento o tamanho dos parnteses selecionado de acordo com a subfrmula que eles
englobam. A prxima observao o uso do caracter &, para separar as entradas (co-
lunas) da matriz, alinhando-as, e o uso de \\ para separar as linhas, exatamente como
na construo da frmula multilinha descrita anteriormente. Ns comeamos o vetor
com \begin{array} e terminamos ele com \end{array}. O nico tema deixa-
do para explicar, portanto, o misterioso {ccc} que ocorre imediatamente depois de
\begin{array}. Cada um dos cs em {ccc} representa uma coluna de matriz e
indica que as entradas da coluna devem ser centralizadas. Se c for substitudo por l,
ento a coluna correspondente seria editada com todas as entradas alinhadas esquerda,
e r produziria uma coluna com todas entradas alinhadas direita. Assim
\[ \begin{array}{lcr}
\mbox{Primeiro nmero} & x & 8 \\
\mbox{Segundo nmero} & y & 15 \\
\mbox{Soma} & x + y & 23 \\
\mbox{Diferena} & x - y & -7 \\
\mbox{Produto} & xy & 120 \end{array}\]
produz
Primeiro nmero x 8
Segundo nmero y 15
Soma x + y 23
Diferena x y 7
Produto xy 120
Ns podemos usar o ambiente de vetor para produzir frmulas tais como
x if x 0;
(
|x| =
x if x < 0.
Note que ambas colunas destes vetores so setados os alinhamentos esquerda. Assim
ns usamos {ll} imediatamente depois de \begin{array}. O colchete grande
produzido usando \left\{. De qualquer modo isto requer um delimitador \right

32
correspondente. Ns portanto usamos o delimitador nulo \right., discutido anterior-
mente. Este delimitador invisvel. Ns podemos portanto obter a frmula acima pela
digitao de
\[ |x| = \left\{ \begin{array}{ll}
x & \mbox{if $x \geq 0$};\\
-x & \mbox{if $x < 0$}.\end{array} \right. \]

3.15 Derivativos, Limites, Somas e Integrais

As expresses
du d2 u
e
dt dx2
so obtidas em LATEX pela digitao de \frac{du}{dt} e \frac{d^2 u}{dx^2},
respectivamente. O smbolo matemtico produzido usando \partial. Assim a
Equao do Calor
u 2 u 2 u 2 u
= 2+ 2+ 2
t x y z
obtido em LATEX pela digitao de
\[\frac{\partial u}{\partial t}
= \frac{\partial^2 u}{\partial x^2}
+ \frac{\partial^2 u}{\partial y^2}
+ \frac{\partial^2 u}{\partial z^2} \]
Para se obter expresses matemtica, tais como
lim , x>s
inf and sup
x+ K

em equaes, digita-se \lim_{x \to +\infty}, \inf_{x > s} e \sup_K res-

pectivamente. Assim para se obter
3x2 + 7
lim = 3.
x0 x2 + 1

em LATEX, ns digitamos
\[ \lim_{x \to 0} \frac{3x^2 +7x^3}{x^2 +5x^4} = 3.\]
Para obter um sinal de somatrio, tal como
2n
X

i=1

33
ns digitamos sum_{i=1}^{2n}. Assim
n 1
k 2 = n(n + 1).
X

k=1 2
obtido pela digitao de
\[ \sum_{k=1}^n k^2 = \frac{1}{2} n (n+1).\]
Ns agora discutimos como obter integrais em documentos matemticos. Uma inte-
gral tpica a seguinte:
Z b
f (x) dx.
a
Isto editado usando
\[ \int_a^b f(x)\,dx.\]
O sinal integral editado usando a sequncia de controle \int, e os limites de inte-
R

grao (neste caso a e b) so tratados como sobreescrito e subscrito no sinal de integral.

Muitas integrais ocorrem em documentos matemticos comeando com um sinal de
integral e contm uma ou mais instncias de d seguido por outra letra (latina ou grega),
como em dx, dy e dt. Para se obter a aparncia correta, pode ser necessrio colocar
espao extra antes do d, usando \,. Assim
Z +
xn ex dx = n!.
0
Z
cos d = sin .
Z Z 2 Z R
f (x, y) dx dy = f (r cos , r sin )r dr d.
x2 +y 2 R 2 =0 r=0
e Z R 2x dx
2
= log(1 + R2 ).
0 1+x
so obtidos pela digitao de
\[ \int_0^{+\infty} x^n e^{-x} \,dx = n!.\]

\[ \int \cos \theta \,d\theta = \sin \theta.\]

\[ \int_{x^2 + y^2 \leq R^2} f(x,y)\,dx\,dy

= \int_{\theta=0}^{2\pi} \int_{r=0}^R
f(r\cos\theta,r\sin\theta) r\,dr\,d\theta.\]

34
 \[ \int_0^R \frac{2x\,dx}{1+x^2} = \log(1+R^2).\]
respectivamente.
Em algumas integrais mltiplas (i.e., integrais contendo mais do que um sinal de
integral), pode ser que o LATEX coloque muito espao entre os sinais de integral. A
maneira de melhorar a aparncia da integral usar a sequncia controle \! para remover
uma pequena faixa de espao indesejvel. Assim, por exemplo, a integral mltipla
Z 1Z 1
x2 y 2 dx dy
0 0

obtido pela digitao de

\[ \int_0^1 \! \int_0^1 x^2 y^2\,dx\,dy\]
Caso ns tivssemos digitado
\[ \int_0^1 \int_0^1 x^2 y^2\,dx\,dy\]
teramos obtido Z 1Z 1
x2 y 2 dx dy
0 0
Um exemplo detalhadamente notvel surge quando estamos editando uma integral
mltipla do tipo ZZ
f (x, y) dx dy
D
Aqui ns usamos \! trs vezes para obter espaamento conveniente entre os sinais de
integral. Ns editamos esta integral usando
\[ \int \!\!\! \int_D f(x,y)\,dx\,dy.\]
Se tivssemos digitado
\[ \int \int_D f(x,y)\,dx\,dy.\]
teramos obtido Z Z
f (x, y) dx dy.
D
O trecho seguinte (razoavelmente complicado) exibe em parte as caractersticas que
ns temos discutido:
Na mecnica de ondas no-relativistica, a funo de onda (r, t) de uma
partcula satisfaz a Equao de Onda de Schrdinger

h2 2 2 2


i
h = + + + V .
t 2m x2 y 2 z 2

35
 costumeiro normalizar a equao de onda pela exigncia que
ZZZ
3 |(r, 0)|2 dx dy dz = 1.
R
Uma simples calculao usando a Equao de onda de Schrdinger mostra
que
d ZZZ 2
3 |(r, t)| dx dy dz = 0,
dt R
e portanto ZZZ
2
3 |(r, t)| dx dy dz = 1
R
para todos os valores de t. Se ns normalizamos a funo da onda desta
maneira. ento, para qualquer subconjunto V de R3 que possa ser medido e
qualquer tempo t, ZZZ
|(r, t)|2 dx dy dz
V
representa a probabilidade que a partcula seja encontrada dentro da regio V
no tempo t.
Isto seria editado em LATEX da seguinte forma
Na mecnica de ondas no-relativistica, a funo
de onda $\psi(\mathbf{r},t)$ de uma partcula
satisfaz a \textit{Equao de Onda de Schr\"{o}dinger}
\[ i\hbar\frac{\partial \psi}{\partial t}
= \frac{-\hbar^2}{2m} \left(
\frac{\partial^2}{\partial x^2}
+ \frac{\partial^2}{\partial y^2}
+ \frac{\partial^2}{\partial z^2}
\right) \psi + V \psi.\]
costumeiro normalizar a equao de onda pela
exigncia que
\[ \int \!\!\! \int \!\!\! \int_{\textbf{R}^3}
\left| \psi(\mathbf{r},0)
\right|^2\,dx\,dy\,dz = 1.\]
Uma simples calculao usando a Equao de onda
de Schr\"{o}dinger mostra que
\[ \frac{d}{dt} \int \!\!\! \int \!\!\!
\int_{\textbf{R}^3}
\left| \psi(\mathbf{r},t)
\right|^2\,dx\,dy\,dz = 0,\]
e portanto

36
 \[ \int \!\!\! \int \!\!\! \int_{\textbf{R}^3}
\left| \psi(\mathbf{r},t)
\right|^2\,dx\,dy\,dz = 1\]
para todos os valores de $t$. Se ns normalizamos
a funo da onda desta maneira, ento, para qualquer
subconjunto $V$ de $\textbf{R}^3$ que possa ser
medido e qualquer tempo $t$,
\[ \int \!\!\! \int \!\!\! \int_V
\left| \psi(\mathbf{r},t)
\right|^2\,dx\,dy\,dz\]
representa a probabilidade que a partcula seja
encontrada dentro da regio $V$ no tempo $t$.

4 Caractersticas Adicionais do LATEX

4.1 Produzindo espao em LATEX
Para produzir espao em branco (horizontal) dentro de um pargrafo, usa-se \hspace,
seguido pela extenso do espao em branco entre chaves. O comprimento desejado deve
ser expresso em uma unidade reconhecida pelo LATEX. As unidades reconhecidas so
dadas na tabela seguinte:
pt pontos (1 in = 72.27 pt)
pc paicas (1 pc = 12 pt)
in polegadas (1 in = 25.4 mm)
bp pontos grandes (1 in = 72 bp)
cm centmetros (1 cm = 10 mm)
mm milmetros
dd didots (1157 dd = 1238 pt)
cc cceros (1 cc = 12 dd)
sp pontos escalados (65536 sp = 1 pt)
Assim, para produzir um espao em branco horizontal de 20 mm no meio de um par-
grafo pode-se digitar \hspace{20 mm}.
Se LATEX decide quebrar entre linhas em um ponto no documento onde um \hspace
especificado, ento no produzido espao em branco. Para assegurar que o espao
em branco produzido mesmo em pontos no documento onde a linha seja quebrada,
substitui-se \hspace por \hspace*
Para produzir espao em branco (vertical) entre pargrafos, usa-se \vspace, segui-
do pelo comprimento do espao em branco dentro de chaves. Assim obtm-se

37
 Este o primeiro pargrafo de algum texto. Ele est separado pelo segun-
do pargrafo por um salto de 10 milmetros.

Este o pargrafo segundo.

digitando-se
Este o primeiro pargrafo de algum texto.
Ele separado do segundo pargrafo por um
salto vertical de 10 milmetros.

\vspace{10 mm}
Este o segundo pargrafo.
Se LATEX decide introduzir uma quebra de pgina em um ponto no documento onde um
\vspace especificado, ento nenhum espao branco ser produzido. Para garantir
que o espao em branco seja produzido at mesmo em pontos no documento onde a
pgina quebrada, ento deve-se substituir \vspace por \vspace*.
Ns agora descreveremos certas caractersticas do LATEX relacionado com espaos em
branco e identao de pargrafos que podem melhorar a aparncia final do documeto. Os
usurios experientes do LATEX podem aperfeioar a aparncia final de seus documentos
mantendo estas observaces em mente.
Primeiro note que, como uma regra geral, voc nunca deve pr um espao em branco
depois de um parntese esquerda ou antes de um parntese direita. Se voc colocar
um espao em branco nestes lugares, ento voc corre o risco de que LATEX possa iniciar
uma nova linha imediatamente depois do parntese esquerda ou antes do parntese
direita, deixando os parnteses abandonados no incio ou no final de uma linha.
LATEX tem suas prprias regras de decises sobre os comprimentos dos espacos em
branco. Por exemplo, LATEX coloca uma quantidade extra de espaco depois de um ponto
final, se ele considera que o ponto final marca o fim de uma sentenca. A regra adotada
pelo LATEX a de considerar um perodo (ponto final) como o final de uma sentenca se
ele for precedido por uma letra minscula. Se o perodo for precedido por uma letra
maiscula, ento LATEX assume que ele no um ponto final mas segue as iniciais do
nome de algum.
Isto funciona muito bem na maioria dos casos. Contudo LATEX eventualmente produz
coisas erradas. Isto acontece com um nmero de abreviaces comuns (como em Mr.
Smith ou em etc.),e, em particular, nos nomes de jornais escritos em forma abreviada
(e.g., Proc. Amer. Math. Soc.). A maneira de vencer este problema colocar uma barra
invertida antes do espao em branco na questo. Assim ns digitaramos
Mr.\ Smith

38
 etc.\ and
Proc.\ Amer.\ Math.\ Soc.
LATEX determina automaticamente como quebrar um pargrafo em linhas, e ocasio-
nalmente hifeniza palavras longas onde isto desejvel. Contudo s vezes necessrio
informar ao LATEX para no quebrar uma linha em um particular espaco em branco. O
caracter especial usado para este propsito ~. Ele representa um espaco em branco que
o LATEX no deve quebrar entre linhas. freqentemente desejvel usar ~ em nomes on-
de os prenomes so representados pelas iniciais. Assim para se obter W. R. Hamilton
melhor digitar W.~R.~Hamilton. tambm desejvel em frases como Exemplo 7
e o comprimento l da vara, obtidos pela digitaco de Exemplo~7 e o comprimen-
to~$l$ da vara.
LATEX automaticamente identa pargrafos (com a excesso do primeiro pargrafo de
uma nova seco). Algum pode evitar que LATEX idente um novo pargrafo, colocando
no incio deste pargrafo a sequncia de controle \noindent. Assim, obtm-se
Este o incio de um pargrafo que no est identado na maneira habitual.
Isto foi conseguido pela colocaco de uma seqncia de controle apropriada
no incio do pargrafo.
pela digitaco de
\noindent
Este o incio de um pargrafo que no est
identado na maneira habitual. Isto foi
conseguido pela colocaco de uma seqncia de
controle apropriada no incio do pargrafo.
Contrariamente, a sequncia de controle \indent fora LATEX a identar o pargrafo.

4.2 Listas
LATEX propicia os seguintes ambientes de lista:
enumerate para listas numeradas,
itemize para listas no-numeradas,
description para listas de descrio
Listas numeradas so produzidas usando
\begin{enumerate} ... \end{enumerate}
Os itens na lista seriam colocados entre

39
 \begin{enumerate} e \end{enumerate}
e cada um seria precedido pela sequncia de controle \item (que automaticamente
produziria o nmero classificando o item). Por exemplo, o texto
Um espao mtrico (X, d) consiste de um conjunto X em que definido
uma funo de distncia (ou mtrica que determina, para cada par de pontos
de X , uma distncia entre eles, e que satisfaz os sequintes 4 axiomas:
1. d(x, y) 0 para todos pontos x e y de X ;
2. d(x, y) = d(y, x) para todos os pontos x e y de X ;
3. d(x, z) d(x, y) + d(y, z) para todos os pontos x, y e z de X ;
4. d(x, y) = 0 se e somente se os pontos x e y coincidem (so iguais).
produzido pelo LATEX a partir da sequinte entrada:
Um \emph{espao mtrico} $(X,d)$ consiste de
um conjunto~$X$ em que definido uma
\emph{funo de distncia} (ou \emph{mtrica}
que determina, para cada par de pontos
de $X$, uma distncia entre eles, e que
satisfaz os sequintes 4 axiomas:
\begin{enumerate}
\item
$d(x,y) \geq 0$ para todos pontos $x$
e $y$ de $X$;
\item
$d(x,y) = d(y,x)$ para todos os pontos
$x$ e $y$ de $X$;
\item
$d(x,z) \leq d(x,y) + d(y,z)$ para todos
os pontos $x$, $y$ e $z$ de $X$;
\item
$d(x,y) = 0$ se e somente se os pontos
$x$ e $y$ coincidem (so iguais).
\end{enumerate}
Listas no-numeradas so produzidas usando
\begin{itemize} ... \end{itemize}
Se ns substiturmos
\begin{enumerate} e \end{enumerate}

40
na entrada acima por
\begin{itemize} e \end{itemize}
respectivamente, LATEX produz uma lista de itens, em que cada item precedido por um
marcador8 :
Um espao mtrico (X, d) consiste de um conjunto X em que definido
uma funo de distncia (ou mtrica que determina, para cada par de pontos
de X , uma distncia entre eles, e que satisfaz os sequintes 4 axiomas:
d(x, y) 0 para todos pontos x e y de X ;
d(x, y) = d(y, x) para todos os pontos x e y de X ;
d(x, z) d(x, y) + d(y, z) para todos os pontos x, y e z de X ;
d(x, y) = 0 se e somente se os pontos x e y coincidem (so iguais).
Listas de Descrices (para glossrios etc.) so produzidas usando
\begin{description} ... \end{description}
Os itens na lista seriam colocados entre
\begin{description} and \end{description}
e cada item seria precedido por \item[etiqueta], onde etiqueta a etiqueta a ser atri-
buda para cada item. Por exemplo, o texto
Ns agora listamos as definices de bola aberta, conjunto aberto e con-
junto fechado em um espao mtrico.
bola aberta O bola aberta de raios r sobre algum ponto x o conjunto de
todos os pontos do espaco mtrico, cuja distncia at x rigorosamente
menor que r;
conjunto aberto Um subconjunto de um espaco mtrico um conjunto aber-
to se, dado algum ponto do conjunto, existe uma bola aberta de raio su-
ficientemente pequeno que contm o ponto e que est totalmente contida
no conjunto;
conjunto fechado Um subconjunto de um espao mtrico um conjunto fe-
chado se o complemento de um conjunto aberto.
produzido pelo LATEX a partir da sequinte entrada:
8
Nota do Tradutor: em ingls, bullet

41
 Ns agora listamos as definices de
\emph{bola aberta}, \emph{conjunto aberto}
e \emph{conjunto fechado} em um espao
mtrico.
\begin{description}
\item[bola aberta]
O \emph{bola aberta} de raios~$r$ sobre
algum ponto~$x$ o conjunto de todos os
pontos do espaco mtrico, cuja distncia
at $x$ rigorosamente menor que $r$;
\item[conjunto aberto]
Um subconjunto de um espaco mtrico
um \emph{conjunto aberto} se, dado
algum ponto do conjunto, existe uma
bola aberta de raio suficientemente pequeno
que contm o ponto e que est totalmente
contida no conjunto;
\item[conjunto fechado]
Um subconjunto de um espao mtrico
um \emph{conjunto fechado} se o complemento
de um conjunto aberto.
\end{description}

4.3 Citaes
Citaes podem ser embutidas no texto usando os ambientes quote e quotation
\begin{quote} ... \end{quote}
e
\begin{quotation} ... \end{quotation}.
O ambiente quote recomendado para citaes curtas: toda a citao identada no
ambiente quote, mas as primeiras linhas de pargrafos individuais no so reidentados.
O arquivo de entrada
Isaac Newton descobriu as tcnicas bsicas
do clculo diferencial e integral,
e aplicou-as no estudo de muitos problemas
na fsica matemtica. Seus principais
trabalhos matemticos so o \emph{Principia}
e a \emph{tica}. Ele mesmo sumarisa seu

42
 prprio trabalho como segue:
\begin{quote}
Eu no sei como o mundo me v; mas para mim
mesmo eu pareo ter sido somente como um garoto,
jogando na beira da praia, e divertindo-me,
hoje, quando encontro a areia macia ou a
concha mais bonita ou a mais ordinria,
enquanto o grande oceano de verdade
mostra-se desconhecido.
\end{quote}
Nos anos posteriores Newton tornou-se envolvido
em uma disputa maior com Leibniz sobre a
descoberta da cincia bsica de clculos.
composto pelo LATEX da seguinte forma:
Isaac Newton descobriu as tcnicas bsicas do clculo diferencial e inte-
gral, e aplicou-as no estudo de muitos problemas na fsica matemtica. Seus
principais trabalhos matemticos so o Principia e a tica. Ele mesmo su-
marisa seu prprio trabalho como segue:
Eu no sei como o mundo me v; mas para mim mesmo eu pa-
reo ter sido somente como um garoto, jogando na beira da praia,
e divertindo-me, hoje, quando encontro a areia macia ou a concha
mais bonita ou a mais ordinria, enquanto o grande oceano de ver-
dade mostra-se desconhecido.
Nos anos posteriores Newton tornou-se envolvido em uma disputa maior com
Leibniz sobre a descoberta da cincia bsica de clculos.
Para citaes maiores, pode-se usar o ambiente quotation: toda a citao identada, e
as aberturas de pargrafos so tambm reidentados, como no modo normal.

4.4 Tabelas
Tabelas podem ser produzidas em LATEX usando o ambiente tabular. Por exemplo, o
texto
Os cinco primeiros Congressos Internacionais de Matemticos foram rea-
lizados nas seguintes cidades:
Chicago U.S.A. 1893
Zrich Switzerland 1897
Paris France 1900
Heidelberg Germany 1904
Rome Italy 1908

43
 produzido em LATEX usando o seguinte arquivo de entrada:
Os cinco primeiros Congressos Internacionais
de Matemticos foram realizados nas
seguintes cidades:
\begin{quote}
\begin{tabular}{lll}
Chicago&U.S.A.&1893\\
Z\"{u}rich&Switzerland&1897\\
Paris&France&1900\\
Heidelberg&Germany&1904\\
Rome&Italy&1908
\end{tabular}
\end{quote}
O comando \begin{tabular} pode ser seguido por uma fileira de caracteres dentro
de colchetes que especifica o formato da mesma. No exemplo anterior, a fileira {lll}
um formato especificando uma tabela com trs colunas de texto justificadas esquerda.
Dentro do corpo da tabela o caracter grfico & usado para separar colunas de texto
dentro de cada fileira, e a dupla barra invertida \\ usada para separar as fileiras da
tabela.
O prximo exemplo mostra como obter uma tabela com linhas verticais e horizontais.
O texto
O grupo de permutaes de um conjunto de n elementos tem ordem n!,
onde n!, o fatorial de n, o produto de todos inteiros entre 1 e n. A tabela
seguinte lista os valores de fatorial de cada inteiro n entre 1 e 10:
n n!
1 1
2 2
3 6
4 24
5 120
6 720
7 5040
8 40320
9 362880
10 3628800
Note quo rapidamente o valor de n! incrementado com n.
produzido em LATEX usando o seguinte arquivo de entrada:

44
 O grupo de permutaes de um conjunto de
$n$~elementos tem ordem $n!$, onde $n!$,
o fatorial de $n$, o produto de todos
inteiros entre $1$ e $n$. A tabela seguinte
lista os valores de fatorial de cada
inteiro~$n$ entre 1 e 10:
\begin{quote}
\begin{tabular}{|r|r|}
\hline
$n$&$n!$\\
\hline
1&1\\
2&2\\
3&6\\
4&24\\
5&120\\
6&720\\
7&5040\\
8&40320\\
9&362880\\
10&3628800\\
\hline
\end{tabular}
\end{quote}
Note quo rapidamente o valor de
$n!$ incrementado com $n$.
Neste exemplo, a especificao do formato {|r|r|} depois de \begin{tabular}
especifica que a tabela consistiria de duas colunas de texto justificadas esquerda, com
linhas verticais entre as colunas e nos lados esquerdo e direito da tabela.
Dentro do corpo da tabela, o comando \hline produz uma linha horizontal; este
comando pode somente ser colocado entre o formato especificado e o corpo da tabela
(para produzir uma linha ao longo do topo da tabela) ou imediatamente depois de uma
linha da tabela (para produzir uma linha horizontal entre as linhas da tabela ou na parte
inferior da tabela).
Em um ambiente tabular, o formato especificado depois de \begin{tabular}
deve consistir de um ou mais dos seguintes caracteres, dentro de colchetes { e }:

45
 l especifica uma coluna de texto alinhado esquerda
c especifica uma coluna de texto centralizado
r especifica uma coluna de texto alinhado direita
p{comprimento} especifica uma coluna justificada de um dado comprimento
| insere uma linha vertical entre colunas
@{texto} insere um dado texto entre colunas
Uma seqncia str de caracteres de especificao de formato pode ser repetido num
vezes usando a construo *{num}{str}. Por exemplo, uma tabela com 15 colunas de
texto justificado direita e separadas por linhas verticais pode ser produzida usando o
especificao de formato {|*{15}{r|}}.
Se espao vertical adicional requerido entre as linhas da tabela, ento isto pode
ser produzido especificando a quantidade de espao dentro de colchetes aps \\.Por
exemplo, usaramos \\[6pt] para separar duas linhas de uma tabela por 6 pontos de
espao em branco.
Uma linha horizontal na tabela da coluna i para coluna j pode ser produzida usando-
se \cline{i-j }. Por exemplo \cline{3-5} produz uma linha horizontal que se
estende pelas colunas 3, 4 e 5 da mesma tabela.
Um comando da forma \multicolumn{num}{fmt }{texto} pode ser usado den-
tro do corpo de uma tabela para produzir uma entrada estendendo-se por vrias colunas.
Aqui num o nmero de colunas sobre as quais a entrada vai ser estendida, fmt espe-
cifica o formato de entrada (e.g., l se a entrada / justificada esquerda, ou c se a
entrada centralizada), e texto o texto da entrada. Por exemplo, para estender trs
colunas de uma mesa com as palavras Ano de Entrada (centralizada com referncia s
trs colunas), usa-se
\multicolumn{3}{c}{Ano de Entrada}

4.5 O Prembulo do Arquivo de Entrada LATEX

Nesta seo, descrevemos as opes disponveis em LATEX para especificar o estilo geral
de um documento.
Um documento LATEX comea com um comando \documentclass e qualquer
texto a ser impresso deve ser incluido entre os comandos
\begin{document} e \end{document}
O comando \begin{document} s vezes precedido por conjunto de comandos que
configuram o estilo da pgina e seqncias de controle do usurio.
Segue-se um tpico arquivo de entrada LATEX:
\documentclass[a4paper,12pt]{article}
\begin{document}

46
 Este o primeiro pargrafo de um documento
tpico. Ele produzido em um tamanho
12~pontos. Um \textit{ponto} uma unidade
de comprimento usada por impressoras.
Um ponto aproximadamente $1/72$~polegadas.
Em uma fonte de 12~pontos, a altura dos
parnteses de 12~pontos (i.e., cerca de
$1/6$~polegadas) e a letra~m possui 12
pontos de comprimento.

Este o segundo pargrafo do documento.

H tambm estilos de 10 pontos e 11 pontos
disponveis em \LaTeX.
O tamanho requerido especificado no comando
documentclass. Se nenhum tamanho foi especificado
ento o estilo de 10~pontos assumido.
\end{document}
A sintaxe do comando \documentclass como se segue. O comando comea
com \documentclass e termina com os nomes de um dos estilos disponveis, entre
chaves. Os estilos padres disponveis so article, report, book e letter.
Entre o \documentclass e o nome do estilo de documento, pode ser colocada uma
lista de opes. Estas opes so separada por vrgulas e a lista de opes colocada
entre colchetes (como no exemplo acima). As opes disponveis (que so geralmente
os nomes de certos arquivos de estilos) incluem as seguintes:
11pt Especifica o tamanho da fonte como 11 pontos, que dez por cento maior que a
fonte de 10 pontos usada normalmente.
12pt Especifica uma fonte de 12 pontos, que vinte por cento maior que a fonte de 10
pontos.
twocolumn Produz sada em duas colunas.
a4paper Isto garante que a pgina posicionada apropriadamente em um papel de ta-
manho A4.
Simplesmente digitando \documentclass{article} produziria um documen-
to em 10 pontos de tamanho. Contudo, a sada impressa no seria posicionada agrada-
velmente no papel A4, dado que o tamanho padro definido para um tamanho diferente
de papel (carta ou letter).

47
 As pginas seriam automaticamente numeradas no rodap da pgina, a no ser que
voc especifique de outro modo. Isto pode ser feito usando o comando \pagestyle.
Este comando viria depois da seqncia de controle \documentclass e antes da
seqncia de controle \begin{document}. Este comando possui sintaxe na forma
\pagestyle{opo}, onde a opo uma dos seguintes:
plain O nmero da pgina est no p da pgina. Este o padro estilo da pgina para
os estilos de documentos article e report.
empty O nmero da pgina no imprimida.
headings O nmero da pgina ( e alguma outra informao determinada pelo estilo do
documento) colocado no topo da pginas.
myheadings Semelhante ao estilo de pginas headings, exceto que o material vai para
o topo da pgina determinado pelos comandos \markboth e \markright
(ver o manual do LATEX).
Por exemplo, o arquivo de entrada
\documentclass[a4paper]{article}
\pagestyle{empty}
\begin{document}
O corpo principal do documento colocado aqui.
\end{document}
produz um documento sem nmeros de pginas, usando o 10 pontos para o tamanho
padro dos tipos.

4.6 Definindo suas Prprias Seqncias de Controle em LATEX

Suponha que ns estamos produzindo uma pgina que faz freqentemente uso de alguma
expresso matemtica. Por exemplo, suponha que integrais como
Z +
f (x) dx.

ocorrem frequentemente no texto. Esta frmula obtida pela digitao de

\[ \int_{-\infty}^{+\infty} f(x)\,dx.\]
Seria bastante agradvel se ns pudssemos digitar \inftyint (por exemplo) para
obter o sinal da integral no incio da expresso. Isto pode ser feito usando a seqncia
\newcommand. O que temos a fazer colocar uma linha com o comando
\newcommand{\inftyint}{\int_{-\infty}^{+\infty}}

48
prximo do incio do arquivo de entrada (e.g., depois do comando \documentclass
mas antes do comando \begin{document}). Ento ns somente temos que digitar
\[ \inftyint f(x)\,dx\]
para obter a frmula acima.
Ns podemos modificar estes procedimento ligeiramente. Suponha que ns defina-
mos uma nova sequncia de controle \intwrtx pela colocao da linha
\newcommand{\intwrtx}[1]
{\int_{-\infty}^{+\infty} #1 \,dx}
no incio do arquivo de entrada. Se ns ento digitarmos a linha
\[ \intwrtx{f(x)}\]
ento ns obteremos Z +
f (x) dx

O que aconteceu que a expresso no colchetes depois de \intwrtx foi colocado na
expresso definida \intwrtx, substitundo o parmetro #1 desta expresso.
O nmero 1 dentro dos colchetes no \newcommand definindo \intwrtx indica
para o LATEX que para esperar uma expresso (entre chaves) depois de \intwrtx
que substituir o parmetro #1 da definio de\intwrtx. Se ns definirmos uma
sequncia de controle \intwrt por
\newcommand{\intwrt}[2]
{\int_{-\infty}^{+\infty} #2 \,d #1}
ento LATEX ir esperar duas expresses para substituir os parmetros #1 e #2 na defini-
o de \intwrt. Assim se ns digitarmos
\[ \intwrt{y}{f(y)}.\]
obtemos Z +
f (y) dy.

49