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.

qed :: LaTeXC l => l

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

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.

data TheoremStyle

Different styles for theorems.

Constructors

Plain

Definition

Remark

CustomThmStyle String

Instances

Render TheoremStyle

Defined in Text.LaTeX.Packages.AMSThm

Methods

render :: TheoremStyle -> Text

renderBuilder :: TheoremStyle -> Builder

Show TheoremStyle

Defined in Text.LaTeX.Packages.AMSThm

Methods

showsPrec :: Int -> TheoremStyle -> ShowS

show :: TheoremStyle -> String

showList :: [TheoremStyle] -> ShowS

theoremstyle :: LaTeXC l => TheoremStyle -> l

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