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

Language | Haskell2010 |

Package for theorem environments.

## Synopsis

- amsthm :: PackageName
- newtheorem :: LaTeXC l => String -> l -> l
- theorem :: LaTeXC l => String -> l -> l
- proof :: LaTeXC l => Maybe l -> l -> l
- qed :: LaTeXC l => l
- qedhere :: LaTeXC l => l
- data TheoremStyle
- theoremstyle :: LaTeXC l => TheoremStyle -> l

# AMSThm package

amsthm :: PackageName Source #

AMSThm package. Example:

usepackage [] amsthm

# AMSThm functions

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

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.

Insert the *QED* symbol \(\square\), as a concluding right-aligned terminator.
Note that within a `proof`

environment, this is automatically done at the end.

qedhere :: LaTeXC l => l Source #

Insert the *QED* symbol. This is supposed to be used within a `proof`

environment,
to change the default behaviour of putting the \(\square\) at the end.

data TheoremStyle Source #

Different styles for `theorem`

s.

## Instances

Show TheoremStyle Source # | |

Defined in Text.LaTeX.Packages.AMSThm showsPrec :: Int -> TheoremStyle -> ShowS # show :: TheoremStyle -> String # showList :: [TheoremStyle] -> ShowS # | |

Render TheoremStyle Source # | |

Defined in Text.LaTeX.Packages.AMSThm render :: TheoremStyle -> Text Source # renderBuilder :: TheoremStyle -> Builder Source # |

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

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