Text.LaTeX.Packages.AMSThm

Contents

Description

Package for theorem environments.

Synopsis

AMSThm package

AMSThm package. Example:

usepackage [] amsthm

AMSThm functions

newtheorem :: LaTeXC l => String -> l -> l Source #

Create a new theorem environment type. Arguments are environment name (this will be the argument when using the theorem function) and the displayed title.

For example:

newtheorem "prop" "Proposition"
theorem "prop" "This is it."

theorem :: LaTeXC l => String -> l -> l Source #

Use a environment created by newtheorem.

proof :: LaTeXC l => Maybe l -> l -> l Source #

The proof environment. The first optional argument is used to put a custom title to the proof.

qed :: LaTeXC l => l Source #

Insert the QED symbol $$\square$$, as a concluding right-aligned terminator. Note that within a proof environment, this is automatically done at the end.

qedhere :: LaTeXC l => l Source #

Insert the QED symbol. This is supposed to be used within a proof environment, to change the default behaviour of putting the $$\square$$ at the end.

Different styles for theorems.

Constructors

 Plain Definition Remark CustomThmStyle String
Instances
 Source # Instance detailsDefined in Text.LaTeX.Packages.AMSThm MethodsshowList :: [TheoremStyle] -> ShowS # Source # Instance detailsDefined in Text.LaTeX.Packages.AMSThm Methods

theoremstyle :: LaTeXC l => TheoremStyle -> l Source #

Set the theorem style. Call this function in the preamble.