apresentacaoIIIparaImprimir PDF

TEX, Texto Matematico
Curso de LATEX
Texto matematico, ou como escrever uma formula em TEX.

Modo Matematico Formulas em linhas de texto.
$ ...$
\begin{math} . . . \end{math}
$ . . . $
Parte III
Pedro Quaresma
Modo Matematico em Destaque Formulas destacadas do texto.

$$ . . . $$
TEX/LATEX
\begin{displaymath} . . . \end{displaymath}
LATEX
\[ . . . \]
LATEX
Departamento de Matem
atica
Faculdade de Ci
encias e Tecnologia
Universidade de Coimbra
Fevereiro/Marco de 2009
P. Quaresma (DM/FCTUC)
Curso de LATEX- III (vers

ao 1.1)
TEX/LATEX
LATEX
LATEX
1 / 30

ao 1.1)
2 / 30
Texto Normal vs Texto Matematico.

...x+2 ... 7 . . . x+2 . . .
...$x+2$ ... 7 . . . x + 2 . . .
Smbolos acessveis directamente: x

proprio).
Smbolos acessveis indirectamente: letras gregas, caligraficas,

operadores, . . .
Texto Matematico vs Texto Matematico em Destaque.

...$n!=\prod {i=1}^n i$ ... 7 . . . n! =
Qn
i=1 i
...
Estruturas simples: ndices, expoentes, fraccoes, radicais, . . .

Estruturas mais complexas: matrizes, equacoes, sistemas de equacoes,
...
...$$n!=\prod {i=1}^n i$$ ... 7 . . .

n! =
n
Y
(x, mas com um tipo de letra
Proposicoes, Lemas, Teoremas, . . .

i
Extensoes (AMSTEX, dcpic, . . . )
i=1
...

ao 1.1)
3 / 30

ao 1.1)
4 / 30
TEX, Indices & Expoentes & Barras
TEX, Chavetas Horizontais & Fraccoes

Chavetas Horizontais inferiores e superiores
Indices & Expoentes
z }| {
xi 3
xi 3
| {z }
\underbrace{x+\cdots+x} {n\mathrm{\ vezes}}
7 |x + {z
+ x}
\overbrace{xî\times3}
\underbrace{x i\times 3}
ndice>^<expoente>
<s
mbolo> <
x i 7 xi
x i^j 7 xij
j1
x {i+1}^{j-1} 7 xi+1
x {i j^k} 7 xi k
n vezes
Fraccoes
x {i j}^k
xikj
barras inferiores e superiores

\overline{xî\times 3}
\underline{x i\times 3}
7
7
xi 3
xi 3
\underline{\overline{x i^j}}
xij

ao 1.1)
7
7
\frac{<numerador>}{<denominador>}
<numerador> \atop <denominador>
<numerador> \choose <denominador>
<numerador> \above<dimens~
ao> <denominador>
5 / 30
TEX, Radicais & Reticencias
\frac{1}{n+1}
1\choose{n+1}
1
n+1
1\atop{n+1}
1
n+1
1\above2pt{n+1}

ao 1.1)
LATEX
TEX/LATEX
TEX/LATEX
TEX/LATEX
1
n+1
1
n+1
6 / 30
TEX, Smbolos Variaveis

Somatorios, Produtorios, Uniao de Conjuntos, . . . (ver tabela 1)
Radicais (smbolo de raz de grau n)

\sqrt[<expoente>]{<f
ormula>}
n
\sqrt[n]{x} 7
x
\sqrt{b^2-4ac} 7 rb 2 4ac
q
1
\sqrt{\sqrt{x^2+\frac{1}{x+y}}} 7
x 2 + x+y
Modo matematico
...$\sum
P+ {i=0}^{+\infty} i$ ... 7
... i=0 i...
Modo matematico em Destaque
...$$\sum {i=0}^{+\infty} i$$ ... 7
+
X
Reticencias
\dots
\ldots
\cdots
dots
low dots
center dots
\vdots
\ddots
vertical dots
a. . . z
a. . . z
x + + x
..
.
s
o modo matematico
diagonal dots
..
s
o modo matematico
ambos os modos
ambos os modos
s
o modo matematico
...
i=0
...
Este comportamento variavel de acordo com o modo em que se esta e
tambem seguido por outros smbolos/comandos (ver tabela 2)
limx0 f (x)
\lim {x\rightarrow 0} f(x)
lim f (x)
x0
em que o comando lim faz parte de um conjunto de funcoes usuais

em textos matematicos.

ao 1.1)
7 / 30

ao 1.1)
8 / 30
Tabela de Smbolos Variaveis
a
Z
R
H
\sum
\prod
\coprod
\int
\oint
\bigwedge
Tabela de Funcoes e Limites
\bigcap
\bigodot
\bigcup
\bigotimes
\bigsqcup
\bigoplus
\bigvee
\biguplus
\arccos
\arcsin
\arctan
\arg
\cos
\cosh
\cot
\coth
\csc
\deg
\det
\dim

ao 1.1)
\ker
\lg
\lim
\liminf
\limsup
\ln
\log
\max
\min
\Pr
\sec
\sin
\sinh
\sup
\tan
\tanh
Tabela: Funcoes e Limites
Tabela: Smbolos Variaveis
\exp
\gcd
\hom
\inf
9 / 30

ao 1.1)
10 / 30
Tabela Letras Gregas
TEX, Letras Gregas, Caligraficas, . . .

Letras Gregas para se obter uma letra grega basta usar o comando com o
nome (em ingles) da letra grega que se pretende (ver
tabela 3)
\alpha 7
Letras Caligraficas para se obter uma letra caligrafica (so mai
usculas),
tem-se o comando cal.
{\cal A} 7 A
Blackbord Bold o TEX nao possu os smbolos habituais para o
conjuntos numericos ( , , . . .).
AMSTEX \usepackage{amssymb} \mathbb{A} 7
A
Dstroke \usepackage{bbm} \mathbbm{A} 7
NZ
\alpha
\beta
\gamma
\delta
\epsilon
\varepsilon
\zeta
\eta
\Gamma
\Delta
\Theta
Min
usculas
\theta
o
\vartheta
\iota
$
\kappa
\lambda %
\mu
\nu
\xi
Mai
usculas
\Lambda
\Xi
\Pi
o
\pi
\varpi
\rho
\varrho
\sigma
\varsigma
\tau
\upsilon
\phi
\varphi
\chi
\psi
\omega
\Sigma
\Upsilon
\Phi
\Psi
\Omega
Tabela: Letras Gregas
Smbolos Variados ver tabelas 4, 5, 6, 7


ao 1.1)
11 / 30

ao 1.1)
12 / 30
Tabela Operadores Binarios
\pm
\mp
\times
\div
\ast
\star
\circ
\bullet
\cdot
]
u
t
\
o
\cap
\cup
\uplus
\sqcap
\sqcup
\vee
\wedge
\setminus
\wr

4
5
/
.
C
B
E
D
Tabela Operadores Relacionais
\diamond
\bigtriangleup
\bigtriangledown
\triangleleft
\triangleright
\lhd
\rhd
\unlhd
\unrhd
\oplus
\ominus
\otimes
\oslash
\odot
\bigcirc
\dagger
\ddagger
\amalg

@
v
\leq
\prec
\preceq
\ll
\subset
\subseteq
\sqsubset
\sqsubseteq
\in
\vdash

A
w
3
a
\geq
\succ
\succeq
\gg
\supset
\supseteq
\sqsupset
\sqsupseteq
\ni
\dashv
'

=
6=
.
=
\equiv
\sim
\simeq
\asynp
\approx
\cong
\neq
\doteq
\propto
|=
|
k
./
o
n
^
_
\models
\perp
\mid
\parallel
\bowtie
\Join
\smile
\frown
Tabela: Smbolos de Operadores Binarios

Tabela: Smbolos Relacionais

ao 1.1)
13 / 30
Tabela Setas
7
(
)
\leftarrow
\Leftarrow
\rightarrow
\Rightarrow
\leftrightarrow
\Leftrightarrow
\mapsto
\hookleftarrow
\leftharpoonup
\leftharpoondown
\rightleftharpoons

ao 1.1)
14 / 30
Tabela Miscelanea
7
,
*
+
\longleftarrow
\Longleftarrow
\longrightarrow
\Longrightarrow
\longleftrightarrow
\Longleftrightarrow
\longmapsto
\hookrightarrow
\rightharpoonup
\rightharpoondown
\leadsto
l
m
%
&
.
-
\uparrow
\Uparrow
\downarrow
\Downarrow
\updownarrow
\Updownarrow
\nearrow
\searrow
\swarrow
\nwarrow
<
=
f
\aleph
\hbar
\imath
\jmath
\ell
\wp
\Re
\Im
\mho
>
\prime
\emptyset
\nabla
\surd
\top
\bot
\|
\angle
[
\
]
\
\forall
\exists
\neg
\flat
\natural
\sharp
\backslash
\partial
\infty
\Box
\Diamond
\triangle
\clubsuit
\diamondsuit
\heartsuit
\spadesuit
Tabela: Miscelanea
Tabela: Setas

ao 1.1)
15 / 30

ao 1.1)
16 / 30
TEX, Negacao & Espacamento
TEX, Acentos
Negacao de smbolos comando not

\not= 7 =
6
\not\in 7 6
Espacamento todo o espacamento e feito de forma automatica em Modo
Matematico, para o podermos controlar podemos recorrer
aos comandos:
\quad e \qquad 7 | | e |
|
(ambos os
modos)
um espaco \
7 | |
(ambos os modos)
comandos de espacamento, ver tabela 8.
introduzir uma caixa mbox em modo texto, por
exemplo:
$. . . \mbox{| \hspace{2cm}|}. . . $ 7
...|
|...
Esta u
ltima forma de introduzir espaco serve tambem para
introduzir texto corrente dentro de texto matematico.
ao 1.1)
17 / 30
\, espaco pequeno
\! espaco pequeno negativo
de destacar o acento \vec{x} 7 ~x .

E
Acentos longos os acentos e tem versoes alongadas.
\widetilde{xyz} 7 g
xyz
\widehat{xyz} 7 d
xyz
o exemplo apresentado da-nos a maxima extensao existente.

ao 1.1)
18 / 30
LATEX, Empilhando Smbolos
Tabelas Espacamento & Acentos

||
||
Acentos nao e possvel usar os comandos normais para produzir os

acentos dentro do modo matematico, e necessario usar os
comandos descritos na tabela 9.
||
||
Como e que poderemos produzir o seguinte?

X
aij bjk cki .
\: espaco medio
\; espaco grande
1ip
1jq
1kr
Tabela: Espacamento em Modo Matematico
O LATEX define o comando stackrel para este efeito.

$A \stackrel{f}{\longrightarrow} B$
x
x
x
x
x
\hat{x}
\tilde{x}
\check{x}
\dot{x}
\bar{x}
x
x`
x
x
~x
\acute{x}
\grave{x}
\breve{x}
\ddot{x}
\vec{x}
A B
Note-se que:
o primeiro argumento vai ficar em tamanho reduzido;
o segundo argumento fica alinhado com a restante linha.
Mas os elementos no exemplo acima apresentado estao todos com o
mesmo tamanho!?
Tabela: Acentos em Modo Matematico
Podemos explicitar a forma dos diferentes intervenientes numa formula

atraves dos comandos \displaystyle, \textstyle, \scriptstyle,
\scriptscriptstyle.

ao 1.1)
19 / 30

ao 1.1)
20 / 30
LATEX, Equacoes
LATEX, Sistemas de Equacoes
O meio ambiente matematico equation

\begin{equation}<linha> \end{equation}
O meio ambiente matematico eqnarray
pode ser usado para produzir equac

oes (linha destacada), numeradas
automaticamente, e com possibilidade de referenciacao.
\begin{eqnarray}
<lado_esq1> & <s\\i mbolo> & <lado_dir1> \\
...
<lado_esqn> & <s\\i mbolo> & <lado_dirn>
\end{eqnarray}
\begin{equation}
e^{i\pi}+1=0 \label{eq:Euler}
\end{equation}
produz
e i + 1 = 0
(1)
a numeracao e por captulo, em livros, e por documento, em artigos e

relatorios.
pode-se inibir a producao do n
umero atraves do comando nonumber
a utilizacao do comando ref com a chave respectiva da-nos a
referencia da equacao.

ao 1.1)
21 / 30
LATEX, Sistemas de Equacoes

ao 1.1)
22 / 30
O meio ambiente matematico array e identico ao ambiente tabular, mas

para ser usado em modo matematico.
numeracao automatica - como para as equacoes;

o comando nonumber inibe o numero na equacao em que e usado;
o ambiente eqnarray* e igual ao ambiente eqnarray mas sem a
producao de n
umeros de equacao.
Para dividir uma dada equacao por mais do que uma linha e
necessario usar o comando lefteqn
$\begin{array}{<esp_alinhamento>}
... & ... \\
...
... & ...
\end{array}$
necessario explicitar a mudanca para modo matematico.
E
\lefteqn{<s\\i mbolo> <lado_dir>}

ao 1.1)
TEX, Matrizes
alinhamento - r c l;
pode ser usado para produzir sistemas de equacoes (linhas destacadas),

numeradas automaticamente, alinhadas em relacao ao smbolo, e com
possibilidade de referenciacao.
23 / 30

ao 1.1)
24 / 30
TEX, Delimitadores
TEX, Delimitadores
O TEX possu um conjunto de smbolos (ver tabela 10) capazes de

delimitar uma dada construcao matematica e que se ajustam
automaticamente às dimens
oes da mesma.
O ajuste automatico e feito atraves dos comandos \left<s
mboloA> e
\right<s
mboloB>.
Por exemplo:
$\left|
\begin{array}{cc}
1 & 2 \\
3&4
\end{array}\right|
= -2$

1 2

3 4

ao 1.1)
25 / 30
(
[
\{
\lfloor
\lceil
\langle
/
|
)
]
}
c
e
i
\
k
)
]
\}
\rfloor
\rceil
\rangle
\backslash
\|
\uparrow
\downarrow
\updownarrow
\Uparrow
\Downarrow
\Updownarrow

ao 1.1)
26 / 30
Teoremas, Lemas, Corolarios, Definicoes, . . . , sao estruturas de texto que:

estao destacadas do restante texto;
I
I
I

ao 1.1)
Nome do ambiente;
espacamento;
tipo de letra.
tem (opcionalmente) um ttulo;

sejam numeradas automaticamente;
sejam referenciaveis.
Tabela: Delimitadores
o smbolo usado nao necessita de ser o mesmo;

1 2
3 4
LATEX, Teoremas, Corolarios, . . .
Tabela de Delimitadores
(
[
{
b
d
h
/
|
podemos aninha-los;
existe o delimitador invisvel . para quando so se quer usar um

smbolo delimitador;

x,
se x < 0
|x| =
x,
se x 0

= 2

Os comandos left e right tem de emparelhar.
27 / 30

ao 1.1)
28 / 30
Teorema (Fermat)
Embora nao seja obrigatorio e usual colocar a definicao dos novos ambiente no
preambulo.
Nao existem inteiros n > 2, e x, y , z tais que x n + y n = z n .

Para poder definir ambientes deste tipo o LATEX providencia o constructor.
a numeracao sera do tipo n.m, com n o n

umero do captulo, e m o n
umero
do teo/cor.
\newtheorem{<nome>}[<amb>]{<etiqueta>}[<sec\c c\~ao>]}
num mesmo captulo a numeracao sera incremental e comum para os teo e

cor.
nome - nome do novo contexto;

amb - nome de um outro ambiente, os dois ambientes irao partilhar o
mesmo contador;
chapter, no estilo livro;

section, nos estilos artigo e relatorio.

ao 1.1)
Na utilizacao dos novos ambientes e possvel especificar um argumento opcional.

\begin{teo}[Fermat]
N\~ao existem inteiros $n>2$, e $x,y,z$ tais que $x^n+y^n=z^n$.
\end{teo}
etiqueta - nome do ambiente a aparecer no texto;

sec
c~
ao - seccao do texto que determina a numeracao automatica,
por omissao:
I
\newtheorem{teo}{Teorema}[chapter]
\newtheorem{cor}[teo]{Corol\ario}
Teorema (Fermat)
Nao existem inteiros n > 2, e x, y , z tais que x n + y n = z n .
29 / 30

ao 1.1)
30 / 30

apresentacaoIIIparaImprimir PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

apresentacaoIIIparaImprimir PDF

Enviado por

Direitos autorais:

Formatos disponíveis

TEX, Texto Matematico

Texto matematico, ou como escrever uma formula em TEX.

Modo Matematico em Destaque Formulas destacadas do texto.

Curso de LATEX- III (vers

TEX, Texto Matematico

Curso de LATEX- III (vers

TEX, Texto Matematico

Texto Normal vs Texto Matematico.

Smbolos acessveis directamente: x

Smbolos acessveis indirectamente: letras gregas, caligraficas,

Texto Matematico vs Texto Matematico em Destaque.

Estruturas simples: ndices, expoentes, fraccoes, radicais, . . .

...$$n!=\prod {i=1}^n i$$ ... 7 . . .

(x, mas com um tipo de letra

Proposicoes, Lemas, Teoremas, . . .

Extensoes (AMSTEX, dcpic, . . . )

Curso de LATEX- III (vers

Curso de LATEX- III (vers

TEX, Indices & Expoentes & Barras

TEX, Chavetas Horizontais & Fraccoes

Indices & Expoentes

barras inferiores e superiores

Curso de LATEX- III (vers

TEX, Radicais & Reticencias

Curso de LATEX- III (vers

TEX, Smbolos Variaveis

Radicais (smbolo de raz de grau n)

em que o comando lim faz parte de um conjunto de funcoes usuais

Curso de LATEX- III (vers

Curso de LATEX- III (vers

Tabela de Smbolos Variaveis

Tabela de Funcoes e Limites

Curso de LATEX- III (vers

Tabela: Funcoes e Limites

Tabela: Smbolos Variaveis

Curso de LATEX- III (vers

Tabela Letras Gregas

TEX, Letras Gregas, Caligraficas, . . .

Tabela: Letras Gregas

Smbolos Variados ver tabelas 4, 5, 6, 7

Curso de LATEX- III (vers

Curso de LATEX- III (vers

Tabela Operadores Binarios

Tabela Operadores Relacionais

Tabela: Smbolos de Operadores Binarios

Curso de LATEX- III (vers

Curso de LATEX- III (vers

Curso de LATEX- III (vers

Curso de LATEX- III (vers

TEX, Negacao & Espacamento

Negacao de smbolos comando not

de destacar o acento \vec{x} 7 ~x .

Curso de LATEX- III (vers

LATEX, Empilhando Smbolos

Tabelas Espacamento & Acentos

Acentos nao e possvel usar os comandos normais para produzir os

Como e que poderemos produzir o seguinte?

Tabela: Espacamento em Modo Matematico

O LATEX define o comando stackrel para este efeito.

Tabela: Acentos em Modo Matematico

Podemos explicitar a forma dos diferentes intervenientes numa formula

Curso de LATEX- III (vers

Curso de LATEX- III (vers