# calculation – Typesetting reasoned calculations, also called calculational proofs

The `calculation` environment formats reasoned calculations,
also called calculational proofs.

The notion of reasoned calculations or calculational proofs was
originally advocated by Wim Feijen and Edsger Dijkstra. The package
accepts options `fleqn` and `leqno` (with the same
effect as the LaTeX options `fleqn` and `leqno`, or
may inherit the options from the document class). It allows steps
and expressions to be numbered (by LaTeX equation numbers, obeying
the LaTeX `\label` command to refer to these numbers), and
a step doesn't take vertical space if its hint is empty. An
expression in a calculation can be given a comment; it is placed
at the side opposite to the equation numbers. Calculations are
allowed inside hints although numbering and commenting is then
disabled.

Sources | `/macros/latex/contrib/calculation` |

Documentation | |

Version | 1.0 |

License | The LaTeX Project Public License 1.3 |

Maintainer | Maarten Fokkinga |

Contained in | TeX Live as calculation |

MiKTeX as calculation | |

Topics |
support for typesetting mathematics typeset proofs and proof diagrams |

Download the contents of this package in one zip archive (107.0k).

## Announcements

## Suggestions

Maybe you are interested in the following packages as well.

## Community Comments