L

A
T
E
X no moodle: um breve guia para o ignaro
Fernando Pestana da Costa
Universidade Aberta, DCET
fcosta@univ-ab.pt
7 de Agosto de 2007
Resumo
Notas introdutoria `a utiliza c ao do L
A
T
E
X nos foruns do moodle.
1 Introducao
O L
A
T
E
X (em portugues pronuncia-se latek) e um sistema de produ cao de
texto
1
que evoluiu da linguagem T
E
X, criada no nal dos anos 1970 por
Donald Knuth. O L
A
T
E
X, assim como as suas muitas variantes actualmente
existentes (L
A
T
E
X2

, AMS-L
A
T
E
X, etc), e especialmente adaptado `a produ cao
de texto com forte conte udo matem atico e, a nvel internacional, a sua uti-
lizacao para a produ cao de relat orios, artigos e livros de Matematica e pra-
ticamente universal.
Existem imensos recursos online sobre o L
A
T
E
X (alguns listados na area
Matematica Aberta! do moodle ), mas o objectivo destas breves notas n ao
e o de ensinar a produzir documentos aut onomos usando L
A
T
E
X. Pretende-se
apenas ensinar, a quem n ao sabe nada de L
A
T
E
X, o mnimo necessario `a sua
utiliza cao para escrever texto matem atico simples nos foruns de discussao
da plataforma moodle.
A aquisicao deste tipo de competencias e uma condi cao absolutamente
central e necessaria (embora claramente n ao suciente) para que o ensino
de disciplinas de Matematica, ou de areas das Ciencias Exactas que usem
formulas e simbologia matem atica, possa ser bem sucedido em regime on-
line e seguindo as indica coes metodol ogicas constantes no novo Modelo Pe-
dag ogico da Universidade Aberta.
Para se alcan car este objectivo muito poucas coisas do L
A
T
E
X e necessario
conhecer: apenas a parte que diz respeito `a escrita de formulas matem aticas
e relevante, cando de parte toda a parafren alia de comandos que dizem
respeito `a denicao de estilos, formatacao, inclusao de guras, de tabelas, ou
de listas, `as referencias cruzadas e bibliogracas, etc, [3], enm, tudo o que
permite que o leitor esteja a ler o presente texto na sua actual formata cao...
1
Os latexianos detestam que chamem ao L
A
T
E
X um processador de texto!
1
2 O Princpio
2.1 Sobre o moodle
Supoe-se, obviamente, que o leitor est a minimamente familiarizado com a
plataforma moodle, em particular, tendo entrado numa area de uma dis-
ciplina, sabe aceder a um forum de discussao e, ou iniciar um topico de
discussao, ou responder a participacoes anteriores. Suponha-se, entao, que
o leitor acedeu a um topico de discussao, digamos ao topico Come car a es-
crever L
A
T
E
X no moodle, onde encontrou a mensagem-desao apresentada
na Figura 1
Figura 1: A primeira mensagem-desao no topico de discuss ao Come car a
escrever L
A
T
E
X no moodle.
Como certamente saber a, para responde a este desao o leitor precisa de
carregar no Reply, accao que lhe abrira um quadro como o apresentado na
Figura 2
Mais uma vez, vamos supor que o leitor sabe tudo sobre a produ cao de
texto n ao-matem atico no quadro de Reply desconhecendo apenas como pode
responder ao desao proposto: escrever a fraccao dada de um modo tipo-
gracamente decente. E e a partir daqui que necessita come car a aprender
L
A
T
E
X!
A primeira coisa que precisa saber e que
1. para o moodle interpretar as instrucoes L
A
T
E
X que venha a escrever, e
necessario iniciar e terminar cada conjunto de instrucoes com $$.
Tudo o que escrever entre os grupos de dois cifroes $$ ser a interpretado
como linha de codigo L
A
T
E
X e o objectivo do resto destas notas e fazer-lhe
uma visita guiada (acompanhada de Exerccios de treino!) ao mundo das
instrucoes que lhe ser ao mais uteis com mais frequencia.
2.2 O L
A
T
E
X (muito) basico

E conveniente come car por uma advertencia previa: h a literalmente alguns

milhares de instrucoes L
A
T
E
X (embora muitas delas n ao sejam normalmente
2
Figura 2: Quadro que surge fazendo Reply no quadro da mensagem-desao
da Figura 1.
suportadas no moodle) e ninguem no seu devido juzo pensaria em memo-
rizar sequer uma pequena parte delas. Para isso existem imensos livros e
locais da internet onde as instrucoes para os smbolos mais abstrusos podem
ser encontradas. A lista mais completa que o autor destas linhas conhece
e [4], mas e mais do que duvidoso que o leitor necessite de saber muito
mais do que as instrucoes contidas em [1] e mesmo muitas destas ser-lhe-ao
necessarias muito esporadicamente (se alguma vez o forem).
Comecemos entao com o que necessita saber para responder `a mensagem-
desao da Figura 1.
A primeira coisa que salta `a vista e que necessita saber escrever n umeros
inteiros, a letra grega pi, os smbolos da soma, da multiplica cao e o tra co de
fraccao.
Satisfazer a primeira destas necessidades, isto e, escrever n umeros intei-
ros, e facil: para escrever, por exemplo, 2 em L
A
T
E
X basta escrever... 2 . O
caso das letras gregas tambem n ao e particularmente difcil, mas requer que
(naturalmente) o leitor saiba o alfabeto grego, visto que as instrucoes L
A
T
E
X
que codicam as letras gregas consistem apenas em escrever o nome da res-
pectiva letra (na graa inglesa) antecedido de uma barra \. Por exemplo,
escrevendo \pi resulta em .
Este pequeno exemplo permite introduzir o que e provavelmente a ca-
racterstica mais importante das instrucoes L
A
T
E
X (no moodle ou fora dele)
2. todas
2
as instrucoes L
A
T
E
X s ao iniciadas com \.
2
com duas excep coes, que referiremos adiante.
3
Uma outra caracterstica do L
A
T
E
X que e importante (e que permite
que qualquer utilizador, mais cedo ou mais tarde, memorize uma enorme
quantidade de instrucoes sem qualquer esforco) e que
3. o texto que se segue ao \ est a directamente relacionado com o smbolo
que a instrucao codica.
O leitor dever a ter presente que o L
A
T
E
X foi criado por norte-americanos
e portanto as instrucoes s ao escritas em ingles. Assim, para codicar a letra
grega a instrucao e \alpha e n ao \alfa
Atendendo a que as letras gregas s ao ubquas em Matematica e em Fsica
e a m de facilitar a vida ao leitor e o ir habituando ao alfabeto grego, apre-
sentamos na Figura 3 as instrucoes L
A
T
E
X que as codicam. Observe que as
instrucoes das letras gregas mai usculas presentes na Figura 3 s ao as mesmas
que as min usculas mas come cam com letra mai uscula (e.g., \Pi para e \pi
para ). Certas letras n ao apresentam instrucoes para mai usculas porque a
sua vers ao mai uscula coincide com a correspondente letra no alfabeto latino
(e.g., a vers ao mai uscula de e B) e a letra grega omicron e codicada
com a vogal latina o e, portanto, n ao necessita de \. Por ultimo, cinco le-
tras min usculas apresentam duas graas alternativas, ambas de uso comum
(e.g., e para a letra , ou phi em ingles). Veja na Figura 3 como,
nesses casos, s ao codicadas as duas vers oes da mesma letra.
\alpha \theta o o \tau
\beta \vartheta \pi \upsilon
\gamma \iota \varpi \phi
\delta \kappa \rho \varphi
\epsilon \lambda \varrho \chi
\varepsilon \mu \sigma \psi
\zeta \nu \varsigma \omega
\eta \xi
\Gamma \Lambda \Sigma \Psi
\Delta \Xi \Upsilon \Omega
\Theta \Pi \Phi
Figura 3: Instru coes L
A
T
E
X para as letras do alfabeto grego.
Para completar o que precisamos saber a m de respondermos `a mensa-
gem-desao basta apenas saber como representar os smbolos das opera coes
algebricas b asicas.
A adi cao e a subtraccao s ao simples: basta usar o + e do teclado do
computador. A multiplica cao e diferente: se escrever a letra x ela parecera
ser... a letra x e n ao o almejado smbolo da multiplica cao! Para este ultimo
4
ter a de escrever \times (ou seja vezes, em ingles), o que resultara em .

E usual em matem atica abreviar o smbolo de multiplica c ao para um ponto,

escrevendo, por exemplo, 2 x
2
em vez de 2 x
2
. Mais uma vez aqui, se o
leitor escrever o ponto . vai obter qualquer coisa como um ponto nal. O
ponto da multiplica cao e um ponto centrado em rela cao ` a mancha gr aca da
linha em que est a escrito, e n ao na parte inferior dessa mancha. Para tal, a
instrucao a usar e \cdot (c de centrado e dot de ponto, em ingles). Vem
a proposito observar que a instrucao \cdots produz tres pontos centrados,
e a instrucao \ldots tres pontos na posi cao inferior (l de lower) da linha,
como umas reticencias (cf. Figura 8).
Falta, por m, o tra co de fraccao. A ideia da instrucao que codica
o tra co de fraccao e que este s o tem sentido quando acompanhado do nu-
merador e do denominador. A instrucao L
A
T
E
X reete isso mesmo: para
escrever uma fraccao com A no numerador e B no denominador a instrucao
e \frac{A}{B} (frac de fraction, ou fraccao, seguido, entre chavetas
{ }, dos smbolos que ir ao no numerador e depois, tambem entre chavetas,
do que ir a no denominador).
Nesta altura o leitor est a na posse de tudo o que necessita para responder
`a mensagem-desao. Indo ao quadro do moodle na Figura 2 e escrevendo as
instrucoes L
A
T
E
X que acabou de aprender teria algo com o que se apresenta
na Figura 4
Figura 4: Respondendo `a mensagem-desao da Figura 1.
5
Carregando em Post to Forum coloca a sua contribuicao no forum de
discussao, acto que forca o moodle a interpretar as suas instrucoes L
A
T
E
X.
A mensagem que ser a lida no forum tem, assim, o aspecto apresentado na
Figura 5.
Figura 5: Resposta `a mensagem-desao da Figura 1.
Uma caracterstica interessante do moodle que poder a ser util ao ne oto
em L
A
T
E
X e que, deslocando o rato sobre uma formula produzida usando
L
A
T
E
X, surge o codigo que a originou (Figura 6). Se bem que sem grande
interesse para alguem que pretenda escrever uma formula que ainda n ao
esta escrita, esta caracterstica e um auxiliar interessante para quem esteja
a aprender estudando exemplos ja existentes.
Figura 6: Caixa com as instrucoes L
A
T
E
X que surge quando se coloca o rato
sobre uma formula.
Completamos deste modo a resposta `a mensagem-desao. Antes de ter-
minarmos esta Sec cao e de prosseguirmos a nossa visita, deixamos ao leitor
o seguinte desao:
Exerccio 1
Escreva as instruc oes L
A
T
E
X que produzem os seguintes resultados no moo-
dle:
1. 3 6 = 18 =
36
2
=
1 + 1 + + 1 + 1
2
2.
2
7
+
x
1

6
3. o foi um losofo grego extremamente importante.
3 Mais L
A
T
E
X: opera coes e relacoes
Na Sec cao anterior vimos quais as instrucoes para as quatro opera coes
aritmeticas elementares. Em Matematica s ao, obviamente, utilizadas muitas
outras opera coes e rela coes e e para introduzir o leitor `as correspondentes
instrucoes L
A
T
E
X que servir a a presente Sec cao.
Comecemos com mais uma mensagem-desao (Figura 7).
Figura 7: Mais uma mensagem-desao: como escrever a frase simbolica-
mente?
O leitor ja sabe alguma coisa: ja sabe que a letra grega epsilon que surge
escrita na mensagem-desao e codicada por \varepsilon (cf. Figura 3) e
tambem sabe qual a instrucao que gera a fraccao
1
n
.
Avancemos, entao, para o que o leitor (ainda) n ao sabe.
As duas primeiras coisas que lhe ocorreram podem muito bem ter sido os
smbolos de para todo e existe pelo menos um, i.e., os quanticadores
universal, , e existencial, , cuja utiliza cao e ubqua em qualquer ramo da
Matematica. As instrucoes para estes smbolos s ao muito simples: para
e \forall (de for all, para todo) e para e \exists (de existe [pelo
menos um], em ingles)
7
Estas duas instrucoes s ao parte de um grupo de smbolos de tipos va-
riados que coligimos na Figura 8. Alguns destes smbolos sao francamente
mais uteis que outros: por exemplo, alem dos quanticadores e dos conjun-
tos de tres pontos (a que ja nos tinhamos referido na Sec c ao 2.2), o smbolo
para conjunto vazio (empty set), embora haja quem prera , obtido
com \varnothing, a nota cao | para norma, para o operador gradiante
(nabla), para a derivada parcial (partial, em ingles) e para innito
(de infinity), s ao de uso muito comum.
Figura 8: Instru coes L
A
T
E
X para diversos smbolos de tipos diferentes.
Prosseguindo a leitura da frase na mensagem-desao da Figura 7, o lei-
tor certamente reparou que a frase refere o conjunto dos naturais. Este
conjunto, tal como os dos inteiros, Z, racionais, Q, reais, R, e complexos, C,
s ao extremamente usuais e tem os smbolos pr oprios que acab amos de re-
lembrar, cujas representacoes usando L
A
T
E
X s ao conseguidas pela instrucao
\mathbb{ } (de blackboard bold mathematics), onde entre chavetas e es-
crita a letra correspondente, por exemplo \mathbb{N} para o conjunto dos
naturais N.
Para escrevermos que K e um natural, ou pertence ao conjunto dos
naturais, N, h a, e claro, a nota cao tradicional da teoria de conjuntos, K N.
O smbolo e codicado por \in (de em, em ingles). Convem notar que o
leitor n ao deve confundir com a letra grega epsilon em qualquer das suas
graas, ou : s ao coisas diferentes, que o L
A
T
E
X distingue e que o leitor
dever a conservar distintas!
O smbolo e um dos muitos smbolos de rela coes que o L
A
T
E
X permite
representar. Outros, de uso extremamente comum, s ao apresentados na
Figura 9.
Observe que os sinais de igual a (=), menor que (<) e maior que
(>) s ao obtidos directamente do teclado do computador, mas as instruccoes
para menor ou igual e \leq (de less or equal) e para maior ou igual
e \geq (de greater or equal).
Ainda sobre os smbolos para representar rela coes, convem saber que a
8
Figura 9: Instru coes L
A
T
E
X para rela coes.
escrita da instrucao \not antes que uma outra qualquer instrucao (ou letra)
gera um tra co / sobre o que vem a seguir. Assim, por exemplo \not\subset
produz , (n ao e um subconjunto de), e \not\in origina , (n ao pertence
a). O smbolo ,= pode tambem ser produzido por \not = mas e de tal
maneira vulgar que mereceu um smbolo pr oprio: \neq (de not equal).
Para podermos escrever simbolicamente a frase da mensagem-desao da
Figura 7 resta-nos saber como se escreve implica. O smbolo que codica
a implica cao faz parte da famlia das setas (ou, em ingles, arrows) que
s ao de utiliza cao extremamente comum em todos os ramos da matem atica
(para simbolizar as mais variadas coisas, como por exemplo os conceitos de
implica cao, convergencia, aplica cao, etc). A Figura 10 apresenta as mais
vulgares.
Figura 10: Instru coes L
A
T
E
X para diversos tipos de setas.
Convem notar algumas regularidades neste zoo de setas, o que ajudar a
certamente o leitor a relembrar a instrucao correspondente quando dela ne-
cessitar:
9
(i) left gera setas para a esquerda, right para a direita e leftright gera-
as em ambos os sentidos, e de modo semelhante para up e down.
(ii) long gera setas mais longas que o tamanho regular.
(iii) Iniciando a instrucao com mai uscula gera uma seta dupla.
(iv) Algumas instrucoes podem parecer algo cripticas, mas s ao, de facto,
muito naturais, desde que a logica que presidiu ao seu baptismo seja
identicada. Por exemplo a instrucao para e \swarrow porque a
seta aponta para sudoeste (south west arrow).
Para o presente desao necessitamos apenas da seta que codica a im-
plica cao na frase da Figura 7, ou seja , produzida por \Rightarrow .
O leitor tem agora tudo para responder `a mensagem-desao: Indo ao
moodle, carregando no Reply, escrevendo o que est a no topo da Figura 11 e
submetendo a resposta, resulta no que surge na metade inferior da Figura 11.
Figura 11: A resposta `a mensagem-desao da Figura 7.
Para terminar esta Sec cao iremos completar um pouco o conhecimento
que o leitor tem sobre a codica cao L
A
T
E
X das opera coes matem aticas mais
10
usuais. Ate agora o leitor viu, na Sec cao anterior, quais as instrucoes para as
opera coes b asicas da aritmetica +, , e o tra co de fraccao para a divisao.
Na Figura 12 apresentamos um conjunto de smbolos de uso comum.
Figura 12: Instru coes L
A
T
E
X para opera coes bin arias.
Alguns destes smbolos n ao ser ao muito utilizados, mas varios outros,
como por exemplo os smbolos de reuniao, , e de intersec cao, , de con-
juntos
3
, o asterisco (usado, por exemplo, para simbolizar o produto de
convolu cao), o smbolo de composi cao de funcoes (n ao confundir com a
vogal min uscula o), ou os smbolos e (o ou e o e, em logica; o
ultimo usado tambem em geometria diferencial para representar o produto
exterior), s ao vulgarmente utilizados e o leitor memoriza-los-`a sem grande
esforco.
Tal como o leitor ja deve ter reparado, tambem estas instrucoes tem uma
designacao normalmente obvia, por exemplo: e obtido com \pm (de plus
or minus), com \cup (de taca, em ingles), ou com \cap (de bone,
em ingles).
Por agora camos por aqui, concluindo esta Sec cao com o seguinte de-
sao:
Exerccio 2
Escreva as instruc oes L
A
T
E
X que produzem os seguintes resultados no moo-
dle:
1. N Z Q R C
2. C R ,= (Nota: no membro esquerdo est a uma opera cao bin aria
sobre conjuntos).
3. (f g)(x) = f(g(x)), x X
4. (p q) ((p) q)
3
voltaremos a falar dos smbolos para estas opera coes mais `a frente nestas notas.
11
4 Escrita de smbolos sobrescritos ou subescritos
Nesta Sec cao veremos algumas instrucoes de uso frequente relacionadas com
a escrita de smbolos acima ou abaixo de outros previamente existentes, o
que e extraordinariamente importante para a escrita dos usuais textos em
Matematica ou em Fsica.
Suponha o leitor que ap os ter respondido correctamente `a mensagem-
desao da Sec cao anterior, o respons avel do forum responde-lhe com o que
surge na Figura 13.
Figura 13: A terceira mensagem-desao.
Obviamente que as diculdades deste desao s ao apenas duas: como
escrever uma setinha em cima das letras F e x e como fazer os 2
em expoente na nota cao de Leibnitz para a derivada. Tudo o resto ja e
conhecido das Sec coes anteriores.
Ha aqui, basicamente, dois tipos de situa coes importantes: a escrita em
ndice (tal como o 2 na Figura 13) e a escrita exactamente sobre ou sob
a linha (como as tais setinhas que queremos escrever sobre F e sobre
x).
O primeiro caso e de longe o mais vulgar e o mais facil de resolver:
a instrucao L
A
T
E
X para escrever um ndice sobrescrito (tipo expoente) e
^{ }, onde entre as chavetas se escreve o que surgira em expoente. Por
exemplo, para fazer surgir d
2
a instrucao e d^{2}. Para escrever um ndice
subescrito a instrucao e muito semelhante: basta substituir ^ por _. Assim,
se pretendermos escrever, por exemplo, u
2n+1
, a instrucao ser a u_{2n+1}.
Observe-se que estas s ao praticamente as unicas instrucoes L
A
T
E
X que
n ao se iniciam por \.
A m de abreviar a escrita, o L
A
T
E
X aceita que a seguir ao smbolo
^ ou _ n ao seja escrito { }, mas neste caso a conven cao e que apenas o
12
smbolo imediatamente a seguir a ^ ou _ deve ser considerado como parte
do sobrescrito ou do subescrito: por exemplo, para escrever 2
3
y a instrucao
tanto pode ser 2^{3}y como 2^3y, mas se pretendermos escrever 2
3y
temos
de forcar o L
A
T
E
X a reconhecer 3y como parte do expoente e para isto n ao
h a outra maneira que n ao seja escrever 2^{3y}.
A escrita de smbolos exactamente por cima ou por baixo de outros
smbolos e uma opera cao em geral mais delicada. No entanto, para certos
smbolos de uso corrente, existem instrucoes de que nos podemos socorrer;
vejamos alguns destes casos.
Para escrever a setinha a instrucao e \vec{ } (vec de vector), onde
entre as chavetas se escrever a aquilo que ca por baixo da seta. O sistema
e sucientemente bem desenhado para que a seta cubra todo o smbolo que
est a entre chavetas, mesmo que este seja bastante longo.
Assim, temos agora tudo para responder `a mensagem-desao da Fi-
gura 13. Carregando em Post to Forum, a sua contribuicao vai para o
forum de discussao e ser a visualisada como na Figura 15,
Figura 14: Respondendo `a segunda mensagem-desao.
Figura 15: A resposta `a segunda mensagem-desao.
Se o leitor pretender escrever a formula na mesma linha do texto, e n ao
numa linha `a parte, n ao tem mais do que n ao mudar de linha quando est a
13
Figura 16: A resposta `a terceira mensagem-desao, desta feita com a
equacao escrita na linha de texto.
a escrever, tal como se indica na Figura 16.
Antes de deixarmos este assunto, iremos referir-nos a algumas outras
instrucoes an alogas a \vec{ } que s ao de aplica cao corrente.
Uma primeira, muito usada em Analise Complexa, e a barra por cima
dum smbolo (que em an alise complexa designa o complexo conjugado).
O L
A
T
E
X tem duas instrucoes que produzem esse resultado: \bar{ } e
\overline{ }. A primeira delas gera apenas uma pequena barra, inde-
pendentemente do tamanho do smbolo que esteja por baixo. A segunda
gera uma barra de tamanho vari avel que cobre a totalidade dos smbolos
englobados entre as chavetas do comando. Por exemplo, para obtermos
2 + 3i = 23i teremos de escrever \overline{2+3i}=2-3i. Mesmo quando
se trata de cobrir com uma barra uma unica letra ou smbolo, as duas ins-
tru coes produzem resultados ligeiramente diferentes (experimente escrever
\bar{y} e \overline{y} e atente nas diferen cas). Tambem util em algumas
situa coes e a instrucao \underline{ } para gerar barras inferiores, do tipo
dos sublinhados.
Outro caso, bastante popular, por exemplo, em Analise Harmonica, e o
acento circunexo (que serve a para designar a transformada de Fourier).
A instrucao que resulta em

f e \hat{f} (hat de chapeu, em ingles), mas
o acento circunexo n ao e elastico: se o que vier sob o acento tiver uma
extensao de dois a quatro caracteres convem usar a instrucao \widehat{ },
para que o acento cubra os caracteres em causa.
14
Analogamente, para colocar um til sobre uma express ao escreva \tilde{ }
(tilde e til em ingles) ou \widetilde{ } .

E por vezes importante agrupar elementos de uma formula escrevendo

uma chaveta horizontal por cima ou por baixo dos elementos a agrupar. Por
exemplo tal como em
1 + 1 + + 1 + 1
. .
+2 + 3 + 4.
Isto consegue-se com a instrucao \underbrace{ } contendo entre chave-
tas aquilo que queremos que seja agrupado. Assim, para a linha acima
teramos de escrever \underbrace{1+1+\cdots +1+1}+2+3+4 (a instrucao
\overbrace{ } faz a chaveta sobre a express ao.
Quando agrupamos termos com chavetas, necessitamos em geral de co-
locar algum comentario aos agrupamento. Por exemplo, suponhamos que
na express ao anterior temos uma adi cao de 9 parcelas iguais a 1. Se n ao
indicarmos isso explicitamente ser a completamente in util o agrupamento.
Pretendendo escrever
1 + 1 + + 1 + 1
. .
9 parcelas
+2 + 3 + 4.
a instrucao \underbrace{ } e ligeiramente modicada passando a ser es-
crita como \underbrace{ }_{ } onde no segundo grupo de chavetas ser a
escrito, neste exemplo, 9 parcelas. Para \overbrace{ } o grupo opcional
_{ } e mudado para ^{ } , visto que o comentario ter a de ser escrito acima
da chaveta horizontal que produz o agrupamento.
Antes de seguirmos para as funcoes deixamos aqui alguns exerccios:
Exerccio 3
Escreva as instruc oes L
A
T
E
X que produzem o seguintes resultados no moo-
dle:
1. x
10
3
2.

f g(x) h( y)
3.

F
2
n
1


F
2
n1 (Atenc ao `a posi c ao dos expoentes nos ndices!)
4. a + b +
23
..
c + + x + y +z
. .
26
.
5 Em torno dos smbolos L
A
T
E
X para fun coes
Chegamos agora `a altura em que necessitamos de introduzir as instrucoes
L
A
T
E
X para as funcoes matem aticas que o leitor dever a encontrar mais fre-
quentemente, come cando com as potencias e as razes, as fun coes trig-
nometricas, exponenciais, hiperb olicas e respectivas inversas.
15
Tambem nesta altura vem a proposito introduzir um determinado n umero
de smbolos intimamente relacionados com as funcoes, como as nota coes para
a derivacao, integra cao, series e outras opera coes usuais sobre fun coes.
5.1 Potencias, exponenciais e razes
A escrita de potencias e de exponenciais e feita recorrendo ao uso de sobres-
critos, do modo que se indicou na Sec cao anterior: por exemplo, para obter
o mon omio x
2
basta escrever a instrucao x^{2}, como, alias, ja zemos para
responder `a mensagem-desao da Figura 13. A exponencial e, normalmente,
conseguida do mesmo modo: e
3
e gerada por e^{-3}. Por vezes, e conve-
niente escrever esta exponencial de base e n ao em sobrescrito mas na mesma
linha de texto, como exp(3), o que e conseguido usando a instrucao \exp
seguido dos parentesis escolhidos (neste caso curvos) e do conte udo que se
pretender escrever.
Este comando \exp e a primeira das instrucoes para smbolos especcos
de funcoes que iremos referir. Terminamos esta Sec cao com o smbolo das
razes: o smbolo da raz quadrada e conseguido do seguinte modo: para
obter

243 basta escrever \sqrt{243} (sqrt de square root). Uma pe-

quena modica cao desta instrucao resolve tambem o caso das outras razes,
por exemplo, para obter
5

2 i h a que escrever \sqrt[5]{2-i} : note o

argumento [5] que forca o L
A
T
E
X a escrever o ndice 5 na raz.
5.2 Mais funcoes matematicas
A Figura 17 apresenta um apreci avel n umero de funcoes matem aticas usuais,
tais como as funcoes trignometricas, hiperb olicas e respectivas inversas e os
logaritmos, e tambem outras com a funcao aritmetica m aximo divisor co-
mum, gcd (greater common divisor), as funcoes de conjuntos supremo,
sup, nmo, inf, m aximo, max, mnimo, min, e dimensao, dim, alem
de outras que n ao s ao usualmente encaradas como funcoes, como o limite,
lim, ou o limite superior, limsup, mas que, do ponto de vista do L
A
T
E
X
s ao tratados da mesma maneira porque tem o mesmo aspecto gr aco.
Figura 17: Instru coes L
A
T
E
X para diversas funcoes e nota coes do tipo fun cao.
As instrucoes relacionadas com o limite, \lim, \limsup etc, podem ser,
16
e muitas vezes s ao, acompanhadas da descricao, em subescrito, de qual o
limite em causa, como por exemplo em
lim
x+
e
x
= 0, ou lim
x+
e
x
= 0.
O primeiro caso pode ser mais conveniente para escrever em linha com
o restante texto (o L
A
T
E
X designa este tipo de escrita por text style),
enquanto o segundo e usualmente utilizado quando queremos exibir uma
formula numa linha s o para ela (aquilo a que o L
A
T
E
X chama display style).
No ambiente moodle todas as formulas s ao, por defeito, escritas em text
style. O leitor pode forcar o L
A
T
E
X a escrever uma formula (ou parte de uma
formula) em display style escrevendo-a entre os parentesis da declara cao
\displaystyle{ }. Observe na Figura 18 o efeito desta declara cao no limite
anteriormente indicado.
Figura 18: A escrita em text style e em display style.
17
Com estas instrucoes, e tendo tambem presentes o que vimos anterior-
mente, o leitor poder a sem diculdade produzir, num forum, uma mensagem
com o aspecto da Figura 19, tarefa que deixamos como Exerccio.
Figura 19: Exerccio: va a um forum de mensagens e escreva as instrucoes
L
A
T
E
X que lhe permitam obter o resultado apresentado nesta Figura.
5.3 Operando sobre fun coes
Vamos agora introduzir mais umas importantes instrucoes L
A
T
E
X no processo
de resposta a mais uma mensagem-desao (Figura 20)
Figura 20: A quarta mensagem-desao.
Os Teoremas que s ao referidos no desao s ao conhecidos resultados da
18
geometria diferencial (ou da an alise em R
n
, se o leitor preferir) que envol-
vem integra cao, e portanto a sua formula cao simb olica exige o conhecimento
das instrucoes para os integrais. Estas instrucoes L
A
T
E
X fazem parte de um
conjunto de instrucoes que s ao apresentadas na Figura 21. Reunem-se a
smbolos designados por smbolos de tamanho vari avel. A raz ao de ser
desta designacao prende-se com o facto destes smbolos terem tamanho di-
ferente consoante sejam escritos em text style (tamanho menor) ou em
display style (tamanho maior). Tal como referimos anteriormente, por
defeito, no moodle, tudo e escrito em text style, pelo que, quando conve-
niente, deve ser usada a instrucao \displaystyle{ } para forcar o smbolo
a ser escrito no seu tamanho maior, mais adequado a formulas n ao integradas
em linha de texto.
Figura 21: Instru coes L
A
T
E
X para smbolos de tamanho vari avel (fora do
moodle).
A instrucao b asica que produz o smbolo do integral
_
e, entao, muito
naturalmente \int . Alguns outros casos de integrais s ao tambem codi-
cados: na tabela da Figura 21 o leitor encontra o smbolo para o integral
de linha ao longo de um caminho fechado (vulgarmente conhecido como
integral cclico) que e
_
e e produzido pela instrucao \oint . Nao vem
nesta tabela, mas o moodle aceita, o smbolo para integral duplo
__
, obtido
pela instrucao \iint, o qual gera dois sinais de integral mais juntos do que
as duas instrucoes simples seguidas \int\int, e aceita tambem \iiint e
\iiiint para codicar integrais triplos e quadruplos, bem como \idotsint
(integral dots integral) para produzir
_

_
.
Para gerar os limites de integra cao usam-se os smbolos para gerar subes-
critos e sobrescritos que vimos na Sec cao 4. A ordem pela qual se escrevem
essas instrucoes e indiferente, por exemplo, para obter no moodle, o integral
em
_
+
0
sin(x
2
)dx
tanto faz escrever
\displaystyle{\int_{0}^{+\infty}}
como
19
\displaystyle{\int^{+\infty}_{0}} .
As instrucoes para gerar os limites de integra cao s ao optativas: podem
n ao estar presentes, pode estar s o uma, ou podem estar ambas, como no
integral de Fresnel que acab amos de escrever.
Assim, nesta altura temos tudo para escrever a resposta `a mensagem-
desao apresentada na Figura 20. O resultado que obtemos e o apresentado
na Figura 22 e ca como Exerccio para o leitor a escrita na plataforma
moodle das instrucoes L
A
T
E
X que lhe permitem obter tal resultado.
Figura 22: Exerccio: va a um forum de mensagens e escreva as instrucoes
L
A
T
E
X que lhe permitam obter o resultado apresentado nesta Figura.
Na Figura 22 a resposta contem, ela mesma, uma questao que e de
algum interesse ser respondida nesta altura: os parentesis que aparecem
dentro do integral duplo s ao muito pequenos, ser a possvel torn a-los de um
tamanho comparavel ao que vem dentro dos parentesis, que neste caso e
uma express ao com derivadas algo volumosa, ou seja, a questao e:
Ser a que em vez de
(
F
2
x

F
1
y
)
n ao se conseguira escrever
_
F
2
x

F
1
y
_
?
20
Este problema e resolvido pelo L
A
T
E
X de um modo muito simples. No
presente caso, pretendemos que os delimitadores ( ) quem ajustados `a
altura do que est a do meio. Para que o L
A
T
E
X saiba o que e isso de estar
no meio e portanto possa ajustar as alturas, n os temos de lhe dizer o
que e que vai `a esquerda e o que e que vai `a direita
4
. Para tal, temos de
dizer que o parentesis ( e o do lado esquerdo e o parentesis ) o do lado
direito. Tal e conseguido escrevendo \left( (de esquerda) no primeiro
caso e \right) (de direita) no segundo. portanto, se substituirmos ( )
por \left( \right) o que vier escrito entre os parentesis determina o
tamanho com que esses mesmos parentesis ser ao escritos. O resultado de
efectuar esta altera cao na Figura 22 ser a o apresentado na Figura 23.
Figura 23: Resultado do texto apresentado na Figura 22 ap os escrever os
parentesis com o tamanho ajustavel.
Este processo de ajustar tamanhos de delimitadores funciona com varios
delimitadores, como sejam os parentesis curvos, os parentesis rectos, as cha-
vetas e as barras [ e |. Nos casos das chavetas { } e das barras | | h a o
detalhe tecnico de se ter de escrever \left\{ ou \left\| em vez de \left{
ou de \left| , no primeiro caso porque a chaveta sozinha e interpretada
pelo L
A
T
E
X como o incio ou o m de um grupo (tal como, por exemplo,
nos sobrescritos) e portanto, mesmo a obtensao da simples express ao 0,
em que as chavetas tem tamanho xo, tem de ser feita escrevendo \{0\}
para que delimitadores { e } sejam mesmo escritos, No caso das barras du-
plas porque se escrever \left| obter a apenas a barra simples de tamanho
vari avel...
Voltaremos a falar em delimitadores de tamanho ajustavel na pr oxima
Sec cao.
4
Antes do leitor comecar a insurgir-se com a falta de discernimento do L
A
T
E
X sobre o
que esta dentro e o que esta fora dos parentesis, convem atentar que qualquer das
express oes [0, 1], ]0, 1[, [0, 1[ e ]0, 1] fazem sentido em matematica e nao e pela posicao
relativa dos parentesis que nos sabemos qual e o lado de dentro: e porque sabemos
Matem atica, coisa que nao parece de todo razoavel exigir de um programa computacional
para a produ cao de texto...
21
Para terminar, convem observar que qualquer das instruc oes para os
smbolos da Figura 21 funciona exactamente como as instru coes para os
integrais e portanto deixa-se para treino do leitor tentar resolver as alneas
do seguinte desao
Exerccio 4 Escreva as instruc oes L
A
T
E
X que produzem o seguintes resul-
tados no moodle:
1. f

(x
0
) = lim
xx
0
f(x) f(x
0
)
x x
0
2. (z) =
(1 z)
2i
_

u
z1
e
u
1
du
3. = lim
_
_
n

j=1
1
j
ln n
_
_
4.

j=1
1
j
x
=

p{primos}
1
1 p
x
.
5. (K L)
n
=

p+q=n
K
p
L
q
6 Algo mais sosticado: instru coes multi-linhas
6.1 O ambiente array
Iremos terminar esta introdu cao ao L
A
T
E
X para o moodle com uma visita
guiada a algumas instrucoes que permitem escrever textos com multiplas
linhas que n ao podem ser desconectadas umas das outras sob pena do que
est a escrito perder todo o sentido. Isto ocorre muito naturalmente em todos
os ramos da matem atica, mas talvez o exemplo mais obvio seja o estudo de
matrizes em

Algebra Linear, e e por aqui que come camos esta Sec cao, como
e usual com mais uma mensagem-desao (Figura 24).
Vejamos antes de mais qual o aspecto nal daquilo que queremos que
surja no moodle:
_
_
1 2 1 0
0 2 1 1
2 1 0 0
_
_
_

_
3
0
1
2
_

_
=
_
_
2
3
6
_
_
(1)
onde seguimos a conven cao de, a menos que haja alguma ambiguidade, n ao
indicar explicitamente a opera cao de multiplica cao.
Comecemos por reparar que os delimitadores das matrizes ou vectores
(ou seja, dos quadros) que surgem na express ao acima, e que neste caso s ao
22
Figura 24: A quinta mensagem-desao.
parentesis rectos, tem um tamanho que depende da dimensao dos quadros
que s ao por eles delimitados.
Atendendo ao que vimos na Sec cao anterior isto e conseguido desde que
os quadros a escrever estejam delimitados por (neste caso) \left[ \right].
Portanto, para responder `a mensagem-desao resta saber como construir os
quadros de valores (matrizes e vectores) em causa.
Cada quadro e visto pelo L
A
T
E
X como uma unica entidade, cuja estru-
tura interna dependera de quadro para quadro e que tem de ser denida pelo
leitor consoante os casos. As instrucoes que indicam ao L
A
T
E
X que o que ir a
ser escrito e um quadro e que, portanto, os valores a serem escritos devem
ser tratados em conjunto, e o par \begin{array} \end{array} . Apos
escrever isto h a que fornecer duas indica coes adicionais: quantas colunas
ter ao de ser consideradas como fazendo parte do quadro, e em que posi cao
relativa dentro da coluna ser a escrito o que deve la aparecer (i.e., dever a ser
alinhado `a esquerda, `a direita, centrado?) Esta informa cao e dada ao L
A
T
E
X
por um conjunto de indica coes escritas entre { } imediatamente a seguir ao
\begin{array} : No caso da matriz (34) em (1) h a que indicar que existem
quatro colunas e que em todas elas h a que alinhar os seus elementos `a di-
reita. Isto e conseguido escrevendo \begin{array}{rrrr} : note os quatro
r, de right, direita em ingles, os que indica ao L
A
T
E
X que existem qua-
tro colunas, todas alinhadas `a direita. Se usarmos \begin{array}{rlrr}
o resultado ser a que a segunda coluna vem alinhada `a esquerda (l, de
left, esquerda) e se usarmos \begin{array}{rcrr} o resultado ser a
que a segunda coluna vem alinhada ao centro (c, de centre, centro).
Os resultados destas op coes seriam as seguintes matrizes
_
_
1 2 1 0
0 2 1 1
2 1 0 0
_
_
_
_
1 2 1 0
0 2 1 1
2 1 0 0
_
_
.
23
Agora que ja indic amos o tipo de delimitador (neste caso parentesis rectos),
o n umero de colunas e os respectivos alinhamentos, h a apenas que escrever os
elementos da matriz: estes s ao escritos linha-a-linha, separando os elementos
de colunas diferentes com & e terminando cada linha com \\, com excepcao
da ultima que terminara com a instrucao de m do quadro: \end{array}.
Note que o n umero de linhas n ao precisa de ser igual ao de colunas e que,
ao inves do que se passa com este, n ao se especica qual o n umero de linhas
a escrever: apenas as escrevemos ate chegar `a ultima!
Exemplicando com o caso da matriz (3 4) em (1) a instrucao que
dene a primeira linha ser a 1 & -2 & 1 & 0 \\ , para a segunda linha e
0 & 2 & 1 & 1\\ e para a terceira e ultima 2 & -1 & 0 & 0 (note-se que
n ao se escrevem os \\ no m da ultima linha).

E claro que se o quadro s o tiver uma coluna tudo se passa do mesmo

modo, mas neste caso cada linha s o tem um elemento. Por exemplo, o vector
coluna no membro direito de (1) ser a obtido com as instrucoes
\left[\begin{array}{r} -2 \\ 3 \\ -6 \end{array}\right]
Nesta altura o leitor ja poder a responder `a mensagem-desao. O que
deve escrever e o resultado que obter a s ao apresentados na Figura 25.
Figura 25: A resposta `a quinta mensagem-desao.
24

E claro que a capacidade de escrever formulas multi-linhas n ao e uma

exigencia exclusiva da

Algebra Linear. Qualquer sistema de equacoes, alge-
bricas ou n ao, lineares ou n ao-lineares, requer, em geral, para a sua escrita,
o recurso a instrucoes do mesmo tipo.
Vejamos mais um exemplo: o sistema de equacoes algebricas
a
1,1
x
1
+ a
1,2
x
2
= b
1
a
2,1
x
1
+ a
2,2
x
2
= b
2
poder a ser obtido, no ambiente array, como se indica na Figura 26
Figura 26: Usando array para escrever o sistema de equacoes algebricas
acima.

E usual em matem atica agrupar as diferentes equacoes de um sistema

com uma chaveta, usualmente no lado esquerdo do sistema. Para tal lem-
braria anteceder o \begin{eqnarray} com um \left\{ . Mas temos de ter
em aten cao que a qualquer \left h a que corresponder um \right (mesmo
que nada obrigue a que o delimitador do lado direito seja igual ao do lado es-
querdo!) Como nestes casos de sistemas n ao queremos, usualmente, nenhum
delimitador do lado direito, eu diria que estamos em apuros...
Acontece que o L
A
T
E
X tem um modo de dar volta `a situa cao: as ins-
tru coes \left. ou \right. (aten cao ao ponto .!) fornecem delimitadores
fantasmas no local correspondente (`a esquerda ou `a direita, respectivamente)
e portanto o leitor apenas ver a o outro delimitador real n ao-fantasma. Re-
25
pare como a utiliza cao deste recurso do L
A
T
E
X permite alterar o aspecto que
tinha a mensagem apresentada na Figura 27.
Figura 27: Usando array para escrever o sistema de equacoes algebricas
acima, desta feita com chavetas no lado esquerdo, como e mais usual fazer-
se.
O ambiente array e tambem particularmente util para escrever fun coes
denidas por diferentes express oes em diferentes regi oes. Um caso impor-
tante e a famosa funcao de Dirichlet (a funcao caracterstica dos racionais)
tal como se indica na Figura 28:
Convem chamar a aten cao para os se que surgem na denicao da
funcao de Dirichlet na Figura 28. Nao e de todo invulgar necessitarmos de
escrever texto no interior de formulas matem aticas. A m de que o texto que
se escreve seja facilmente distinguido dos restantes smbolos matem aticos
convem escrever esse texto entre as chavetas da instrucao \text{ } , como
foi feito na Figura 28. (Aten cao ao espa co entre o se e o parentesis } da
instrucao \text{ }).
Esta instrucao permite ainda denir nota coes adicionais para fun coes, do
26
Figura 28: Usando array para escrever a denicao da funcao de Dirichlet.
27
tipo das que surgem na Figura 17. Por exemplo, os operadores diferenciais
divergencia, representado usualmente por div , e rotacional, represen-
tado por rot em portugues (ou por curl em ingles) n ao aparecem denidos
na vers ao base do L
A
T
E
X usada no moodle, facto que certamente n ao nos
impede de escrevermos as Equa coes de Maxwell:
Figura 29: As equacoes de Maxwell. (Exerccio: escreva as instrucoes L
A
T
E
X
que originam este resultado).
Convem observar que, ao inves do que aconteceu nos exemplos tratados
ate agora nesta Sec cao, nem todas as posi coes dos quadros do ambiente
array precisam estar preenchidas. Alias, esta e uma caracterstica do
ambiente array especialmente util, por permitir uma grande exibilidade.
Um exemplo tpico de aplica cao dessa caracterstica e quando h a neces-
sidade de deducoes que naturalmente se estendem por mais de uma linha de
texto, como em
P[X n/2] E(X)/(n/2)
(k 2)n
k1
p
k
= (k 2)n
k1
A utiliza cao do ambiente array para este tipo de quadros em nada difere do
que foi feito anteriormente: n ao escrevendo nada na correspondente posi cao
do array surgira o pretendido espa co em branco:
$$
\begin{array}{lcl}
P[X \geq n/2] & \leq & E(X)/(n/2) \\
& \leq & (k-2)n^{k-1}p^k\\
& = & (k-2)n^{k\epsilon -1}
\end{array}
$$
28
Terminamos esta Sec cao com uns quantos exerccios para o leitor resolver.
Exerccio 5 Escreva as instruc oes L
A
T
E
X que produzem o seguintes resul-
tados no moodle:
1.

R
t

R =
_
1 0
0 R
t
__
1 0
0 I
__
1 0
0 R
_
=
_
1 0
0 R
t
R
_
=
_
1 0
0 I
_
=
2. e
uB
3
=
+

n=0
1
n!
_
u
2
_
n
_
1 0
0 1
_
n
=
_
e
u
2
0
0 e

u
2
_
SL(2, C)
3. O sistema de Lorenz:
_
_
_
x

+ x y = 0
y

+ x + y + xz = 0
z

+ bz xy = b(r + )
4. A propriedade de semigrupo para operadores sectoriais:
A

=
1
()()
_

0
_

0
t
1
s
1
e
A(t+s)
dsdt
=
1
()()
_

0
e
Au
__
u
0
t
1
(u t)
1
dt
_
du
=
1
()()
_

0
u
+1
e
Au
__
1
0
z
1
(1 z)
1
dz
_
du
= A
(+)
.
5. O Teorema de Cayley para grupos:
f : G Sym(G)
a a : G G
g ga
6.2 Os ambientes matrix
O modo de criar matrizes que vimos no incio da Sec cao anterior e muito
exvel mas um pouco trabalhoso, requerendo a denicao pelo leitor do
n umero de colunas da matriz e do alinhamento de cada uma delas, alem de
necessitar escrever as instrucoes dos delimitadores de tamanho ajustavel.
Tudo isto pode ser bastante abreviado usando os ambientes da famlia
matrix desde que o leitor n ao se importe de prescindir da liberdade do
alinhamento e esteja aberto a memorizar mais umas quantas instrucoes (n ao
h a bela sem sen ao. . . )
Os ambientes da famlia matrix s ao cinco: pmatrix para matrizes deli-
mitadas por ( ) (p de parentesis), bmatrix para matrizes delimitadas por
[ ] (b de brackets), Bmatrix para matrizes delimitadas por , vmatrix
29
para matrizes delimitadas por [ [ e Vmatrix para matrizes delimitadas por
| |. Neste ambientes n ao e necessario denir `a partida o n umero de colunas
das matrizes e o alinhamento e feito automaticamente ao centro. O modo de
introduzir os elementos de cada matriz e igual ao que era feito no ambiente
array.
Como ilustracao, considere a matriz (2 2) de elementos 0 e f na
primeira linha e 1 e g
2
na segunda. Tem-se o seguinte:
\begin{pmatrix}0&\nabla f\\-1&g^2\end{pmatrix} resulta em:
_
0 f
1 g
2
_
\begin{bmatrix}0&\nabla f\\-1&g^2\end{bmatrix} resulta em:
_
0 f
1 g
2
_
\begin{Bmatrix}0&\nabla f\\-1&g^2\end{Bmatrix} resulta em:
_
0 f
1 g
2
_
\begin{vmatrix}0&\nabla f\\-1&g^2\end{vmatrix} resulta em:

0 f
1 g
2

\begin{Vmatrix}0&\nabla f\\-1&g^2\end{Vmatrix} resulta em:

_
_
_
_
0 f
1 g
2
_
_
_
_
Nota nal Antes de terminar uma ultima chamada de aten cao: estas
notas pretendem ser apenas umas r apidas observacoes introductorias assi-
nalando assuntos que ser ao impriscindveis para quem quer que va estudar
matem atica ou fsica em ambiente online.

E importante que o leitor tenha consciencia que s ao suportadas no mo-

odle muitas mais instucoes L
A
T
E
X do que aquelas que aqui foram referidas
e que e muito provavel que va necessitar de usar algumas delas mais cedo
do que imagina. Quando tal acontecer, as listas de smbolos em [2] dever ao
ser particularmente uteis.
O leitor, ap os se sentir confortavel com os temas que aqui foram tratados,
dever a come car a explorar por si pr oprio o vasto mundo do L
A
T
E
Xpara a
produ cao aut onoma de documentos ([2] e [3] s ao excelentes pontos de partida
que recomendo vivamente). Ver a que o pequeno esforco adicional que ter a
de fazer ser-lhe-a, a muito curto prazo, amplamente compensado.
30
Referencias
[1] D.P. Carlisle, R. Kaye; Essential Mathematical L
A
T
E
X2

,
disponvel no local da internet com o endereco
http://www.sci.usq.edu.au/staff/robertsa/LaTeX/Others/el2emath.pdf
(consultado em 31 de Julho de 2007)
[2] M. Downes; Short Math Guide for L
A
T
E
X, disponvel no local da internet
com o endereco http://www.ams.org/tex/amslatex.html (consultado em
3 de Agosto de 2007)
[3] L. Lamport; L
A
T
E
X A Document Preparation System, 2nd Edition,
Addison-Wesley, Reading, 1994.
[4] S. Parkin; The Comprehensive L
A
T
E
X Symbol List,
disponvel no local da internet com o endereco
http://tug.ctan.org/tex-archive/info/symbols/comprehensive/symbols-a4.pdf
(consultado em 28 de Julho de 2007)
31