Handbuchergänzungen: - Gymnasium Wentorf

4 Besondere Dokumentenklassen
Unzahl derartiger Typen selber für eigene Zwecke zu denieren. Die hier realisierte
Auswahl entspricht den Empfehlungen der AMS. Zusätzlich zu den normalen LYX-
Typen wie Abschnitt, Literaturliste, Titel, Autor, Datum sind dies:
Theorem Dies wird normalerweise zur Präsentation zentraler Ergebnisse verwendet.
Das Wort Theorem wird in Fettdruck ausgegeben, zusammen mit einer automatisch
ermittelten Zahl (eine nichtnummerierte Version ist als Theorem*
vorhanden). Der Text erscheint hervorgehoben.
Corollary Dies wird für Aussagen verwendet, die direkt aus vorhergehenden Aussagen
hervorgehen. Dies können ebenfalls wieder zentrale Ergebnisse sein. Eine
nichtnummerierte Version (Corollary*) ist vorhanden.
Lemma Dies sind kleinere Ergebnisse, die benötigt werden, um andere Aussagen zu
beweisen.
Proposition Noch weniger zentrale Ergebnisse, die (hoentlich) zu der entwickelten
Theorie beitragen.
Conjecture Aussagen, für die der Autor keinen Beweis liefern kann, die aber einleuchtend
und wahr erscheinen (für den Autor zumindest).
Criterion Eine benötigte Bedingung.
Algorithm Eine generelle Vorgehensweise, die verwendet werden soll.
Axiom Eine Eigenschaft oder Aussage, die für den Augenblick als wahr vorausgesetzt
wird.
Denition Raten Sie wofür. Diese Aussage hebt sich im Zeichensatz stark von den
vorherigen ab. Die Überschrift (Denition) ist zwar auch in Fettdruck, aber der
restliche Text erscheint in normaler Schrift.
Example Wird ähnlich wie Denition gesetzt.
Condition eine Bedingung
Problem ein (zu lösendes) Problem
Exercise eine Übungsaufgabe
Remark Dies ist auch eine etwas veränderte Art von Theorem. Remark wird hervorgehoben
gesetzt, der Rest in Normalschrift.
Note Wird genauso wie Remark gesetzt
Notation
Claim
Summary
Acknowledgement
31