Pakiet theorem
1.1
Zmiana nagłówka twierdzenia
Pakiet theorem autorstwa Franka Mittelbacha pozwala nam na globalną zmianę wglądu tekstu twierdzenia lub definicji. Można zmienić wygląd nazwy i nume-ru twierdzenia, font jakim ta nazwa jest napisana oraz font użyty do napisania samej treści twierdzenia. Ma to duże znaczenie dla czytelności tekstu matema-tycznego. I tak przyjęte jest, że w pracy matematycznej inną czcionką zapisuje się treść definicji czy uwag a inną treść twierdzeń czy lematów.
Zobaczmy na przykładach jak to można uzyskać w LATEX-u. Wszystkie de-klaracje zmian dotyczące wyglądu twierdzeń i definicji należy umieszczać w preambule dokumentu.
Deklaracje zmieniające wygląd tytułu twierdzenia to
\theoremstyle{plain}
\theoremstyle{break}
\theoremstyle{marginbreak}
\theoremstyle{changebreak}
\theoremstyle{change}
\theoremstyle{margin}
* Styl plain emuluje oryginalny LATEX-owy styl twierdzenia i dodatkowo jeszcze dodaje przed i po treści twierdzenia niewielki odstęp.
* Styl break – etykieta i numer umieszczone są w osobnej linii a tekst twierdzenia rozpoczyna się od nowej.
* Styl marginbreak – numer twierdzenia jest umieszczony na marginesie, po etykiecie zaś następuje złamanie linii. Tekst umieszczany jest w nowej linii.
* Styl changebreak – tak samo jak break tylko najpierw jest drukowany numer a potem etykieta.
* Styl change – etykieta i numer twierdzenia są zamienione miejscami.
* Styl margin – numer jest umieszczony na marginesie ale bez zmiany linii.
Zastosowanie ich pokazują przykłady 1, 2, 3 i 4.
Przykład 1. Styl break
Wniosek 1
To jest zdanie napisane w środowisku Cor
Przykład 2. Styl marginbreak
2 Lemat
To jest nowy lemat.
1
Uwaga 1 To jest zdanie napisane w środowisku Exa Przykład 4. Styl marginbreak
3 Lemat (Ben King)
To jest zdanie napisane w środowisku Lem z dodatkowym argumentem z nazwą twierdzenia.
Przykład 5. Styl break
4 Definicja (Bardzo ważna definicja) To jest zdanie napisane w środowisku Def z dodatkowym argumentem.
Twierdzenia i definicje w matematyce mogą posiadać nazwy, które koniecz-nie trzeba uwzględnić. Taką nazwę możemy umieścić jako argument opcjonalny po wywołaniu środowiska. W przykładach 3 i 4 nazwę uzyskaliśmy w sposób następujący:
\begin{Lem}[Ben King]
To jest zdanie napisane w środowisku \texttt{Lem}
z dodatkowym argumentem z nazwą twierdzenia.
\end{Lem}
\begin{Def}[Bardzo ważna definicja]
To jest zdanie napisane w środowisku \texttt{Def}
z dodatkowym argumentem.
\end{Def}
1.2
Zmiana czcionki w tekście twierdzeń
Uważny czytelnik spostrzeże, że treści w środowiskach w przykładach 1,2, 4
i 5 są napisane tym samym rodzajem czcionki (pochyła) zaś w przykładzie 3 innym (italik). Do zmiany rodzaju fontu w treści twierdzenia służy polecenie
\theorembodyfont. Jako argument należy podać nazwę rodziny czcionek, którą chcemy użyć. Może to być np. \rmfamily, \slfamily lub jej krój \scshape lub
\itshape.
Możemy również skorzystać z możliwości zmiany czcionki w nagłówku twierdzenia przy pomocy polecenia \theoremheaderfont. Ponieważ w jednym dokumencie nie stosuje się różnych rodzajów nagłówków więc polecenie zmieniające rodzaj nagłówka też może wystąpić tylko raz. Umieszczamy je w preambule, przed pozostałymi definicjami dotyczącymi twierdzeń. Aby uzyskać w całym dokumencie nagłówki twierdzeń, definicji itp. np. pisane kapitalikami, należy w preambule umieścić komendę:
2
Jeżeli teraz treść twierdzeń ma być pisana pismem pochyłym a treść definicji pismem prostym i styl ma być break to w preambule muszą znaleźć się nastę-
pujące definicje:
{\theoremstyle{break}
{\theorembodyfont{\slshape}
\newtheorem{twier}{Twierdzenie}}}
{\theoremstyle{break}
{\theorembodyfont{\rm}
\newtheorem{defi}{Definicja}}}
3