Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell2010 |

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
- theoremstyle :: LaTeXC l => TheoremStyle -> l

# AMSThm package

AMSThm package. Example:

usepackage [] amsthm

# AMSThm functions

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

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

Use a environment created by `newtheorem`

.

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

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 -> l Source

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