Text.LaTeX.Packages.AMSThm.Monad

Package for theorem environments.

For contributors: This module was automatically generated by HaTeX-meta. So, please, don't make any change here directly, because this is intended to be generated from Text.LaTeX.Packages.AMSThm module via HaTeX-meta, and therefore, changes must to be done in these places.

AMSThm package

amsthm :: String

AMSThm package. Example:

  usepackage [] amsthm

AMSThm functions

newtheorem :: Monad m => String -> LaTeXT_ m -> LaTeXT_ m

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 :: Monad m => String -> LaTeXT_ m -> LaTeXT_ m

proof :: Monad m => Maybe (LaTeXT_ m) -> LaTeXT_ m -> LaTeXT_ m

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

qedhere :: Monad m => LaTeXT_ m

Insert the QED symbol.

data TheoremStyle

Constructors

Plain

Definition

Remark

CustomThmStyle String

Instances

Show TheoremStyle

Render TheoremStyle

theoremstyle :: Monad m => TheoremStyle -> LaTeXT_ m

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