| PackageDescription | TeX Live: Mathematics packages
This package includes the following CTAN packages:
.
12many -- Generalising mathematical index sets.
.
amstex -- American Mathematical Society plain TeX macros.
.
backnaur -- Typeset Backus Naur Form definitions.
.
begriff -- Typeset Begriffschrift.
.
binomexp -- Calculate Pascal's triangle.
.
boldtensors -- Bold latin and greek characters through simple prefix
characters.
.
bosisio -- A collection of packages by Francesco Bosisio.
.
bropd -- Simplified brackets and differentials in LaTeX.
.
calculation -- Typesetting reasoned calculations, also called calculational
proofs.
.
ccfonts -- Support for Concrete text and math fonts in LaTeX.
.
commath -- Mathematics typesetting support.
.
concmath -- Concrete Math fonts.
.
concrete -- Concrete Roman fonts.
.
conteq -- Typeset multiline continued equalities.
.
ebproof -- Formal proofs in the style of sequent calculus.
.
eqnarray -- More generalised equation arrays with numbering.
.
extarrows -- Extra Arrows beyond those provided in AMSmath
.
extpfeil -- Extensible arrows in mathematics.
.
faktor -- Typeset quotient structures with LaTeX.
.
grundgesetze -- Typeset Frege's Grundgesetze der Arithmetik
.
interval -- Format mathematical intervals, ensuring proper spacing.
.
ionumbers -- Restyle numbers in maths mode.
.
isomath -- Mathematics style for science and technology.
.
logicproof -- Box proofs for propositional and predicate logic.
.
lpform -- Typesetting linear programming formulations and sets of equations
.
lplfitch -- Fitch-style natural deduction proofs.
.
mathcomp -- Text symbols in maths mode.
.
mattens -- Matrices/tensor typesetting.
.
mhequ -- Multicolumn equations, tags, labels, sub-numbering.
.
multiobjective -- Symbols for multiobjective optimisation etc.
.
natded -- Typeset natural deduction proofs.
.
nath -- Natural mathematics notation.
.
ot-tableau -- Optimality Theory tableaux in LaTeX.
.
oubraces -- Braces over and under a formula.
.
perfectcut -- Brackets whose size adjusts to the nesting.
.
prftree -- Macros for building proof trees.
.
proba -- Shortcuts commands to symbols used in probability texts.
.
rec-thy -- Commands to typeset recursion theory papers.
.
ribbonproofs -- Drawing ribbon proofs.
.
rmathbr -- Repeating of math operator at the broken line and the new line in
inline equations
.
sesamanuel -- Class and package for sesamath books or paper
.
shuffle -- A symbol for the shuffle product.
.
skmath -- Extensions to the maths command repertoir.
.
statex -- Statistics style.
.
statex2 -- Statistics style.
.
stmaryrd -- St Mary Road symbols for theoretical computer science.
.
subsupscripts -- A range of sub- and superscript commands.
.
susy -- Macros for SuperSymmetry-related work.
.
syllogism -- Typeset syllogisms in LaTeX.
.
sympytexpackage --
.
synproof -- Easy drawing of syntactic proofs.
.
tablor -- Create tables of signs and of variations.
.
tensor -- Typeset tensors.
.
tex-ewd -- Macros to typeset calculational proofs and programs in Dijkstra's
style.
.
thmbox -- Decorate theorem statements.
.
turnstile -- Typeset the (logic) turnstile notation.
.
unicode-math -- Unicode mathematics support for XeTeX and LuaTeX
.
venn -- Creating Venn diagrams with MetaPost.
.
yhmath -- Extended maths fonts for LaTeX.
.
ytableau -- Many-featured Young tableaux and Young diagrams. |