M rng mi trng nh l

Wolfgang May hmay@informatik.uni-freiburg.dei

Andreas Schlechte hntheorem@andreas-schlechte.dei
Bin dch: kyanh hkyanh@o2.pli
Bn dch s 873 (2005/12/8)
cho ntheorem bn 1.24 (2004/09/20)

Tm tt ni dung
ntherem.sty l gi th hin cc mi trng (ta) nh l. Bn cnh cc
tnh nng gip thay i cch th hin mi trng (ta) nh l, gi cn gip
gii quyt vi vn lin quan: t du kt thc (endmarks), to bng lit
k cc nh l.
Tri vi cc cch tip cn trc y, gi gii quyt vn t du kt
thc (endmarks) cho cc mi trng ta nh l (theorem, definition,
example, proof) mt cch t ng, chnh xc, ngay c i vi mi trng
kt thc bi mi trng displaymath hoc mi trng danh sch (thm ch
cc mi trng ny c th lng nhau nested); nh gii quyt c
hon ton cc trc trc khi dng gi amsmath. Nguyn l lm vic ca gi
ging nh cch LATEX iu khin vic t nhn, bng cch s dng cc tp
tin .aux.
Gi cung cp lnh to danh sch cc mi trng ta nh l, tng
t nh khi lit k cc hnh v bng \listoffigures.
Sau khi bin dch ti liu vi ln (s ln tu thuc vo s phc tp ca
cc tham kho cho; thng th ba ln l ), cc du kt thc (endmarks)
s c t ng ch, v danh sch cc nh l s c to ra.
Do gi ntheorem.sty s dng lnh \newtheorem ca LATEX chun, cc
ti liu c c th chuyn qua dng gi m khng cn thay i ni dung.
Ngoi ra, gi cn tng thch vi cc ti liu dng gi theorem.sty ca
Frank Mitterbach.

License & Copyright Information

This is part of ntheorem-doc-vn bundle.

---------------------------------------------------------Copyright (C) 2005 kyanh <kyanh at o2 dot pl>
---------------------------------------------------------This work may be distributed and/or modified under the
conditions of the LaTeX Project Public License, either version 1.3
of this license or (at your option) any later version.
The latest version of this license is in
http://www.latex-project.org/lppl.txt
and version 1.3 or later is part of all distributions of LaTeX
version 2003/12/01 or later.
This work has the LPPL maintenance status "maintained".
Current maintainer of this work is kyanh <kyanh at o2 dot pl>.
List of files of this bundle can be found in FILELIST.
These files *MUST* be distributed as a whole.

FILELIST
./FILELIST
./README
./COPYING
./ntheorem-doc-vn.pdf
./test.tex
./test.pdf
./src/TODO
./src/README.src
./src/Makefile
./src/ntheorem-doc-vn.tex
./src/example.tex
./src/license.tex
./src/intro.tex
./src/test.tex
./src/user-interface.tex
./src/help.tex
./src/thanks.tex
./src/endmarks.tex
./src/interference.tex
./src/preamble.tex
./src/title-abstract.tex

1 Acknowledgements

2 Gii thiu. Ghi ch

3 S dng gi
3.1 Np gi . . . . . . . . . . . . . . . . . . .
3.2 nh ngha THM mi . . . . . . . . . . .
3.3 Thay i kiu dng . . . . . . . . . . . . .
3.3.1 Cc tham s chung . . . . . . . . .
3.3.2 Cho tng THM c th . . . . . . .
3.3.3 La chn font . . . . . . . . . . . .
3.3.4 Cc kiu nh ngha . . . . . .
3.3.5 Thit lp mc nh . . . . . . . . .
3.3.6 Cc THM chun . . . . . . . . . .
3.3.7 THM chun c nhn . . . . . . . .
3.4 Danh sch THM . . . . . . . . . . . . . .
3.4.1 Thay i kiu danh sch THM . .
3.4.2 Ghi thng tin vo danh sch THM
3.5 nh ngha kiu (danh sch) THM . . . .
3.5.1 nh ngha kiu THM . . . . . . .
3.5.2 nh ngha kiu danh sch THM .
3.6 Du kt thc . . . . . . . . . . . . . . . .
3.7 Tham kho m rng . . . . . . . . . . . .
3.8 Linh tinh . . . . . . . . . . . . . . . . . .
4 nh hng n cc gi khc
4.1 nh hng n tu chn lp ti liu
4.2 Vi gi amslatex . . . . . . . . . . .
4.2.1 Vi gi amsmath . . . . . . .
4.2.2 Vi gi amsthm . . . . . . . .
4.3 Vi gi babel . . . . . . . . . . . . .
4.4 Vi gi hyperref . . . . . . . . . . . .
5 Vn
5.1
5.2
5.3

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

4
4
6
6
7
7
8
8
9
9
9
10
10
10
11
11
12
12
13
14

.
.
.
.
.
.

14
14
14
14
15
15
15

thng gp
15
Gii hn ca gi ntheorem . . . . . . . . . . . . . . . . . . . . . . . 15
Cc BUG bit . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Cu hi m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

6 V d
18
6.1 Tham kho m rng . . . . . . . . . . . . . . . . . . . . . . . . . . 23
6.2 Danh sch THM . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

Acknowledgements

This place is dedicated to all those, who helped us developing our separate styles
and this combined package. Thanks to (listed in alphabetical order):
Donald Arseneau, Giovanni Dore, Oliver Karch, Frank Mittelbach,
Gerd Neugebauer, Heiko Oberdiek, Boris Piwinger, Bernd Raichle,
Rainer Schopf, Didier Verna.

Gii thiu. Ghi ch

Mt mi trng ta nh l, ta gi tt l (mi trng) THM, c minh ha

nh Hnh 1 trang lin sau. Vi mi THM, cc tn nh l, h qu, b ,
tin , nh ngha, v d, ghi ch, chng minh,. . . c gi l tn ca THM.
Phn header ca THM bao gm tn ca THM, ch s ca THM, tn tu chn (hay
tn ring) ca THM. Phn ni dung ca THM cn gi l thn (body) ca THM.
rng, tn ca THM khc vi tn ca mi trng THM.1 Trong v d sau,
\newtheorem{foobar}{Menh de}

ta c THM foobar, vi tn l Menh de, nhng tn ca mi trng tng ng l

foobar. i khi, ta s gi mi trng THM thay cho tn ca mi trng THM.
Cch th hin THM c th c thay i nh cc tham s v kiu ch cho header,
cho thn THM, cc b tr header, khong trng tht u dng, cch nh s,. . .
tha mn cc yu cu thay i ny, gi theorem.sty ca Fran Mittelbach c
vit v tr thnh gi chun ca LATEX t rt lu.
Tuy nhin, cc tnh nng khc nhng du kt thc endmarks, danh sch cc
theorem vn cha c h tr bi gi chun . Gii quyt vn ny, c hai
m rng ca gi theorem.sty c pht trin: mt gi chuyn v iu khin
endmarks, gi thmmarks.sty, v mt gi chuyn v lit k danh sch THM, gi
newthm.sty. Sau , Frank Mittelbach ngh kt hp cc h tr ca hai gi ny
vo cng mt gi mi (s l chun). chnh l gi ntheorem.sty ;)

S dng gi

3.1

Np gi

Gi ntheorem.sty c th np nh sau
\usepackage[hoptions i]{ntheorem}
vi hoptions i l danh sch cc tu chn v cc yu cu c bit.
Cc tu chn c cho nh hoptions i nh sau:
standard
noconfig

standard noconfig
1
Trong thc t, thng tn ca mi trng THM v tn ca THM c s tng ng 1-1, v d
menhde ng vi Mnh , dinhly ng vi nh l. Do , trong a s trng hp, s phn bit
ny khng c ngha quan trng. . . kyanh

Hnh 1: Mi trng THM

xem Mc 3.3.6 trang 9 v Mc 3.3.7 trang 9. Vi mt trong hai ty chn

standard v noconfig, bn c th la chn vic s dng hoc khng tp
hp cc mi trng THM c nh ngha sn.
amsthm

amsthm
ty chn amsthm khi c dng s bo m tnh tng thch vi cc mi
trng THM cung cp bi gi amsthm. Xem Mc 4.2 trang 14.

thmmarks

thmmarks
tu chn thmmarks ng gi ntheorem.sty t ng t du kt thc
(endmarks) (xem Mc 3.3); khi dng vi gi amsthm, ty chn thmmarks
phi c dng km vi tu chn amsmath. Xem thm Mc 4.2.

thref

thmref
tu chn thref cho php m rng kh nng tham kho cho. Xem Mc 6.1
trang 23; khi dng vi gi amsthm, tu chn ny phi i km vi tu chn
amsmath. Xem thm Mc 4.2.

hyperref

hyperref
tu chn hyperref bo m tng thch vi gi hyperref. Xem Mc 4.4
trang 15.
Di y l mt v d:
5

\usepackage{hyperref}
\usepackage[hyperref,thmmarks,noconfig]{ntheorem}

Vi cch np gi nh trn, bn s phi t nh ngha cc mi trng THM, cc

du kt thc s c nh v t ng. V ta dng gi hyperref, ta phi bo m
tnh tng thch nh tu chn hyperref.

3.2
\newtheorem

nh ngha THM mi

\newtheorem
C php ca lnh hon ton ging nh ca lnh chun \newtheorem. Lnh s
nh ngha mt THM mi. C hai tham s bt buc l tn ca mi trng v tn
ca THM. Tham s b sung ch ra cch nh s mi trng.
\newtheorem{vidu}{V d}
nh ngha mi trng vidu, vi tn l V d (nh vy, bn s c V d 1,
V d 2, . . . ). Mi trng ny s dng b m ring vidu, v bn c th
thay i gi tr gi tr b m ny, chng hn \setcounter{vidu}0.
\newtheorem{vidu2}[vidu]{V d khc}
nh ngha mi trng vidu2, vi tn l V d khc. Mi trng ny s s
dng cng b m ca mi trng vidu trong v d trc.
\newtheorem{baitap}{Bi tp}[section]
nh ngha mi trng baitap (vi tn l Bi tp), s dng b m thay
i theo mc (section). Nu bn ang Mc s 5 chng hn, bn s c
Bi tp 5.1, Bi tp 5.2, . . . Mi khi chuyn qua mc mi, b m s
c t v khng, ngha l bn s c Bi tp 6.1, Bi tp 6.2, . . . ,
Bi tp 7.1, Bi tp 7.2, . . .
Khi gi lnh \newtheorem to mi trng hname i, thc ra s c hai mi trng
c to ra, l hname i v hname* i. im khc bit duy nht gia hai mi trng
ny, cng ging nh s khc bit duy nht gia hai lnh \section v \section*,
l mi trng hname* i s khng a THM vo trong danh sch lit k cc THM.
Trong cc v d trn, bn s c chng hn hai mi trng baitap v baitap*.
Xem thm Mc 3.4 trang 10.

\renewtheorem

\renewtheorem
nh ngha li mi trng c. Cch dng tng t nh ca \newtheorem. B
m s c khi to li.

3.3

Thay i kiu dng

Vi cc mi trng ta nh l, bn c th thay i vi tham s (tu chn) trc

khi gi lnh \newtheorem tinh chnh cch th hin mi trng nh bn; cc
ci t nh tham s s c tc dng mi khi bn s dng mi trng.

3.3.1
\theorempreskipamount
\theorempostskipamount

Cc tham s chung

\theorempreskipamount

\theorempreskipamount

Cc tham s b sung ny nh hng n khong cch theo chiu ng trn

(\theorempreskipamount) v di (\theorempostskipamount) mi trng THM.
Hai tham s ny nh hng n mi mi trng THM v c th iu chnh nh cc
lnh thng thng iu khin bin di. Chng l cc chiu di dng rubber,
v th c th cha cc phn vi du cng hoc tr.
3.3.2

Cho tng THM c th

Cch th hin ca mi THM c th tinh chnh nh cc lnh iu khin sau y.

\theoremstyle

\theoremstyle{hstyle i}
Xc nh kiu dng ca THM. Cc kiu c cung cp vi vi \ntheorem bao
gm c kiu c trong gi theorem.sty. Xem lit k cc kiu Mc 3.3.4
trang sau. Mc 3.5.1 trang 11 c ni v cch nh ngha kiu mi.

\theoremheaderfont

\theoremheaderfont{hfontcmds i}
Dng hfontcmds i xc nh font cho phn header ca THM
Khng nh theorem.sty, lnh \theoremheaderfont cho php i font cho
tng kiu THM.

\theorembodyfont

\theorembodyfont{hfontcmds i}
Xc nh font cho phn thn (ni dung) THM.

\theoremseparator

\theoremseparator{hsep i}
Dng hsep i ngn cch phn header v phn thn ca THM. Thng th
hsep i l du hai chm (:) hoc chm (.).

\theoremindent

\theoremindent{hdimen i}
dng xc nh indent (khong cch so vi l bn tri).

y, hdimen i l kch thc tht s. Nu bn dng kiu rubber vi cc

du plus hoc minus trong phn hdimen i, bn s gp li.
\theoremnumbering

\theoremnumbering{hstyle i}
Kiu nh s cho THM. Cc gi tr c th l: arabic (default), alph, Alph,
roman, Roman, greek, Greek v fnsymbol.
R rng, nu mi trng THM s dng b m t mi trng XYZ khc, th
kiu nh s ca mi trng THM s tha hng t XYZ.

\theoremsymbol

\theoremsymbol{hthing i}
Lnh ny ch cc tc dng khi gi ntheorem.sty c np vi tu chn
7

thmmarks. y, hthing i s c dng nh endmark, tc du kt thc cho

THM. Nu khng mun dng endmark cho ring mi trng THM no, dng
lnh \theoremsymbol{}.
Nh cc lnh iu khin trn, bn c th linh hot to ra cc THM nh , m
khng phi nhc cng v phi quan tm nhiu n yu t k thut.
\theoremclass

\theoremclass{htheorem-type i}
With the command \theoremclass{htheorem-type i} (where htheorem-type i must
be an already defined theorem type), these parameters can be set to the values
which were used when \newtheorem was called for htheorem-type i.
Vi \theoremclass{LaTeX}, kiu dng chun ca LATEX cho cc THM s c
dng.
3.3.3

La chn font

Xt v mt cu trc, mi THM l mt phn c bit ca ti liu, trong , phn

header c thit k d dng phn bit vi phn cn li ca mi trng. V
vy, lnh \theoremheaderfont tha hng cc c trng ca \theorembodyfont,
v n lt mnh, \theorembodyfont tha hng cc thuc tnh ca phn ti
liu bn ngoi THM ang xt.
V d: nu \theorembodyfont l \itshape v \theoremheaderfont l \bfseries,
th phn header thc t c kiu m v nghing .
Nu iu ny lm bn khng va , c th l bn mun phn header ch c in
m, c th lm nh sau:
\theoremheaderfont{\normalfont\bfseries}

3.3.4

Cc kiu nh ngha

Cc kiu dng nh l sau c sn (nh trong gi theorem.sty):

plain

Nh kiu dng ca LATEX chun, ngoi tr tham s b sung

\theorem...skipamount c dng.

break

Phn header ngn cch vi phn thn THM bi dng mi2 .

change

Ch s v tn THM hon i v tr. Tuy nhin, phn header s

theo sau ngay bi phn thn THM (so snh vi kiu

changebreak

L s kt hp hai kiu change v break.

margin

Ch s c b tr l tri, khng ngt dng sau phn header.

marginbreak

Nh margin, nhng ngt dng sau phn header.

nonumberplain

Nh plain, nhng khng nh s (dng cho chng minh,. . . )

nonumberbreak

T hp break v nonumberplain.

empty

Phn header ch gm tn ring (nu c), cn ch s v tn ca

THM c b qua.

thc ra l mt du ngt dng

3.3.5

Thit lp mc nh

Khi khng c ty chn no c ch ra, ngha l gi ntheorem.sty c np n

gin nh \usepackage{ntheorem}, cc thit lp sau s c dng:
\theoremstyle{plain}
\theoremheaderfont{\normalfont\bfseries}
\theorembodyfont{\itshape}
\theoremseparator{}
\theoremindent0cm
\theoremnumbering{arabic}
\theoremsymbol{}

V vy, bng cch dng \newtheorem{...}{...}, bn thu c cch th hin

ging ht trong LATEX chun.
3.3.6

Cc THM chun

Cc THM chun (c nh ngha sn) c trong tp tin ntheorem.std, c np

nh ty chn standard ca gi. Khi dng tu chn ny, cc gi ph thuc amssymb
v latexsymb c np t ng. Danh sch cc THM nh sau y, l cc THM hay
dng nht trong cc ti liu ting Anh v ting c:
Theorems: Theorem, Lemma, Proposition, Corollary, Satz, Korollar,
Definitions: Definition,
Examples:

Example, Beispiel,

Remarks:

Anmerkung, Bemerkung, Remark,

Proofs:

Proof and Beweis.

Vi cc THM thuc h Theorems, kiu THM c dng l plain, vi font ca phn

thn THM l \itshape, ca phn header l \bfseries, du kt thc mi trng
l \ensuremath{_\Box}.
Vi h Definitions, Remarks v Examples, cc thit lp cng tng t, ngoi
tr phn body c font l \upshape.
Ring h Proofs th c vi im khc bit nh: h ny s dng kiu
nonumberplain, font cho phn thn l \upshape, cho phn header l \scshape,
cn du kt thc l \ensuremath{_\blacksquare}.
bit thm chi tit, bn c th c trc tip m ngun cc nh ngha trong
tp tin ntheorem.std.
3.3.7

THM chun c nhn

R rng, mi ngi dng c th mun c ring mnh cc THM chun, tng t nh

cc THM c cung cp trong ntheorem.std. Tuy nhin, khng nn thay i tp
tin ntheorem.std. C cch khc, hay hn, l dng tp tin ntheorem.cfg. Ni
dung ca ntheorem.cfg cng tng t nh ntheorem.std, ni t nh ngha
cc mi trng THM hay dng nht (chun) ca ngi dng.
Ni tp tin ntheorem.cfg l bt k u m TEX c th tm thy. iu ng lu
l, tp tin ny c np t ng, tr khi bn ch ra tu chn noconfig khi np
9

gi ntheorem; v khi tp tin ntheorem.cfg c dng, th tp tin ntheorem.std

s b b qua, k c khi bn dng ty chn standard cho gi.

3.4

Danh sch THM

\listtheorems Tng t, nh lnh LATEX chun \listoffigures, danh sch cc THM c nh

ngha vi \newtheorem c th c lit k nh lnh \listtheorems:

\listtheorems{hlist i}

i s ca lnh l hlist i, danh sch cc THM cn c lit k, trong cc THM

cch nhau bi du phy:
\listheorems{theorem,thm,dinhly}

Trong v d trn, cc THM s c lit k gm theorem, thm, dinhly y,

theorem, thm v dinhly tng ng vi cc mi trng \begin{theorem}...,
\begin{thm}..., \begin{dinhly}... l cc (mi trng) THM c to nh
\newtheorem. rng, cc THM sao, v d \begin{dinhly*}..., s khng c
trong danh sch trn. iu ny cng tng t nh cc x l ca \section v
\section* trong lnh \tableofcontents.
Nu trong trong danh sch hlist i c THM no cha c nh ngha (c th do
bn g sai chnh t), danh sch THM vn c to ra, nhng c th trong kt qu
xut bn khng thy g c! Gi s cnh bo bn iu ny.
3.4.1

Thay i kiu danh sch THM

\theoremlisttype Danh sch cc THM c th thay i cch th hin. iu ny c th lm c nh

chn kiu cho danh sch:

\theoremlisttype{htype i}
Cc gi tr c th ca htype i nh sau y. Bn c th xem thm Mc 6 trang 18
v v d:
all

Lit k cc THM vi cc thng tin gm ch s THM, tn ring (nu c) ca

THM v s trang. y l kiu mc nh.

allname Tng t all, nhng c km theo tn THM.

opt

Tng t all, nhng ch cc THM c tn ring mi c lit k.

optname Tng t opt, nhng km theo tn THM.

3.4.2

Ghi thng tin vo danh sch THM

Tng t hai lnh \addcontentsline v \addtocontents, bn c th ghi thm

cc thng tin b sung vo danh sch THM.3
\addtheoremline Tng t lnh \addtocontentsline:
3

Khng th dng lnh \addcontentsline v \addtocontents mt cch trc tip ghi thng
tin vo tp tin .thm, l do l, so vi cc phn t ca bng Mc lc, phn t ca danh sch THM
phc tp hn nhiu.

10

\addtheoremline{hname i}{htext i}
vi hname i l THM ( c nh ngha) v htext i l phn ni dung bn mun s
xut hin trong danh sch. V d
\addtheoremline{Example}{Extra Entry with number}

s sinh ra trong danh sch THM mt phn t vi cc thng tin sau:

Nhn ca mi trng Example,
Ch s hin ti ca Example,
S trang ni lnh trn xut hin
on Extra Entry with number nh l tn ring ca THM.

V nh th, kt qu trn ging ht nh khi bn dng

\begin{Example}[Extra Entry with number]
...
\end{Example}

ngoi tr rng khng c ni dung no ca THM xut hin, v ch s THM vn gi

nguyn, khng tng.
\addtheoremline* Bn cng c th dng

\addtheoremline*{Example}{Extra Entry}
vi kt qu tng t khi dng \addtheoremline, nhng thng tin xut hin trong
danh sch THM s khng c ch s THM.
\addtotheoremfile C vi trng hp, v d khi danh sch THM qu di, bn c th mun thm vi

lnh iu khin, hoc ni dung no vo danh sch. iu ny c th t c

nh
\addtotheoremfile[hname i]{htext i}
vi hname i l THM no , htext i l m lnh hay on vn,. . . bn mun thm vo
danh sch THM hname i. Tham s hname i c th b qua, v khi , htext i s c
chn vo mi danh sch.

3.5

nh ngha kiu (danh sch) THM

Ch c phn ny nu bn c kh nng lp trnh vi LATEX.

3.5.1

nh ngha kiu THM

\newtheoremstyle Kiu THM c th nh ngha nh sau:

\newtheoremstyle{hname i}{hhead i}{hopt-head i}

11

Sau lnh trn, kiu hname i s hp l, v bn c th dng hname i lm i s ca

lnh \theoremstyle.
y, hhead i l nhm cc lnh iu khin, phi s dng hai tham s, ##1 (cha
t kha) v ##2 (cha ch s). Phn hopt-head i phi dng tham s th ba ##3,
cha phn tham s b sung.
V LATEX to cc THM nh \trivlist, c hai phn khai bo hhead i v hopt-head i
phi c dng \item[... \theorem@headerfont ...]..., phn ... c
thit lp tu bi ngi dng. Nu nhm lnh no sinh ra cc ni dung
(output) ng sau \item[...], bn cn cn thn vi cc khong trng.
Nu phn khai bo c s dng ti cc lnh @, v nu \newtheoremstyle s
c dng trong tp tin .tex, bn cn t lnh @ vo cp \makeatletter v
\makeatother.
bit thm chi tit, bn xem ti liu v m ngun ca ntheorem.sty.
\renewtheoremstyle Kiu THM c th nh ngha li, nh \renewtheoremstyle. Cc dng cng tng

t nh \newtheoremstyle.
3.5.2

nh ngha kiu danh sch THM

\newtheoremlisttype Kiu danh sch THM c th tinh chnh nh

\newtheoremlisttype{hname i}{hstart i}{hline i}{hend i}

Tham s u tin hname i l tn ca kiu danh sch, s c dng cho lm i s
cho lnh \theoremlisttype. Tham s hstart i (tng ng, hend i) l chui lnh s
c thi hnh mi khi bt u (tng ng, kt thc) danh sch. (Trong cc kiu
chun, c hai phn ny u rng.) Tham s hline i l chui lnh c thc thi
cho mi phn t ca danh sch; trong chui lnh ny c th s dng bn tham
s: ##1 s i din cho tn THM, ##2 cho ch s, ##3 cho tn ring v ##4 cho s
trang.
Ch : Cc kiu do ngi dng nh ngha c th ng vi gi hyperref.
\renewtheoremlisttype Dng nh ngha li kiu c.

3.6

Du kt thc

Cc du kt thc s t ng t vo cui thn THM khi dng tu chn thmmarks

cho gi ntheorem. V s t ng , mt vi lnh di y dng x l cc du
kt thc trong vi trng hp rt c bit.
\qed
\qedsymbol

\qed

\qedsymbol

Trong mt mi trng n l,4 bn c th mun thay du kt thc chun bi

du khc, theo bn. Khi , hy dng \qed, nu trc bn nh ngha
du kt thc bng \qedsymbol{hsomething i} (trong kiu chun ng vi ty chn
standard ca gi, \qedsymbol c nh ngha l k hiu dng cho mi trng
proof, cc h qu n gin khng i km vi chng minh tng minh).
4

iu ny c ngha, bn mun thay i du kt thc cho mt THM c th no m thi!

12

Ngoi ra, vi mt mi trng THM n l m khi nh ngha bn khng ch ra

du kt thc cho THM , bn vn c th t du kt thc nh \qedsymbol v
\qed nh va ni trn.
\NoEndMark
\TheoremSymbol

\NoEndMark

\TheoremSymbol

Trong mt s trng hp khc, bn c th mun t du kt thc vo v tr ng

nh bn ch ra, v d bn trong mi trng figure hay minipage. Khi , tnh
nng t ng t du kt thc cho THM hin ti c th tt nh \NoEndMark. Sau
khi gi lnh cho THM hname i, bn c th t du kt thc vo bt k u,
bng cch gi lnh \hname iSymbol chng hn \dinhlySymbol. i vi ti liu
ny, vic gi \TheoremSymbol s cho .
Ch rng, dng cui cng trc khi kt thc mi trng THM, v d trc
\end{dinhly}, khng c l dng trng; bi nu khng, du kt thc s b b
qua. Xem thm v d 3 v iu ny Mc 6 trang 18.

3.7

Tham kho m rng

Tnh nng tham kho m rng c th kch hot nh tu chn thref khi np lp
ntheorem.
Thng th khi son ti liu, ta c th thay i5 t mnh sang nh l, t
nh l sang h qu, t b sang ch , . . . . Khi s thay i xy ra,
cc tham kho cho cn phi phi i theo. V d, nu trc y bn dng
xem Mnh ~\ref{completeness}, th by gi bn c th phi i thnh
xem B ~\ref{completeness}. R rng, cng vic qu l t m! Gi
ntheorem cung cp tnh nng tham kho cho m rng, gip bn gii quyt
vn ny. Lnh
\label{hlabel i}[htype i]
s gn kiu htype i vi nhn hlabel i. Vic ny c thc hin t ng vi cc mi
trng THM:
\begin{Theorem}[hname i]\label{hlabel i}
tng ng vi
\begin{Theorem}[hname i]\label{hlabel i}[Theorem]
\thref

\thref
\thref{hlabel i}
By gi, lnh gi nh trn s sinh ra, chng hn nh l 42. rng, cn
phi bin dch ti liu t nht hai ln sau khi c s thay i v nhn, cc tham
kho cho c chnh xc.
Tu chn thmref nh hng ti gi babel, do , khi tu chn ny c dng, gi
ntheorem cn phi np sau gi babel. Tu chn cng nh hng ti gi amsmath.
Xem Mc 4.2 trang sau.
5

Thay i y, khng c ngha l thay i ni dung, m l thay i v tn gi.

13

3.8

Linh tinh

Bn trong mi trng THM henv i, tn ring ca THM c th ly c nh

\henv iname. Chng hn \dinhlyname s cho tn ring ca THM dinhly.

nh hng n cc gi khc

V ntheorem xy dng li hon ton cch x l THM, nn n khng tng thch

vi mi gi c lin quan n cch x l THM.
Ngoi ra, thut ton t du kt thc thmmarks i hi phi thay i vi mi
trng (xem ti liu v m ngun ca ntheorem). V vy, nhng mi trng c
thay i, xy dng li bi cc lp ti liu hay cc gi s khng chu nh hng
bi thut ton cung cp bi gi ntheorem.
Ty chn thref s nh ngha li lnh \label v s x l cc nhn trong khi c
tp tin .aux. Chnh v th, vic dng ty chn ny s gy ra s khng tng thch
vi mi gi c thay i lnh \label hoc \newlabel. Vi gi babel, s khng
tng thch c gii quyt ch khi gi ntheorem c np sau gi babel.

4.1

nh hng n tu chn lp ti liu

Gi ntheorem cng ng vi cc cc tu chn leqno v fleqn cho lp ti liu.

Nu mt trong hai ty chn c ch ra khi np lp, gi ntheorem (vi ty
chn thmmarks) s pht hin c.
Nu cc tu chn khng c ch ra khi gi lp, m khi np gi amsmath (xem
mc tip theo), th ty phi khng c ch ra khi np gi ntheorem, bi v
chnh mi mi trng ca gi amsmath s nhn ra tu chn y.

4.2

Vi gi amslatex

Gi ntheorem nh hng n gi amsmath v amsthm.

Ch rng, gi amstex.sty ca LATEX2.09 c v bn nn thay th bi hai
gi amsmath v amstext ca LATEX 2 . Gi ntheorem cc phin bn t 1.18 v
trc tng thch vi amsmath-1.x, v cc phin bn t 1.19 tng thch vi
amsmath-2.x (hy vng vy ;)
Tc gi ntheorem hy vng c ai dng v hiu gi amsmath c th tham gia i
pht trin v bo dng ntheorem bm m s tng thch ny.
4.2.1

Vi gi amsmath

S tng thch vi gi amsmath ( cc im: t du kt thc, x l nhn trong

mi trng ton) c bo m nh tu chn amsmath khi np lp ntheorem.
\usepackage[thmmarks]{ntheorem} cn phi c thay bi
\usepackage[amsmath,thmmarks]{ntheorem}), v tng t
\usepackage[thref]{ntheorem} cn thay bi
\usepackage[amsmath,thref]{ntheorem}).

14

Cng cn lu rng, gi amsmath cn phi np trc gi ntheorem, m bo

rng cc nh ngha ca amsmath s c ntheorem x l li.
4.2.2

Vi gi amsthm

Gi amsthm xung t vi gi theorem (v kiu THM). Thay v dng gi amsthm,

bn hy dng ty chn amsthm khi np gi ntheorem.
Ty chn cung cp cc kiu THM l plain, definition, remark v proof ng
nh ca gi amsthm.
Lnh \newtheorem* c cung cp bi ntheorem ngay c khi bn khng dng
ty chn amsthm. Ch rng, \newtheorem* lun tng ng vi bn khng nh
s ca kiu THM hin ti; do , khi dng \newtheorem* th kiu THM l kiu
c.
Lnh \newtheoremstyle v \swapnumbers ca gi amsthm khng c ntheorem
xy dng li. V vy, bn phi nh ngha cc lnh ny (nh gi amsthm nh
ngha), cng thm cc thay i nh dng cc lnh \theoremheaderfont v
\theorembodyfont.
Tm li, bn khng nn dng gi amsthm, v cc tnh nng cung cp bi ntheorem
trc quan v thn thin hn.

4.3

Vi gi babel

Khi dng ty chn thref, gi babel phi c np trc gi babel.

4.4

Vi gi hyperref

V gi hyperref nh ngha li lnh \contentsline ca LATEX, nn gi ny s

trc trc vi ntheorem phin bn 1.17 v trc. T bn 1.17 ca nthereom, c
thm ty chn hyperref bo m s tng thch: trong danh sch THM bn s c
lin kt n cc THM tng ng.
Ch rng, nu bn nh ngha (li) kiu danh sch THM nh Mc 3.5.2
trang 12), kiu mi s khng lm vic tt vi hyperref.

Vn thng gp

5.1

Gii hn ca gi ntheorem

ntheorem dng tp tin .aux lu thng tin v du kt thc, do , cn

bin dch ti liu t nht hai ln cc du kt thc c t ng v tr.
Cng do s dng tp tin .aux lu thng tin v danh sch trong tp tin
.thm, cn thm t nht hai ln bin dch na. Vic di chuyn cc THM c th
cn ti 5 ln bin dch c danh sch THM ng n.
Gi x l phn tn ring ca THM (tham s b sung khi gi mi trng) theo
vi cch khc nhau trong danh sch, do , sao chp nguyn xi, khng
trin khai (expand) phn tham s b sung vo tp tin .thm. H qu l,
nu bn dng chng hn lnh \thesection bn trong phn tn ring th

15

kt qu s khng nh . Bn khng nn dng bt k lnh g trong phn tn

ring THM!
Nu cc THM lng nhau kt thc cng thi im, ntheorem ch lp du kt
thc cho mi trng su nht (level cao nht) Chng hn
\begin{Lemma}
Some text.
\begin{Proof}
The Proof
\end{Proof}
\end{Lemma}

s a ti kt qu sau
B :
Some text.

Chng minh The Proof

Bn c th vt qua nhc im ny, bng cch thm mt ni dung n sau
khi kt thc THM bn trong, khi , THM bn ngoi s c du kt thc nh
. Quan st v d sau y:
\begin{Lemma}
Some text.
\begin{Proof}
The Proof
\end{Proof}~
\end{Lemma}

kt qu l
B :
Some text.

Chng minh The Proof

S dng ty chn fleqn khi gi lp ti liu c th sinh ra rc ri. L do

l tu chn fleqn iu khin cc phng trnh khng phi bi $$ m bi
danh sch (th kim tra xem iu g xy ra nu bn dng
\begin{theorem} \[ displaymath \] \end{theorem}

trong LATEX chun: ni dung displaymath s khng c t dng ring.

Cng nh vy, vi cng thc di, ch s phng trnh v du kt thc c
th s gn cng thc hn so vi bnh thng.
Mt cch t nhin, ntheorem khng lm vic cng vi cc kiu (gi) lin
quan n

1. x l mi trng THM ta nh l,
16

2. x l du kt thc (v d \[...\], eqnarray,. . . )

ntheorem khng tng thch vi gi theorem ca Frank Mittelbach, l mt
gi dng biu din THM rt ph bin.

Gi ntheorem khng th dng chung vi gi theorem, nhng c th dng

thay cho gi theorem.

5.2

Cc BUG bit

Khi kt thc mi trng THM ngay sau ni dung, du kt thc s b b qua.

V d
\begin{Lemma} Lemma\end{Lemma}

s sinh ra
B :
Lemma

V vy, t nht mt khong trng hoc du ngt dng cn phi c trc

\end{...}. Ngoi ra, trc \end{...} khng c l dng trng.
Vi kiu THM break, nu vic ngt dng sau header lm cho phn ni dung
tip theo xu x (theo cch hiu ca LATEX), th vic ngt dng s b
b qua.

5.3

Cu hi m

Cc cu hi ny lin quan ch yu n vic pht trin gi ntheorem ngha l

khng c ch lm vi ngi dng bnh thng. Nu ai c cu tr li cho mt
trong cc cu hi di y, vui lng thng bo cho tc gi gi ntheorem; tc gi
ca cu tr li s c mt trong Acknowledgements.
Vi cc phng trnh (biu din nh mi trng equation), du kt thc s
c t sau ch s phng trnh (c canh gia theo chiu ng). Hin
ti, vn cha c thut ton canh gia ch s phng trnh ng thi t
du kt thc bn di (vic ny i hi phi bit chiu cao ca ni dung
phng trnh)
Thut ton t du kt thc da trn kt qu ca vic kim tra xem liu
phn ni dung bnh thng ht cha (khi gp kt thc mi trng
\end{...}). Vic kim tra ny c cu tr li mt phn (partially) nh
\ifhmode: trong mt dng, LATEX lun ch \hmode. Nhng sau cc
biu thc ton, LATEX cng ch \hmode. V th, phi kim tra thm v
\lastkip: sau biu thc ton th \lastskip=0. Trong hu ht trng hp,
khi ni dung va ghi xong vo mt dng, th \lastskip 6= 0. Nhng iu
ny khng lun chc chn: nu m ngun c dng ...text\label{bla},
th (sau ) \lastskip=0. V khi , du kt thc b b qua.

Cu hi t ra l, lm th no xc nh thi im LATEX va kt thc

vic biu din cng thc ton?
17

 Trong vn trn v nhn: kiu break s gng ngt dng sau phn header
bng cch dng \hfill\penalty-8000 ng sau item ca \trivlist. V
vy, TEX s chuyn vo ch horizontal. The label places a whatsit
somewhere ... and, it seems that the whatsit makes TEX think that there
is a line of text.6

V d

Cc thit lp c dng nh sau y. Ch rng, cc thit lp tun theo nguyn

tc tha k. V d, thit lp font khng c khi to v trng thi bnh thng
khi ta khai bo mi trng Lemma, v th Lemma s tha k cc thit lp ca mi
trng Theorem.
Mt s v d c dng lnh \color c cung cp bi gi xcolor.sty.
nh l:
\theoremstyle{marginbreak}
\theoremheaderfont{\normalfont\bfseries}\theorembodyfont{\slshape}
\theoremsymbol{\ensuremath{\diamondsuit}}
\theoremseparator{:}
\newtheorem{Theorem}{Theorem}
B :
\theoremstyle{changebreak}
\theoremsymbol{\ensuremath{\heartsuit}}
\theoremindent0.5cm
\theoremnumbering{greek}
\newtheorem{Lemma}{Lemma}
H qu:
\theoremindent0cm
\theoremsymbol{\ensuremath{\spadesuit}}
\theoremnumbering{arabic}
\newtheorem{Corollary}[Theorem]{Corollary}
V d:
\theoremstyle{change}
\theorembodyfont{\upshape}
\theoremsymbol{\ensuremath{\ast}}
\theoremseparator{}
\newtheorem{Example}{Example}
nh ngha
\theoremstyle{plain}
\theoremsymbol{\ensuremath{\clubsuit}}
\theoremseparator{.}
\newtheorem{Definition}{Definition}
6

kyanh: whatsit, l ci dz vy?

18

Chng minh:
\theoremheaderfont{\sc}\theorembodyfont{\upshape}
\theoremstyle{nonumberplain}
\theoremseparator{}
\theoremsymbol{\rule{1ex}{1ex}}
\newtheorem{Proof}{Proof}
1 V d (V d n gin) Mt chiu i trn con ng ny, Hoa ip vng
tri di chn ti,. . .
Cc v d tip theo minh ha cho vic t cc du kt thc cc biu thc ton,
phng trnh n l v cc dy phng trnh.

1 nh l (nh l di):
V d v mi trng Theorem, lng bn trong n l cc mi trng khc nh
Example, Lemma,. . . Khi ang ngay trong mi trng Theorem, ch c mu en;
khi trong cc mi trng su hn, mu ca mi trng s i khc d phn
bit.
V d tip theo s khng xut hin trong danh sch Example, v n c dng
vi dng sao:
\begin{Example*}
...
\end{Example*}
2 V d (kt thc vi biu thc ton) Hy v tr du kt thc di
dng biu din cng thc
f

(n)

n!
(z) =
2i

Z
D

f ()
d
( z)n+1

By gi, ta s ghi vi thng tin b sung vo danh sch THM (Example); thng tin
c ghi s khng gm ch s THM:
\addtheoremline*{Example}{Extra Entry}
B (Biu thc trong mng (dy) phng trnh):
B (Lemma) c tht u dng v nh ch s vi ch s Hy Lp.

Xt v d sau y, trng c v tt:

\[\begin{array}{l}
a = \begin{array}[t]{l}
first\ line \\
second\ line
\end{array}%
\mbox{\color{green}{try to put this text in the lowest line}}
\end{array}
\]
19

Nhng biu din nh trn m khng s dng cc mo c bit no (th

la chn cc v tr [t], [c], [b]), kt qu c th khng nh :
a = f irst line try to put this text in the lowest line
second line

B (Phng trnh):
Vi cc phng trnh c nh s, du kt thc s c t sau ch s phng
trnh, v c canh gia theo chiu ng. Hin ti, cha c thut ton b
tr ch s phng trnh canh gia (theo chiu ng), cn du kt thc li c
t vo cui phng trnh vic ny i hi phi bit chiu cao ca ni dung
phng trnh. Nu ai bit, vui lng bo cho tc gi ca ntheorem.
Z

f (z) dz :=

f ((t)) 0 (t) dt

(1)

Vi kiu break, nu s dng vic nh nhn nh sau

\begin{Lemma}[Breakstyle]\label{breakstyle}
B (Breakstyle):
th nh bn thy, xut hin cc khong trng tha . . .
Nu du phn trm (ch thch) c t ngay sau lnh to nhn (hoc dng
lnh \ignorespaces), v d

\begin{Lemma}[Breakstyle]\label{breakstyle}%
th khong trng tha s mt.
Vi cc kiu c nh ngha bi ntheorem, iu ny ch xy ra ch vi kiu
break. y khng phi l li, m chnh l cch x l ca LATEX.
V d vi eqnarray:
f (z) =

1
2i
1
2

Z
D

Z2

f ()
d
z

f (z0 + reit )dt

(2)

(3)

Chng minh (of nothing)

f (z) =

1
2i
1
2

Z
D

Z2

f ()
d
z

f (z0 + reit )dt

n y l kt thc nh l 1.

20

Nu c nhiu mi trng cng bn trong mt mi trng THM, mi trng cui

cng mi c du kt thc
nh ngha 1 (vi danh sch).
Z

f (z) dz :=

f ((t)) 0 (t) dt

(4)

nh vy, bn thy du kt thc lm vic th no vi vn bn

vi biu thc ton
v vi danh sch.

2 H qu (Q.E.D.):
y l h qu tm thng, kt thc bi \qedsymbol{\textrm{q.e.d}} v
\qed.
q.e.d
3 V d
f

(n)

n!
(z) =
2i

Z
D

f ()
d
( z)n+1

Nu c vn bn theo sau mi trng, du kt thc s t sau vn bn .

V d tip theo c cho bi m ngun sau y. Ch rng, lnh ~\hfill~ c

chn vo ngn cn LATEX qun l danh sch lng nhau theo cch ca chnh
LATEX (mi trng verbatim l danh sch \trivlist). C ngha l, vic ny s
khin LATEX bt u mi trng verbatim vi mt dng mi.
\begin{Example}
~\hfill~
\begin{verbatim}
And, it also works for verbatim
... when the \end{verbatim} is in the
same line as the text ends. \end{verbatim}
^ this space is important !!
\end{Example}
4 V d (dng verbatim)
And, it also works for verbatim
... when the end{verbatim} is in the
same line as the text ends.
Khng c cha dng trng trc \end{theorem}, bi lm th s b qua du
kt thc.
\begin{Theorem}
some text ... but no end mark
\end{Theorem}
21

3 nh l:
some text ... but no end mark
By gi l h qu s xut hin vi tn ring hi khc trong danh sch Corollary:
\begin{Corollary*}[title in text]\label{otherlabel}
...
\end{Corollary*}
\addtheoremline{Corollary}{title in list}
4 H qu (title in text):
Th hin trong
mi trng
canh gia.
5 nh l (trch dn):
Trong mi trng trch dn quote, ni dung thng c tht vo
tt c cc dng c bn tri v bn phi. Tuy nhin, du kt thc s
khng vn c t ng vo l bn phi.

Di y l v d v vic tt/bt vic t du kt thc t ng.

\begin{Theorem}[Manual End Mark]\label{somelabel}
a line of text with a manually set endmark \hfill\TheoremSymbol\\
some more text, but no automatic endmark set. \NoEndMark
\end{Theorem}
6 nh l (Manual End Mark):
a line of text with a manually set endmark
some more text, but no automatic endmark set.

rng, lnh \hfill c chn vo trc du kt thc t du vo l

bn phi.
5 V d (nhanh hn) Du kt thc c t ng t tr li...

Nu bn khng thch dng ch s l ch s Hy Lp v cch tht u dng cho

Lemma, bn c th nh ngha li:
\theoremstyle{changebreak}
\theoremheaderfont{\normalfont\bfseries}\theorembodyfont{\slshape}
\theoremsymbol{\ensuremath{\heartsuit}}
\theoremsymbol{\ensuremath{\diamondsuit}}
\theoremseparator{:}
\theoremindent0.5cm
\theoremnumbering{arabic}
\renewtheorem{Lemma}{Lemma}

22

7 Lemma:
By gi l b khc, vi cch nh s dng ch s Rp. Ch rng ch s
vn tip tc tng.

Tham s b sung xc nh tn ring ca THM c th ly c nh chng hn

\Theoremname hoc Examplename,. . . iu ny ch c th lm bn trong mi
trng THM hin ti m thi.
\begin{Theorem}[\color{red}{some name}\normalcolor]
Obviously, we are in Theorem~\Theoremname.
\end{Theorem}
7 nh l (some name):
Obviously, we are in Theorem some name.

Tnh nng c th dng, chng hn sinh ra t ng cc m cho mi trng ch

thch, verbatim,. . . :
\begin{exercise}[quicksort]
hthe exercise text i
\begin{verbatimwrite}{solutions/\exercisename.c}
hC-code i
\end{verbatimwrite}
\verbatiminput{solutions/\exercisename.c}
\end{exercise}
on m trn s vit m hC-code i vo tp tin solutions/quicksort.c, v sau
np vo nh lnh \verbatiminput.
By gi, ta nh ngha mi trng KappaTheorem s dng cng kiu nh mi
trng Theorem, c nh s tip theo cc H qu (Corollary) (cc Theorem
cng c nh s theo Corollary). rng, ta s a ra phn header v
phn du kt thc kh phc tp.
\theoremclass{Theorem}
\theoremsymbol{\ensuremath{a\atop b}}
\newtheorem{KappaTheorem}[Theorem]{\(\kappa\)-Theorem}
8 -Theorem (1st -Theorem):
y l nh l kappa u tin.

6.1

a
b

Tham kho m rng

Lnh \label chun c m rng: by gi n c th nhn thm tham s b sung

dng xc nh tn cu trc dng nh nhn nh vic tham kho cho
c linh hot hn. V d, mc ny c nh nhn nh sau:
\subsection*{....}%
\label{sec-ExtRef}[Mu.c]
Nh ni, vi mi trng THM, phn tham s b sung ca \label s c t
ng thm vo. Do ,
23

\begin{Theorem}[Manual End Mark]\label{somelabel}|

tng ng vi (xem trang 22)
\begin{Theorem}[Manual End Mark]\label{somelabel}[Theorem]|
Lnh \thref{hlabel i} s sinh ra thng tin b sung, cho bit tn THM tng ng
vi tham s b sung ca \label. V d:
This is \thref{sec-ExtRef}
... \thref{somelabel}
... \thref{otherlabel}
... \thref{kappatheorem1}
s cho ta
This is Mc 6.1. ... nh l 6 ... H qu 4 ... -Theorem 8
Phi cn thn: vic x l tham s b sung c tin hnh t ng ch cho cc
mi trng c nh ngha nh \newtheorem, ngha l s khng c s qun l
cho cc Mc (\section), phng trnh (equation) hay danh sch (enumerate).
Vic gi \thref{hlabel i} cho cc nhn cha c thit lp vi phn tham s b
sung s sinh ra cc kt qu kh tng tng: nu hlabel i khng bn trong mi
trng THM, li s sinh ra; ngc li, tn THM hin ti s c dng, v d vic gi
\thref{xxxlabel} s sinh ra chng hn nh l hnumber i!
Ch rng khng c h tr cho cc tham kho cho phc, nh xem nh l 5
v 7.7

6.2

Danh sch THM

Vi
\addtotheoremfile{Added into all theorem lists}
th mi danh sch, dng Added into all theorem lists s c chn vo.
Tuy nhin, trong ti liu ny, ta khng lm nh th, v ta dng nh dng khc
ca danh dch THM.
chn ch danh sch cc v d (Example), c th lm chng hn
\addtotheoremfile[Example]{%
\color{blue}{Only concerning Example lists}}
Vi
\theoremlisttype{all}
\listtheorems{Lemma}
7
This would require plural-forms for different languages and handling of \ref-lists, probably
splitting into different sublists for different environments. If someone is interested in programming this, please contact us; it seems to be algorithmically easy, but tedious.

24

mi b s c lit k

. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
Biu thc trong
Phng trnh .
Breakstyle . . .
. . . . . . . . .

. . . . . . .
. . . . . . .
. . . . . . .
mng (dy)
. . . . . . .
. . . . . . .
. . . . . . .

. . . . . . . .
. . . . . . . .
. . . . . . . .
phng trnh
. . . . . . . .
. . . . . . . .
. . . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

16
16
17
19
20
20
23

Nh ta thy trong kt qu trn, xut hin dng ch ton du chm. Ta s dng

kiu danh sch opt lit k ch cc b c tn ring:
\theoremlisttype{opt}
\listtheorems{Example}
cho ta kt qu
0

Extra Entry with number

Extra Entry . . . . . . . .
1
V d n gin . . . . . .
Extra Entry . . . . . . . .
4
dng verbatim . . . . . .
5
nhanh hn . . . . . . . . .
Only concerning Example lists

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

11
11
19
19
21
22

Nh ta thy, dng ch Only concerning Example lists xut hin cui danh
sch ta thm dng ny nh \addtotheoremfile v d trn.
By gi ta nh ngha kiu danh sch mi, s dng mi trng tabular:
\newtheoremlisttype{tab}%
{\begin{tabular*}{\linewidth}%
{@{}lrl@{\extracolsep{\fill}}r@{}}}%
{##1&##2&##3&##4\\}%
{\end{tabular*}}
S dng kiu mi tab nh sau:
\theoremlisttype{tab}
\listtheorems{Theorem,Lemma}
Cc nh l v b s c lit k theo kiu mi:

25

B
B
B
nh l
B
B
B
nh l
nh l
nh l
Lemma
nh l

3
5
6
7
7

nh l di
Biu thc trong mng (dy) phng trnh
Phng trnh
Breakstyle
trch dn
Manual End Mark
some name

16
16
17
19
19
20
20
22
22
22
23
23

Cng c th s dng mi trng to danh sch ca LATEX to kiu mi nh

sau y:
\newtheoremlisttype{list}%
{\begin{trivlist}\item}
{\item[##2 ##1:]\ ##3\dotfill ##4}%
{\end{trivlist}}
\theoremlisttype{list}
\listtheorems{Corollary}
Kt qu vi kiu mi by gi l

B :

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

B :

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

B :

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

B : Biu thc trong mng (dy) phng trnh . . . . . . . . . . . . . . . . . . 19

B : Phng trnh . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
B : Breakstyle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

7 Lemma:

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

Trong v d ny, sau mi phn t \item ca danh sch, lnh \ c dng thay
cho , v trong trng hp sau, lnh \dotfill s bo li nu phn tham s b
sung ##3 khng c.

26

Index
A
\addtheoremline . . .
\addtheoremline* . .
\addtotheoremfile .
amsthm (option) . . . .
hyperref (option)

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

\renewtheoremlisttype . . . . . . . . . 12
\renewtheoremstyle . . . . . . . . . . . 12

. 10
. 11
. 11
. 5

H
.............

standard (option)

T
\theorembodyfont . . . . . .
\theoremclass . . . . . . . . .
\theoremheaderfont . . . .
\theoremindent . . . . . . . .
\theoremlisttype . . . . . .
\theoremnumbering . . . . .
\theorempostskipamount .
\theorempreskipamount . .
\theoremseparator . . . . .
\theoremstyle . . . . . . . . .
\TheoremSymbol . . . . . . . .
\theoremsymbol . . . . . . . .
thmmarks (option) . . . . . .
\thref . . . . . . . . . . . . . . .
thref (option) . . . . . . . . .

L
\listtheorems . . . . . . . . . . . . . . . . 10
N
\newtheorem . . . . . .
\newtheoremlisttype
\newtheoremstyle . .
noconfig (option) . .
\NoEndMark . . . . . . .

..
.
..
..
..

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

. 6
. 12
. 11
. 4
. 13

Q
\qed . . . . . . . . . . . . . . . . . . . . . . . 12
\qedsymbol . . . . . . . . . . . . . . . . . . 12
R
\renewtheorem . . . . . . . . . . . . . . . .

S
.............

27

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

..
..
..
..
..
..
..
..
..
..
..
..
..
..
..

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

. 7
. 8
. 7
. 7
. 10
. 7
. 7
. 7
. 7
. 7
. 13
. 7
. 5
. 13
. 5