Text.LaTeX.Packages.AMSThm

Package for theorem environments.

AMSThm package

amsthm :: PackageName

AMSThm package. Example:

usepackage [] amsthm

AMSThm functions

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

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

Use a environment created by newtheorem.

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

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

qedhere :: LaTeXC l => l

Insert the QED symbol.

data TheoremStyle

Different styles for theorems.

Constructors

Plain

Definition

Remark

CustomThmStyle String

Instances

Show TheoremStyle

Methods

showsPrec :: Int -> TheoremStyle -> ShowS

show :: TheoremStyle -> String

showList :: [TheoremStyle] -> ShowS

Render TheoremStyle

Methods

render :: TheoremStyle -> Text

theoremstyle :: LaTeXC l => TheoremStyle -> l

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