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
delim Simplify typesetting mathematical delimiters
delimseasy Delimiter commands that are easy to use and resize
drawmatrix Draw visual representations of matrices in LaTeX
ebproof Formal proofs in the style of sequent calculus
econometrics defines some commands that simplify mathematic notation in economic and econometric writing
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
mathpartir Typesetting sequences of math formulas, e.g. type inference rules
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
prooftrees Forest-based proof trees (symbolic logic)
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
