Safe Haskell | None |
---|
Package for theorem environments.
- amsthm :: PackageName
- newtheorem :: String -> LaTeX -> LaTeX
- theorem :: String -> LaTeX -> LaTeX
- proof :: Maybe LaTeX -> LaTeX -> LaTeX
- qedhere :: LaTeX
- data TheoremStyle
- = Plain
- | Definition
- | Remark
- | CustomThmStyle String
- theoremstyle :: TheoremStyle -> LaTeX
AMSThm package
AMSThm package. Example:
usepackage [] amsthm
AMSThm functions
newtheorem :: String -> LaTeX -> LaTeXSource
proof :: Maybe LaTeX -> LaTeX -> LaTeXSource
The proof
environment. The first optional argument
is used to put a custom title to the proof.
data TheoremStyle Source
theoremstyle :: TheoremStyle -> LaTeXSource
Set the theorem style. Call this function in the preamble.