Safe Haskell | Safe-Inferred |
---|

Package for theorem environments.

- amsthm :: PackageName
- newtheorem :: LaTeXC l => String -> l -> l
- theorem :: LaTeXC l => String -> l -> l
- proof :: LaTeXC l => Maybe l -> l -> l
- qedhere :: LaTeXC l => l
- data TheoremStyle
- = Plain
- | Definition
- | Remark
- | CustomThmStyle String

- theoremstyle :: LaTeXC l => TheoremStyle -> l

# AMSThm package

AMSThm package. Example:

usepackage [] amsthm

# AMSThm functions

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

theorem :: LaTeXC l => String -> l -> lSource

Use a environment created by `newtheorem`

.

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

The `proof`

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

data TheoremStyle Source

Different styles for `theorem`

s.

theoremstyle :: LaTeXC l => TheoremStyle -> lSource

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