Package for theorem environments.
- amsthm :: String
- 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 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.