CTAN Comprehensive TeX Archive Network

mathpartir – Typesetting sequences of math formulas, e.g. type inference rules

The pack­age pro­vides macros for type­set­ting math for­mu­las in mixed hor­i­zon­tal and ver­ti­cal mode, au­to­mat­i­cally as best fit.

It pro­vides an en­vi­ron­ment math­par that be­haves much as a loose cen­tered para­graph where words are math for­mu­las, and spaces be­tween them are larger and ad­justable. It also pro­vides a macro \in­fer­rule for type­set­ing frac­tions where both the nu­mer­a­tor and de­nom­i­na­tor may be se­quences of for­mu­las that will be also type­set in a sim­i­lar way. It can typ­i­cally be used for type­set­ing sets of type in­fer­ence rules or typ­ing deriva­tions. A macro in­fer­rule for type­set­ting type in­fer­ence rules.

Li­censesGNU Gen­eral Public Li­cense, ver­sion 2
Copy­right2001–2005, 2015, 2016 Di­dier Remy
Main­tainerDi­dier Remy
Con­tained inTeX Live as math­par­tir
MiKTeX as math­par­tir

Down­load the con­tents of this pack­age in one zip archive (276.1k).

Com­mu­nity Com­ments



Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author