Zastaw ciekawych makroinstrukcji

amsthm

Pakiet pozwala na definiowanie ďż˝rodowisk sďż˝uďż˝ďż˝cych do opisu przykďż˝adďż˝w, zadaďż˝, definicji itp. (p. theorem.sty) podstawowym poleceniem jest:
\newteorem{nazwa ďż˝rodowiska}{tekst nagďż˝ďż˝wka}
lub

\newteorem{nazwa ďż˝rodowiska}%

	[nazwa innego ďż˝rodowiska]{tekst nagďż˝ďż˝wka}

(w typ wypadku licznikiem kolejnych pozycji bďż˝dzie licznik okreďż˝lony przez nazwa innego ďż˝rodowiska (wspďż˝lny licznik))
\newteorem*{nazwa ďż˝rodowiska}{tekst nagďż˝ďż˝wka}
jak powyďż˝ej, ale ďż˝rodowisko nie bďż˝dzie numerowane
oraz

\newteorem{nazwa ďż˝rodowiska}%

{tekst nagďż˝ďż˝wka}[licznik nadrzďż˝dny]

licznik zliczajďż˝cy kolejne uďż˝ycie nazwa ďż˝rodowiska jest zerowany przy zmianie licznika licznik nadrzďż˝dny (np: chapter, section. subsection lub nazwa innego ďż˝rodowiska definiowanegp za pomocďż˝ polecenie \newtheorem), oraz w skďż˝ad numeru wchodzi licznik nadrzďż˝dny. Oba warianty dodatkowe sďż˝ wzajemnie wykluczajďż˝ce siďż˝.

Postaďż˝ wywoďż˝ania zdefiniowanego ďż˝rodowiska jest nastďż˝pujďż˝ca:
\begin{nazwa} zawartoďż˝ďż˝ \end{nazwa} lub
\begin{nazwa}[dodatek] zawartoďż˝ďż˝ \end{nazwa} gdzie nazwa jest nazwďż˝ ďż˝rodowiska zdefiniowanďż˝ poleceniem \newtheorem, a dodatek moďż˝e stanowiďż˝ dodatkowy komentarz (bďż˝dďż˝cy czďż˝ciďż˝ nagďż˝ďż˝wka).

Definicja i uďż˝ycie nowego ďż˝rodowiska moďż˝e wyglďż˝daďż˝ nastďż˝pujďż˝co:

\newtheorem{twierdzenie}{Twierdzenie}
\newtheorem{lemat}{Lemat}[twierdzenie]
.
.
.
\begin{twierdzenie}
podstawowe
\begin{lemat}
pierwszy lemat
\end{lemat}
\begin{lemat}
drugi lemat
\end{lemat}
\end{twierdzenie}

\begin{twierdzenie}[specjalne]
i jeszcze jedno twierdzenie
\end{twierdzenie}

a po przetworzeniu:

Sposďż˝b prezentacji ďż˝rodowiska jest zaleďż˝ny od wybranego stylu. Polecenie newtheorem moďż˝na poprzedziďż˝ poleceniem theoremstyle (domyďż˝lnie uďż˝ywany jest styl plain).

Wywoďż˝anie polecenie wyglďż˝da nastďż˝pujďż˝co:
\theoremstyle{style}
gdzie style moďż˝e przyjmowaďż˝ nastďż˝pujďż˝ce wartoďż˝ci:

plain: emuluje oryginalny styl LaTeX'a (tekst nagďż˝ďż˝wka jest skďż˝adany czcionkďż˝ wytďż˝uszczonďż˝, a wnďż˝trze ďż˝rodowiska kursywďż˝ (bez przejďż˝cia do nowej linii po nagďż˝ďż˝wku).
definition: jak powyďż˝ej, ale wnďż˝trze jest skďż˝adane antykwďż˝
remark: tekst nagďż˝ďż˝wka skďż˝adany jest kursywďż˝ (bez przejďż˝cia do nowej linii po nagďż˝ďż˝wku), a wnďż˝trze ďż˝rodowiska antykwďż˝

Lista dostďż˝pnych styli jest ograniczona, ale mamy do dyspozycji polecenie umoďż˝liwiajďż˝ce definiowane nowych styli: \newtheoremstyle{nazwa stylu}% {odlegďż˝oďż˝ďż˝ przed}% {odlegďż˝oďż˝ďż˝ po}% {font do skďż˝adu wnďż˝trza}% {wciďż˝cie}% {font nagďż˝ďż˝wka}% {znak po nagďż˝ďż˝wku}% {odlegďż˝oďż˝ďż˝ po nagďż˝ďż˝wku}% {wďż˝asna definicja nagďż˝ďż˝wka}

poszczegďż˝lne parametry majďż˝ nastďż˝pujďż˝ce znaczenie:

nazwa stylu nazwa nowego stylu (moďż˝e byďż˝ argumentem polecenia \theoremstyle)

odlegďż˝oďż˝ďż˝ przed okreďż˝la odlegďż˝oďż˝ďż˝ w pionie przed ďż˝rodowiskiem (pusty argument oznacza 0pt)

odlegďż˝oďż˝ďż˝ po okreďż˝la odlegďż˝oďż˝ďż˝ w pionie po ďż˝rodowisku (pusty argument oznacza 0pt)

font do skďż˝adu wnďż˝trza okreďż˝la font, ktďż˝rym prezentowany jest tekst wnďż˝trza ďż˝rodowiska

wciďż˝cie okreďż˝la odlegďż˝oďż˝ďż˝ tekstu nagďż˝ďż˝wka od lewego marginesu strony

font nagďż˝ďż˝wka okreďż˝la font, ktďż˝rym prezentowany jest tekst nagďż˝ďż˝wka

znak po nagďż˝ďż˝wku okreďż˝la dodatkowy znak (ciďż˝g znakďż˝w) wstawianych po nagďż˝ďż˝wku; za pomocďż˝ tego parametru moďż˝emy wstawiďż˝ znak kropki po nagďż˝ďż˝wku

odlegďż˝oďż˝ďż˝ po nagďż˝ďż˝wku okreďż˝la odlegďż˝oďż˝ďż˝ w poziomie, miďż˝dzy tekstem nagďż˝ďż˝wka, a treďż˝ciďż˝ twierdzenia; znak spacji oznacza normalnďż˝ przerwďż˝ miďż˝dzy wyrazami (zmiennďż˝ w razie potrzeby), wstawienie polecenie \newline powoduje ďż˝e tekst wnďż˝trza jest skďż˝adany ,,od nowej linii''

wďż˝asna definicja nagďż˝ďż˝wka powyďż˝sza specyfikacja moďż˝e ustaliďż˝ na staďż˝e treďż˝ďż˝ nagďż˝ďż˝wka okreďż˝lonďż˝ poleceniem \newtheorem. ďż˝atwo widaďż˝, ďż˝e taka specyfikacja byďż˝aby maďż˝o przydatna.
Wyrďż˝niono 3 czďż˝ci nagďż˝ďż˝wka: nazwa (drugi parametr polecenie \newtheorem), numer kolejny oraz dodatkowa notatka (parametr opcjonalny polecenia \begin{nazwa}[notka]), za wizualizacjďż˝ poszczegďż˝lnych czďż˝ci odpowiadajďż˝ polecenia: \thmname, \thmnumber i \thmnote, a wartoďż˝ci poszczegďż˝lnych elementďż˝w sďż˝ podstawiane za pierwszy, drugi i trzeci parametr formalny (#1 -- nazwa, #2 -- numer i #3 -- opcjonalna notka). W najprostszym przypadku specyfikacja tego parametru moďż˝e wyglďż˝daďż˝ nastďż˝pujďż˝co:
\newtheoremstyle{mojetwierdzenie} {2ex}{2ex}{\sffamily}{0pt}{\normalfont}{.}{\newline} {{\thmname{#1 }}{\thmnumber{#2}}{\thmnote{ (#3)}}}
Specyfikacja ostatniego parametru jest neutralna (zgodna z ustawieniami domyďż˝lnymi).
Sprďż˝bujmy zdefiniowaďż˝ ďż˝rodowisko, ktďż˝rego numer bďż˝dzie prezentowany na lewym marginesie, a dodatkowa notka bďż˝dzie prezentowana fontem ,,bold italic''
\newtheoremstyle{mojetwierdzenie}{2ex}{2ex} {\sffamily}{-1cm}{\bfseries}{}{\newline} {\thmnumber{\hbox to 1cm{#2.\hss}}\thmname{#1 }{\thmnote{ \itshape(#3)}}} \newtheoremstyle{mojlemat}{0pt}{0pt}{\itshape}{0pt}{\normalfont}{.}{\newline}% {\thmname{#1 }\thmnumber{#2}\thmnote{ (#3)}} \theoremstyle{mojetwierdzenie} \newtheorem{twierdzenie}{Twierdzenie} \theoremstyle{mojlemat} \newtheorem{lemat}{Lemat}[twierdzenie] . . . aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa \begin{twierdzenie} podstawowe \begin{lemat} pierwszy lemat \end{lemat} dalszy tekst twierdzenia \begin{lemat} drugi lemat \end{lemat} po twierdzeniu i przed nastďż˝pnym \end{twierdzenie} \begin{twierdzenie}[specjalne] i jeszcze jedno twierdzenie \end{twierdzenie}

dodatkowo dostďż˝pna jest makroinstrukcja \swapnumbers, ktďż˝ra powoduje, ďż˝e najpierw jest podawany numer kolejny ďż˝rodowiska, a potem jego nagďż˝ďż˝wek. W przypadku uďż˝ycia polecenie \newtheoremstyle z bardziej wyrafinowanym formatem mogďż˝ wystďż˝piďż˝ efekty uboczne.

Wďż˝odzimierz Macewicz

Ostatnie zmiany: 05.05.2014.

nazwa stylu	nazwa nowego stylu (moďż˝e byďż˝ argumentem polecenia `\theoremstyle`)
odlegďż˝oďż˝ďż˝ przed	okreďż˝la odlegďż˝oďż˝ďż˝ w pionie przed ďż˝rodowiskiem (pusty argument oznacza 0pt)
odlegďż˝oďż˝ďż˝ po	okreďż˝la odlegďż˝oďż˝ďż˝ w pionie po ďż˝rodowisku (pusty argument oznacza 0pt)
font do skďż˝adu wnďż˝trza	okreďż˝la font, ktďż˝rym prezentowany jest tekst wnďż˝trza ďż˝rodowiska
wciďż˝cie	okreďż˝la odlegďż˝oďż˝ďż˝ tekstu nagďż˝ďż˝wka od lewego marginesu strony
font nagďż˝ďż˝wka	okreďż˝la font, ktďż˝rym prezentowany jest tekst nagďż˝ďż˝wka
znak po nagďż˝ďż˝wku	okreďż˝la dodatkowy znak (ciďż˝g znakďż˝w) wstawianych po nagďż˝ďż˝wku; za pomocďż˝ tego parametru moďż˝emy wstawiďż˝ znak kropki po nagďż˝ďż˝wku
odlegďż˝oďż˝ďż˝ po nagďż˝ďż˝wku	okreďż˝la odlegďż˝oďż˝ďż˝ w poziomie, miďż˝dzy tekstem nagďż˝ďż˝wka, a treďż˝ciďż˝ twierdzenia; znak spacji oznacza normalnďż˝ przerwďż˝ miďż˝dzy wyrazami (zmiennďż˝ w razie potrzeby), wstawienie polecenie `\newline` powoduje ďż˝e tekst wnďż˝trza jest skďż˝adany ,,od nowej linii''
wďż˝asna definicja nagďż˝ďż˝wka	powyďż˝sza specyfikacja moďż˝e ustaliďż˝ na staďż˝e treďż˝ďż˝ nagďż˝ďż˝wka okreďż˝lonďż˝ poleceniem `\newtheorem`. ďż˝atwo widaďż˝, ďż˝e taka specyfikacja byďż˝aby maďż˝o przydatna. Wyrďż˝niono 3 czďż˝ci nagďż˝ďż˝wka: nazwa (drugi parametr polecenie `\newtheorem`), numer kolejny oraz dodatkowa notatka (parametr opcjonalny polecenia `\begin{nazwa}[notka]`), za wizualizacjďż˝ poszczegďż˝lnych czďż˝ci odpowiadajďż˝ polecenia: `\thmname`, `\thmnumber` i `\thmnote`, a wartoďż˝ci poszczegďż˝lnych elementďż˝w sďż˝ podstawiane za pierwszy, drugi i trzeci parametr formalny (`#1` -- nazwa, `#2` -- numer i `#3` -- opcjonalna notka). W najprostszym przypadku specyfikacja tego parametru moďż˝e wyglďż˝daďż˝ nastďż˝pujďż˝co: `\newtheoremstyle{mojetwierdzenie} {2ex}{2ex}{\sffamily}{0pt}{\normalfont}{.}{\newline} {{\thmname{#1 }}{\thmnumber{#2}}{\thmnote{ (#3)}}}` Specyfikacja ostatniego parametru jest neutralna (zgodna z ustawieniami domyďż˝lnymi). Sprďż˝bujmy zdefiniowaďż˝ ďż˝rodowisko, ktďż˝rego numer bďż˝dzie prezentowany na lewym marginesie, a dodatkowa notka bďż˝dzie prezentowana fontem ,,bold italic'' \newtheoremstyle{mojetwierdzenie}{2ex}{2ex} {\sffamily}{-1cm}{\bfseries}{}{\newline} {\thmnumber{\hbox to 1cm{#2.\hss}}\thmname{#1 }{\thmnote{ \itshape(#3)}}} \newtheoremstyle{mojlemat}{0pt}{0pt}{\itshape}{0pt}{\normalfont}{.}{\newline}% {\thmname{#1 }\thmnumber{#2}\thmnote{ (#3)}} \theoremstyle{mojetwierdzenie} \newtheorem{twierdzenie}{Twierdzenie} \theoremstyle{mojlemat} \newtheorem{lemat}{Lemat}[twierdzenie] . . . aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa aaa \begin{twierdzenie} podstawowe \begin{lemat} pierwszy lemat \end{lemat} dalszy tekst twierdzenia \begin{lemat} drugi lemat \end{lemat} po twierdzeniu i przed nastďż˝pnym \end{twierdzenie} \begin{twierdzenie}[specjalne] i jeszcze jedno twierdzenie \end{twierdzenie}