HaTeX-3.1.0: LaTeX code writer.




Package for theorem environments.


AMSThm package

amsthm :: StringSource

AMSThm package. Example:

 usepackage [] amsthm

AMSThm functions

newtheorem :: String -> LaTeX -> LaTeXSource

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 :: Maybe LaTeX -> LaTeX -> LaTeXSource

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

qedhere :: LaTeXSource

Insert the QED symbol.

theoremstyle :: TheoremStyle -> LaTeXSource

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