HaTeX-3.1.0: LaTeX code writer.




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 :: StringSource

AMSThm package. Example:

  usepackage [] amsthm

AMSThm functions

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

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."

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

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

qedhere :: Monad m => LaTeXT_ mSource

Insert the QED symbol.

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

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